|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Reasoning About Social Choice Functions.  |
J. Philosophical Logic  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about Social Choice Functions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Troquard |
Learning and Practice of the Property Specification Language. |
IEEE Design & Test of Computers |
2011 |
DBLP DOI BibTeX RDF |
design, verification, specification, temporal logic, standards, design and test, PSL |
| 1 | Andreas Herzig, Emiliano Lorini, Nicolas Troquard |
A Dynamic Logic of Institutional Actions. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard |
A Dynamic Logic of Normative Systems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge |
Knowledge and control. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Troquard, Dirk Walther 0002 |
Alternating-time dynamic logic. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
What groups do, can do, and know they can do: an analysis in normal modal logics. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of games and propositional control. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games |
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of propositional control for truthful implementations. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Alternative Axiomatics and Complexity of Deliberative STIT Theories. |
J. Philosophical Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Model Checking Strategic Equilibria. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Alternative axiomatics and complexity of deliberative STIT theories |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi |
Delegation and mental states. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
modal logic, delegation, intention, BDI, logics for agent systems |
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
A normal simulation of coalition logic and an epistemic extension. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
From Coalition Logic to STIT. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Laure Vieu |
Towards a Logic of Agency and Actions with Duration. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jan Broersen, Andreas Herzig, Nicolas Troquard |
A STIT-Extension of ATL. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Robert Trypuz, Laure Vieu |
Towards an ontology of agency and action From STIT to OntoSTIT+. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Nicolas Troquard |
Knowing how to play: uniform choices in logics of agency. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
modal logic, logics for agent systems, formal models of agency |
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")