| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica |
Question-answer games.  |
Journal of Applied Non-Classical Logics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Completeness of Epistemic Coalition Logic with Group Knowledge |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Hans P. van Ditmarsch |
What will they say? - Public Announcement Games. |
Synthese |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
On the logic of preference and judgment aggregation. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yì N. Wáng, Thomas Ågotnes |
Public Announcement Logic with Distributed Knowledge. |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) |
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes |
Coordinating multi-agent systems using social laws. |
SCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Scientia potentia est. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Robust normative systems and a logic of norm compliance. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban |
Group announcement logic. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes |
Group Announcements: Logic and Games (Abstract of Invited Talk). |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes (eds.) |
STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010 |
STAIRS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Michael Wooldridge |
Optimal social laws. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Logics for Qualitative Coalitional Games. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
Multi-Modal CTL: Completeness, Complexity, and an Application. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Computation Tree Logic (ctl), Social Laws, Normative Systems |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Completeness and Complexity of Multi-modal CTL. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Dirk Walther |
A Logic of Strategic Ability Under Bounded Memory. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Editorial. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about coalitional games. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Johan van Benthem, Eric Pacuit |
Logic and intelligent interaction. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge |
Power in normative systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
complexity, logic, normative systems, coalitional games |
| 1 | Thomas Ågotnes, Michal Walicki |
Complete Axiomatisations of Properties of Finite Sets. |
Logic Journal of the IGPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantified coalition logic. |
Synthese |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantifying over coalitions in epistemic logic. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Hans P. van Ditmarsch |
Coalitions and announcements. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Robust normative systems. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Thomas Ågotnes |
Constructive knowledge: what agents can achieve under imperfect information. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
The Dynamics of Syntactic Knowledge. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
On the Logic of Normative Systems. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantified Coalition Logic. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
On the Logic of Normative Systems. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Thomas Ågotnes |
Modular interpreted systems. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
open computational systems, temporal and strategic logics, model checking, modeling methodology |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Normative system games. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
complexity, games, logic, goals, normative systems |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about judgment and preference aggregation. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
modal logic, preference aggregation, judgment aggregation |
| 1 | Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga |
Alternating-time temporal logics with irrevocable strategies. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek |
Logic for Automated Mechanism Design - A Progress Report. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes |
Action and Knowledge in Alternating-Time Temporal Logic. |
Synthese |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Knowing Minimum/Maximum n Formulae. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Semantics for Dynamic Syntactic Epistemic Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Thomas Ågotnes |
What agents can achieve under incomplete information. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
alternating-time temporal logic, strategic ability, incomplete information, epistemic logic |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
On the logic of coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
game theory, logic, coalitional games |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Temporal qualitative coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
logic, repeated games, coalitional games |
| 1 | Thomas Ågotnes, Michal Walicki |
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Michal Walicki |
Complete Axiomatizations of Finite Syntactic Epistemic States. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Michal Walicki |
A logic of reasoning, communication and cooperation with syntactic knowledge. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
syntactic knowledge representation, epistemic logic, ATL |
| 1 | Thomas Ågotnes, Henryk Jan Komorowski, Terje Løken |
Taming Large Rule Models in Rough Set Approaches. |
PKDD |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")