The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas Ågotnes" ( http://dblp.L3S.de/Authors/Thomas_Ågotnes )

URL (Homepage):  http://folk.uib.no/nmita/  Author page on DBLP  Author page in RDF  Community of Thomas Ågotnes in ASPL-2

Publication years (Num. hits)
1999-2007 (21) 2008-2009 (15) 2010-2012 (19) 2013-2014 (19) 2015-2019 (14)
Publication types (Num. hits)
article(33) incollection(2) inproceedings(48) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 16 keywords

Results
Found 89 publication records. Showing 88 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rustam Galimullin, Thomas Ågotnes, Natasha Alechina Group Announcement Logic with Distributed Knowledge. Search on Bibsonomy LORI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mina Young Pedersen, Sonja Smets, Thomas Ågotnes Analyzing Echo Chambers: A Logic of Strong and Weak Ties. Search on Bibsonomy LORI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Beishui Liao, Thomas Ågotnes, Yì N. Wáng (eds.) Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018. Search on Bibsonomy CLAR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang 0001 True lies. Search on Bibsonomy Synthese The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Beishui Liao, Yì N. Wáng Logic and argumentation. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Yì N. Wáng Resolving distributed knowledge. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu Towards a Logic of Tweeting. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Beishui Liao, Yì N. Wáng (eds.) Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. Search on Bibsonomy CLAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek Introduction to the special issue. Search on Bibsonomy Synthese The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French The Undecidability of Quantified Announcements. Search on Bibsonomy Studia Logica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang 0001 True Lies. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Ågotnes, Yì N. Wáng Resolving Distributed Knowledge. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yì N. Wáng, Thomas Ågotnes Relativized common knowledge for dynamic epistemic logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes Reasoning about reasons behind preferences using modal logic. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Nils Bulling Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel Planning with epistemic goals (Dagstuhl Seminar 14032). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes Logic and Games: an Introduction. Search on Bibsonomy Studia Logica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina A Logic for Reasoning About Knowledge of Unawareness. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Formal Models of Awareness. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch Knowledge Games and Coalitional Abilities. Search on Bibsonomy Johan van Benthem on Logic and Information Dynamics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga Multi-agency Is Coordination and (Limited) Communication. Search on Bibsonomy PRIMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marija Slavkovik, Thomas Ågotnes Measuring Dissimilarity between Judgment Sets. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Tim French 0002 The undecidability of group announcements. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Marija Slavkovik, Thomas Ågotnes A judgment set similarity measure based on prime implicants. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Yì N. Wáng, Thomas Ågotnes Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Search on Bibsonomy Synthese The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yì N. Wáng, Thomas Ågotnes Public Announcements, Private Actions and Common Knowledge in S5 Structures. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge Boolean Games with Epistemic Goals. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yì N. Wáng, Thomas Ågotnes Subset Space Public Announcement Logic. Search on Bibsonomy ICLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. Search on Bibsonomy AT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yì N. Wáng, Thomas Ågotnes Preference Logic of Focus Change: A Semantic Approach. Search on Bibsonomy AT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge Verifiable Equilibria in Boolean Games. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Yi Nicholas Wang, Thomas Ågotnes Multi-Agent Subset Space Logic. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Epistemic coalition logic: completeness and complexity. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Conservative Social Laws. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch Coalitional Public Announcement Games. Search on Bibsonomy PRIMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes NORMC: a Norm Compliance Temporal Logic Model Checker. Search on Bibsonomy STAIRS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Jan M. Broersen, Dag Elgesem (eds.) Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch What will they say? - Public Announcement Games. Search on Bibsonomy Synthese The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge On the logic of preference and judgment aggregation. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Completeness of Epistemic Coalition Logic with Group Knowledge Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica Question-answer games. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yì N. Wáng, Thomas Ågotnes Public Announcement Logic with Distributed Knowledge. Search on Bibsonomy LORI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes Coordinating multi-agent systems using social laws. Search on Bibsonomy SCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joã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 Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Reasoning about Joint Action and Coalitional Ability in K n with Intersection. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Scientia potentia est. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban Group announcement logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Robust normative systems and a logic of norm compliance. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes (eds.) STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010 Search on Bibsonomy STAIRS The full citation details ... 2010 DBLP  BibTeX  RDF
1Thomas Ågotnes Group Announcements: Logic and Games (Abstract of Invited Talk). Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michael J. Wooldridge Optimal social laws. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1Thomas Ågotnes, Johan van Benthem, Eric Pacuit Logic and intelligent interaction. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Completeness and Complexity of Multi-modal CTL. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Reasoning about coalitional games. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge Multi-Modal CTL: Completeness, Complexity, and an Application. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Computation Tree Logic (ctl), Social Laws, Normative Systems
1Thomas Ågotnes, Natasha Alechina Editorial. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Dirk Walther 0003 A Logic of Strategic Ability Under Bounded Memory. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Logics for Qualitative Coalitional Games. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge A Temporal Logic of Normative Systems. Search on Bibsonomy Towards Mathematical Philosophy The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Robust Normative Systems. Search on Bibsonomy Normative Multi-Agent Systems The full citation details ... 2009 DBLP  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge Power in normative systems. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF complexity, logic, normative systems, coalitional games
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Quantified coalition logic. Search on Bibsonomy Synthese The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki Complete Axiomatisations of Properties of Finite Sets. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Robust normative systems. Search on Bibsonomy AAMAS (2) The full citation details ... 2008 DBLP  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Quantifying over coalitions in epistemic logic. Search on Bibsonomy AAMAS (2) The full citation details ... 2008 DBLP  BibTeX  RDF
1Thomas Ågotnes, Hans P. van Ditmarsch Coalitions and announcements. Search on Bibsonomy AAMAS (2) The full citation details ... 2008 DBLP  BibTeX  RDF
1Wojciech Jamroga, Thomas Ågotnes Constructive knowledge: what agents can achieve under imperfect information. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina The Dynamics of Syntactic Knowledge. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge On the Logic of Normative Systems. Search on Bibsonomy Normative Multi-agent Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga Alternating-time temporal logics with irrevocable strategies. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek Logic for Automated Mechanism Design - A Progress Report. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Quantified Coalition Logic. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge On the Logic of Normative Systems. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Normative system games. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF complexity, games, logic, goals, normative systems
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Reasoning about judgment and preference aggregation. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modal logic, preference aggregation, judgment aggregation
1Wojciech Jamroga, Thomas Ågotnes Modular interpreted systems. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF open computational systems, temporal and strategic logics, model checking, modeling methodology
1Thomas Ågotnes Action and Knowledge in Alternating-Time Temporal Logic. Search on Bibsonomy Synthese The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Knowing Minimum/Maximum n Formulae. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Semantics for Dynamic Syntactic Epistemic Logics. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Wojciech Jamroga, Thomas Ågotnes What agents can achieve under incomplete information. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF alternating-time temporal logic, strategic ability, incomplete information, epistemic logic
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Temporal qualitative coalitional games. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic, repeated games, coalitional games
1Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge On the logic of coalitional games. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF game theory, logic, coalitional games
1Thomas Ågotnes, Michal Walicki Complete Axiomatizations of Finite Syntactic Epistemic States. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki A logic of reasoning, communication and cooperation with syntactic knowledge. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF syntactic knowledge representation, epistemic logic, ATL
1Thomas Ågotnes, Henryk Jan Komorowski, Terje Løken Taming Large Rule Models in Rough Set Approaches. Search on Bibsonomy PKDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #88 of 88 (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