Nils Bulling

Valentin Goranko

Auton. Agents Multi Agent Syst., 2022

2019

Reasoning about Strategic Abilities: Agents with Truly Perfect Recall.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

2018

On the complexity of resource-bounded logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

2017

The virtues of idleness: A decidable fragment of resource agent logic.

[BibT_eX]

[DOI]

Artif. Intell., 2017

2016

Special Issue on Logical Aspects of Multi-Agent Systems.

[BibT_eX]

[DOI]

Wiebe van der Hoek

Stud Logica, 2016

Special issue on multi-agent systems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2016

Norm-based mechanism design.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Distributed Controllers for Norm Enforcement.

[BibT_eX]

[DOI]

Bas Testerink

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Boolean Negotiation Games.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the Conflict Resolution in Decision Making - Second International Workshop, 2016

2015

Logics for Reasoning About Strategic Abilities in Multi-player Games.

[BibT_eX]

[DOI]

Valentin Goranko

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

A game-theoretic approach to compute stable topologies in mobile ad hoc networks.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems.

[BibT_eX]

[DOI]

Hoang Nga Nguyen

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Security and Robustness for Collaborative Monitors.

[BibT_eX]

[DOI]

Bas Testerink

Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

A Model for Collaborative Runtime Verification.

[BibT_eX]

[DOI]

Bas Testerink

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Practical Run-Time Norm Enforcement with Bounded Lookahead.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Interview with Professor Sarit Kraus.

[BibT_eX]

[DOI]

Künstliche Intell., 2014

A Survey of Multi-Agent Decision Making.

[BibT_eX]

[DOI]

Künstliche Intell., 2014

Special Issue on Multi-Agent Decision Making.

[BibT_eX]

[DOI]

Künstliche Intell., 2014

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332).

[BibT_eX]

[DOI]

Thomas Ågotnes

Dagstuhl Reports, 2014

Comparing variants of strategic ability: how uncertainty and memory influence general properties of games.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2014

A Boolean Game Based Modeling of Socio-Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies - 12th German Conference, 2014

ATL* With Truly Perfect Recall: Expressivity and Validities.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Agents with truly perfect recall in alternating-time temporal logic.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

[BibT_eX]

[DOI]

Valentin Goranko

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games.

[BibT_eX]

[DOI]

Sujata Ghosh

Rineke Verbrugge

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Coalitional Responsibility in Strategic Settings.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Monitoring norm violations in multi-agent systems.

[BibT_eX]

[DOI]

Max Knobbout

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks.

[BibT_eX]

[DOI]

Michael Köster

Proceedings of the Computational Logic in Multi-Agent Systems, 2012

2011

Comparing Variants of Strategic Ability.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Alternating Epistemic Mu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Verifying Normative Behaviour via Normative Mechanism Design.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Taming the complexity of linear time BDI logics.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Normative programs and normative mechanism design.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Modelling and verifying abilities of rational agents.

[BibT_eX]

[DOI]

PhD thesis, 2010

Verifying agents with memory is harder than it seemed.

[BibT_eX]

[DOI]

AI Commun., 2010

Modelling and Verifying Coalitions using Argumentation and ATL.

[BibT_eX]

[DOI]

Inteligencia Artif., 2010

Modellierung und Verifikation von Fähigkeiten rationaler Agenten.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2010, 2010

On the (Un-)Decidability of Model Checking Resource-Bounded Agents.

[BibT_eX]

[DOI]

Berndt Farwer

Proceedings of the ECAI 2010, 2010

2009

What Agents Can Probably Enforce.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Towards a Verification Framework for Communicating Rational Agents.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Expressing Properties of Resource-Bounded Systems: The Logics RTL<sup>*</sup> and RTL.

[BibT_eX]

[DOI]

Berndt Farwer

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Rational play and rational beliefs under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Reasoning about temporal properties of rational play.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2008

Modelling coalitions: ATL + argumentation.

[BibT_eX]

[DOI]

Carlos Iván Chesñevar

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

An Argumentative Approach for Modelling Coalitions Using ATL.

[BibT_eX]

[DOI]

Carlos Iván Chesñevar

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

A Logic for Reasoning about Rational Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

A framework for reasoning about rational agents.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Agents, beliefs, and plausible behavior in a temporal setting.

[BibT_eX]

[DOI]