Wojciech Jamroga

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Natural Strategic Ability under Imperfect Information.

[BibT_eX]

[DOI]

Vadim Malvone

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Accumulative knowledge under bounded resources.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Towards Partial Order Reductions for Strategic Ability.

[BibT_eX]

[DOI]

Wojciech Penczek

Piotr Dembinski

Antoni W. Mazurkiewicz

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems.

[BibT_eX]

[DOI]

Jerzy Pilecki

J. Log. Comput., 2017

Reasoning about Natural Strategic Ability.

[BibT_eX]

[DOI]

Vadim Malvone

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Fixpoint Approximation of Strategic Abilities under Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot.

[BibT_eX]

[DOI]

Francesco Belardinelli

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A Deliberation Procedure for Judgment Aggregation Problems.

[BibT_eX]

[DOI]

CoRR, 2016

An Approach to Model Checking ATLir.

[BibT_eX]

[DOI]

CoRR, 2016

State and path coalition effectivity models of concurrent multi-player games.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2016

Preventing Coercion in E-Voting: Be Open and Commit.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - First International Joint Conference, 2016

Information Security as Strategic (In)effectivity.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt.

[BibT_eX]

[DOI]

Peter Y. A. Ryan

Proceedings of the 1st International Workshop on AI for Privacy and Security, 2016

Iterative Judgment Aggregation.

[BibT_eX]

[DOI]

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

Collaborative embedded systems - a case study.

[BibT_eX]

[DOI]

Bernd-Holger Schlingloff

Henry Stubert

Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

Multi-Valued Verification of Strategic Ability.

[BibT_eX]

[DOI]

Beata Konikowska

Wojciech Penczek

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

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

[BibT_eX]

[DOI]

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

Approximating Strategic Abilities under Imperfect Information: a Naive Approach.

[BibT_eX]

[DOI]

CoRR, 2015

Strategic Noninterference.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Module Checking for Uncertain Agents.

[BibT_eX]

[DOI]

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

Module Checking of Strategic Ability.

[BibT_eX]

[DOI]

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

2014

On Defendability of Security Properties.

[BibT_eX]

[DOI]

Henning Schnoor

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

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

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2014

Multi-agency Is Coordination and (Limited) Communication.

[BibT_eX]

[DOI]

Piotr Kazmierczak

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

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall.

[BibT_eX]

[DOI]

Jerzy Pilecki

Proceedings of the Intelligent Systems'2014, 2014

ATL* With Truly Perfect Recall: Expressivity and Validities.

[BibT_eX]

[DOI]

Matei Popovici

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

Synthesis and Verification of Uniform Strategies for Multi-agent Systems.

[BibT_eX]

[DOI]

Jerzy Pilecki

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

On module checking and strategies.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Matei Popovici

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

2013

Modularity and Openness in Modeling Multi-Agent Systems.

[BibT_eX]

[DOI]

Artur Meski

Maciej Szreter

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Strategic games and truly playable effectivity functions.

[BibT_eX]

[DOI]

Paolo Turrini

Auton. Agents Multi Agent Syst., 2013

Defendable Security in Interaction Protocols.

[BibT_eX]

[DOI]

Henning Schnoor

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

Some Complexity Results for Distance-Based Judgment Aggregation.

[BibT_eX]

[DOI]

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

Concepts, Agents, and Coalitions in Alternating Time.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Distance-based rules for weighted judgment aggregation.

[BibT_eX]

[DOI]

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

State and path coalition effectivity models for logics of multi-player games.

[BibT_eX]

[DOI]

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

2011

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Preface.

[BibT_eX]

[DOI]

Hans van Ditmarsch

David Fernández-Duque

Wojtek Jamroga

Manuel Ojeda-Aciego

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101).

[BibT_eX]

[DOI]

Wojtek Jamroga

Dov Samet

Dagstuhl Reports, 2011

Fairness in Non-Repudiation Protocols.

[BibT_eX]

[DOI]

Sjouke Mauw

Proceedings of the Security and Trust Management - 7th International Workshop, 2011

Agents, Actions and Goals in Dynamic Environments.

[BibT_eX]

[DOI]

Peter Novák

Proceedings of the IJCAI 2011, 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

Specification and Verification of Multi-Agent Systems.

[BibT_eX]

[DOI]

Wojciech Penczek

Proceedings of the Lectures on Logic and Computation, 2011

Doubtful Deviations and Farsighted Play.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2011

2010

Verifying agents with memory is harder than it seemed.

[BibT_eX]

[DOI]

AI Commun., 2010

Reasoning about strategies of multi-agent programs.

[BibT_eX]

[DOI]

Mehdi Dastani

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

2009

What Agents Can Probably Enforce.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Coalition Description Logic with Individuals.

[BibT_eX]

[DOI]

Inanç Seylan

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Description logic for coalitions.

[BibT_eX]

[DOI]

Inanç Seylan

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

Code patterns for agent-oriented programming.

[BibT_eX]

[DOI]

Peter Novák

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

Rational play and rational beliefs under uncertainty.

[BibT_eX]

[DOI]

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

2008

Model Checking Abilities of Agents: A Closer Look.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2008

Reasoning about temporal properties of rational play.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2008

A Temporal Logic for Stochastic Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Knowledge and Strategic Ability for Model Checking: A Refined Approach.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Easy Yet Hard: Model Checking Strategies of Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

A temporal logic for Markov chains.

[BibT_eX]

[DOI]

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

2007

Towards a theory of intention revision.

[BibT_eX]

[DOI]

Synth., 2007

AAMAS 2007.

[BibT_eX]

Künstliche Intell., 2007

Constructive knowledge: what agents can achieve under imperfect information.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Alternating-time temporal logics with irrevocable strategies.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 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

Modular interpreted systems.

[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]

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

2006

Expressing and Verifying Temporal and Structural Properties of Mobile Agents.

[BibT_eX]

[DOI]

Wieslaw Pawlowski

Fundam. Informaticae, 2006

On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account.

[BibT_eX]

[DOI]

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

What agents can achieve under incomplete information.

[BibT_eX]

[DOI]

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

2005

Model Checking Strategic Abilities of Agents Under Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Intentions and Strategies in Game-Like Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

Do Agents Make Model Checking Explode (Computationally)?

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications IV, 2005

Turning Game Models Turn-Based for Model Checking Properties of Agents.

[BibT_eX]

Proceedings of the BNAIC 2005, 2005

A logic for strategic reasoning.

[BibT_eX]

[DOI]

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

2004

Comparing Semantics of Logics for Multi-Agent Systems.

[BibT_eX]

[DOI]

Synth., 2004

Agents that Know How to Play.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Strategic Planning through Model Checking of ATL Formulae.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2004

On Obligations and Abilities.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

2003

Safer Decisions Against A Dynamic Opponent.

[BibT_eX]

Proceedings of the Intelligent Information Processing and Web Mining, 2003

2001

A Defense Model for Games with Incomplete Information.

[BibT_eX]

[DOI]