The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nicolas Troquard" ( http://dblp.L3S.de/Authors/Nicolas_Troquard )

URL (Homepage):  https://orcid.org/0000-0002-5763-6080  Author page on DBLP  Author page in RDF  Community of Nicolas Troquard in ASPL-2

Publication years (Num. hits)
2006-2010 (15) 2011-2014 (18) 2015-2018 (15) 2019 (5)
Publication types (Num. hits)
article(16) inproceedings(37)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 15 keywords

Results
Found 54 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ana Ozaki, Nicolas Troquard Learning Ontologies with Epistemic Reasoning: The EL Case. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, Claudio Masolo Pink panthers and toothless tigers: three problems in classification. Search on Bibsonomy AIC The full citation details ... 2019 DBLP  BibTeX  RDF
1Ana Ozaki, Nicolas Troquard Learning Ontologies with Epistemic Reasoning: The E\!L Case. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Ana Ozaki, Nicolas Troquard Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicolas Troquard Individual Resource Games and Resource Redistributions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Emilio M. Sanfilippo, Sergio Benavent, Stefano Borgo, Nicola Guarino, Nicolas Troquard, Fernando Romero, Pedro Rosado, Lorenzo Solano, Farouk Belkadi, Alain Bernard Modeling Manufacturing Resources: An Ontological Approach. Search on Bibsonomy PLM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard Rich Coalitional Resource Games. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz Repairing Ontologies via Axiom Weakening. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard The Complexity of Rational Synthesis for Concurrent Games. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. Search on Bibsonomy FOIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri 0001, Pietro Galliani, Oliver Kutz Two Approaches to Ontology Aggregation Based on Axiom Weakening. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz Repairing Ontologies via Axiom Weakening. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniele Porello, Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Oliver Kutz, Rafael Peñaloza Repairing Socially Aggregated Ontologies Using Axiom Weakening. Search on Bibsonomy PRIMA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Confalonieri 0001, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard Coherence, Similarity, and Concept Generalisation. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Roberto Confalonieri 0001, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello Two Applications of Concept Refinement. Search on Bibsonomy CEx@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Youssouf Oualhadj, Nicolas Troquard Rational verification in Iterated Electric Boolean Games. Search on Bibsonomy SR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard Nash Equilibria and Their Elimination in Resource Games. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniele Porello, Nicolas Troquard Non-normal modalities in variants of Linear Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniele Porello, Nicolas Troquard Non-normal modalities in variants of linear logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard Reasoning about coalitional agency and ability in the logics of "bringing-it-about". Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Daniele Porello, Nicolas Troquard A resource-sensitive logic of agency. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefano Borgo, Daniele Porello, Nicolas Troquard Logical Operators for Ontological Modeling. Search on Bibsonomy FOIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard A formal theory for conceptualizing artefacts and tool manipulations. Search on Bibsonomy FOIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniele Porello, Nicolas Troquard A resource-sensitive account of the use of artifacts. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen Grounding power on actions and mental attitudes. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Andreas Herzig, Nicolas Troquard Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge Reasoning about Choice. Search on Bibsonomy AT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard Coalitional agency and evidence-based ability. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Nicolas Troquard, Dirk Walther 0002 On Satisfiability in ATL with Strategy Contexts. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge Reasoning About Social Choice Functions. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge Reasoning about Social Choice Functions Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Nicolas Troquard Learning and Practice of the Property Specification Language. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF design, verification, specification, temporal logic, standards, design and test, PSL
1Andreas Herzig, Emiliano Lorini, Nicolas Troquard A Dynamic Logic of Institutional Actions. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard A Dynamic Logic of Normative Systems. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge Knowledge and control. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Nicolas Troquard, Dirk Walther 0002 Alternating-time dynamic logic. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1Jan M. Broersen, Andreas Herzig, Nicolas Troquard What groups do, can do, and know they can do: an analysis in normal modal logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge A logic of propositional control for truthful implementations. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge A logic of games and propositional control. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games
1Philippe Balbiani, Andreas Herzig, Nicolas Troquard Alternative Axiomatics and Complexity of Deliberative STIT Theories. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge Model Checking Strategic Equilibria. Search on Bibsonomy MoChArt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Andreas Herzig, Nicolas Troquard Alternative axiomatics and complexity of deliberative STIT theories Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Jan M. Broersen, Andreas Herzig, Nicolas Troquard A normal simulation of coalition logic and an epistemic extension. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi Delegation and mental states. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modal logic, delegation, intention, BDI, logics for agent systems
1Jan M. Broersen, Andreas Herzig, Nicolas Troquard From Coalition Logic to STIT. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jan M. Broersen, Andreas Herzig, Nicolas Troquard Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Laure Vieu Towards a Logic of Agency and Actions with Duration. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Jan M. Broersen, Andreas Herzig, Nicolas Troquard A STIT-Extension of ATL. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Robert Trypuz, Laure Vieu Towards an ontology of agency and action From STIT to OntoSTIT+. Search on Bibsonomy FOIS The full citation details ... 2006 DBLP  BibTeX  RDF
1Andreas Herzig, Nicolas Troquard Knowing how to play: uniform choices in logics of agency. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modal logic, logics for agent systems, formal models of agency
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license