François Schwarzentruber

Elise Perrotin

Fabián Romero

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Reasoning about knowledge and messages in asynchronous multi-agent systems.

[BibT_eX]

[DOI]

Sophia Knight

Math. Struct. Comput. Sci., 2019

Symbolic model checking of public announcement protocols.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

The Complexity of Tiling Problems.

[BibT_eX]

[DOI]

CoRR, 2019

The Packed Interval Covering Problem is NP-complete.

[BibT_eX]

[DOI]

Abdallah Saffidine

Sébastien Lê Cong

CoRR, 2019

Reachability and Coverage Planning for Connected Agents: Extended Version.

[BibT_eX]

[DOI]

Arthur Queffelec

Ocan Sankur

CoRR, 2019

Reachability Games in Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Reachability and Coverage Planning for Connected Agents.

[BibT_eX]

[DOI]

Arthur Queffelec

Ocan Sankur

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Hintikka's World: Scalable Higher-order Knowledge.

[BibT_eX]

[DOI]

Sébastien Gamblin

Alexandre Niveau

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Dynamic Connected Cooperative Coverage Problem.

[BibT_eX]

[DOI]

Eva Soulier

CoRR, 2018

Hintikka's World: Agents with Higher-order Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Small Undecidable Problems in Epistemic Planning.

[BibT_eX]

[DOI]

Sébastien Lê Cong

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Generating Plans for Cooperative Connected UAVs.

[BibT_eX]

[DOI]

François Bodin

Arthur Queffelec

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Deciding the Non-emptiness of Attack Trees.

[BibT_eX]

[DOI]

Maxime Audinot

Florence Wacheux

Proceedings of the 5th International Workshop on Graphical Models for Security, 2018

Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis.

[BibT_eX]

[DOI]

Gaëtan Douéneau-Tabot

Proceedings of the Advances in Modal Logic 12, 2018

Complexity of Dynamic Epistemic Logic with Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

Knowledge-Based Policies for Qualitative Decentralized POMDPs.

[BibT_eX]

[DOI]

Abdallah Saffidine

Bruno Zanuttini

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Epistemic protocols for dynamic gossip.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

The modal logic of copy and remove.

[BibT_eX]

[DOI]

Carlos Areces

Hans van Ditmarsch

Raul Fervari

Inf. Comput., 2017

Preface.

[BibT_eX]

[DOI]

FLAP, 2017

Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Belief Manipulation Through Propositional Announcements.

[BibT_eX]

[DOI]

Aaron Hunter

Eric Tsang

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract).

[BibT_eX]

[DOI]

Davide Grossi

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics.

[BibT_eX]

[DOI]

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

A Succinct Language for Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

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

2016

Announcements to Attentive Agents.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2016

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems.

[BibT_eX]

[DOI]

Valentin Goranko

Auton. Agents Multi Agent Syst., 2016

Building Epistemic Logic from Observations and Public Announcements.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

A Tool for Generating Interactive Euler Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Epistemic Boolean Games Based on a Logic of Visibility and Control.

[BibT_eX]

[DOI]

Faustine Maffre

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On the Impact of Modal Depth in Epistemic Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2015

The Ceteris Paribus Structure of Logics of Game Forms.

[BibT_eX]

[DOI]

Davide Grossi

J. Artif. Intell. Res., 2015

Dynamic Gossip.

[BibT_eX]

[DOI]

CoRR, 2015

Games with Communication: From Belief to Preference Change.

[BibT_eX]

[DOI]

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

Arbitrary Announcements in Propositional Belief Revision.

[BibT_eX]

[DOI]

Aaron Hunter

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Complexity Results in Epistemic Planning.

[BibT_eX]

[DOI]

Thomas Bolander

Martin Holm Jensen

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

Asynchronous Announcements in a Public Channel.

[BibT_eX]

[DOI]

Sophia Knight

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Tableaux for Non-normal Public Announcement Logic.

[BibT_eX]

[DOI]

Minghui Ma

Katsuhiko Sano

Fernando R. Velázquez-Quesada

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

Arbitrary Public Announcement Logic with Mental Programs.

[BibT_eX]

[DOI]

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

2014

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.

[BibT_eX]

[DOI]

Philippe Balbiani

Nicolas Troquard

CoRR, 2014

Logics with Copy and Remove.

[BibT_eX]

[DOI]

Carlos Areces

Hans van Ditmarsch

Raul Fervari

Proceedings of the Logic, Language, Information, and Computation, 2014

Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search.

[BibT_eX]

[DOI]

Jin-Kao Hao

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Belief Merging in Dynamic Logic of Propositional Assignments.

[BibT_eX]

[DOI]

Pilar Pozos Parra

Proceedings of the Foundations of Information and Knowledge Systems, 2014

STIT is dangerously undecidable.

[BibT_eX]

[DOI]

Caroline Semmling

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

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane.

[BibT_eX]

[DOI]

Valentin Goranko

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

Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration).

[BibT_eX]

[DOI]

Florent Ouchet

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

Epistemic Probability Logic Simplified.

[BibT_eX]

[DOI]

Jan van Eijck

Proceedings of the Advances in Modal Logic 10, 2014

Kripke's Worlds - An Introduction to Modal Logics via Tableaux.

[BibT_eX]

[DOI]

Bilal Said

Studies in Universal Logic, Birkhäuser, ISBN: 978-3-7643-8503-3, 2014

2013

Agents that look at one another.

[BibT_eX]

[DOI]

Philippe Balbiani

Log. J. IGPL, 2013

On the Complexity of Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Listen to Me! Public Announcements to Agents That Pay Attention - or Not.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Leendert W. N. van der Torre

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Normative Reasoning and Consequence.

[BibT_eX]

[DOI]

Luca Tummolini

Paolo Turrini

Proceedings of the Normative Multi-Agent Systems, 2013

2012

Complexity Results of STIT Fragments.

[BibT_eX]

[DOI]

Stud Logica, 2012

Building an Epistemic Logic for Argumentation.

[BibT_eX]

[DOI]

Srdjan Vesic

Tjitze Rienstra

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Generalized DEL-Sequents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

LotrecScheme.

[BibT_eX]

[DOI]

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

Tableau Method and NEXPTIME-Completeness of DEL-Sequents.

[BibT_eX]

[DOI]

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

A logic for reasoning about counterfactual emotions.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students.

[BibT_eX]

[DOI]

Martin Strecker

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.

[BibT_eX]

[DOI]

Martin Strecker

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Concrete Epistemic Modal Logic: Flatland.

[BibT_eX]

[DOI]

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Seeing, Knowledge and Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

2010

Voir, savoir, faire : une étude de cas en logique modale. (Seeing, knowing, doing: case studies in modal logic).

[BibT_eX]

[DOI]

PhD thesis, 2010

A Modal Logic of Epistemic Games.

[BibT_eX]

[DOI]

Games, 2010

Knowledge in lineland.

[BibT_eX]

[DOI]

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

2009

Knowledge about Lights along a Line.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008

Properties of logics of individual and group agency.

[BibT_eX]

[DOI]