Thomas Bolander

Alessandro Burigana

Marco Montali

CoRR, 2024

Better Bounded Bisimulation Contractions (Preprint).

[BibT_eX]

[DOI]

Alessandro Burigana

CoRR, 2024

Better Bounded Bisimulation Contractions.

[BibT_eX]

Alessandro Burigana

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Parameterized Complexity of Dynamic Belief Updates: A Complete Map.

[BibT_eX]

[DOI]

Arnaud Lequen

J. Log. Comput., August, 2023

Epistemic planning: Perspectives on the special issue.

[BibT_eX]

[DOI]

Artif. Intell., March, 2023

Attention! Dynamic Epistemic Logic Models of (In)attentive Agents.

[BibT_eX]

[DOI]

Gaia Belardinelli

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

2021

Learning to Act and Observe in Partially Observable Domains.

[BibT_eX]

[DOI]

Andrés Occhipinti Liberman

CoRR, 2021

DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation.

[BibT_eX]

[DOI]

Lasse Dissing

Nicolai Herrmann

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Planning from Pixels in Atari with Learned Symbolic Representations.

[BibT_eX]

[DOI]

Andrea Dittadi

Frederik K. Drachmann

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

The Curse of Shared Knowledge: Recursive Belief Reasoning in a Coordination Game with Imperfect Information.

[BibT_eX]

[DOI]

Robin Engelhardt

Thomas S. Nicolet

CoRR, 2020

DEL-based epistemic planning: Decidability and complexity.

[BibT_eX]

[DOI]

Tristan Charrier

Sophie Pinchinat

François Schwarzentruber

Artif. Intell., 2020

Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Lasse Dissing

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Parameterized Complexity of Dynamic Belief Updates.

[BibT_eX]

[DOI]

Arnaud Lequen

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

Synthesizing human-friendly optimal strategies in board games.

[BibT_eX]

[DOI]

Jacob Pjetursson

Proceedings of the IEEE Conference on Games, 2020

2019

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

The Dynamic Logic of Policies and Contingent Planning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).

[BibT_eX]

[DOI]

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

2018

Many-valued hybrid logic.

[BibT_eX]

[DOI]

Jens Ulrik Hansen

J. Log. Comput., 2018

Learning to act: qualitative learning of deterministic action models.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Learning to Plan from Raw Data in Grid-based Games.

[BibT_eX]

[DOI]

Andrea Dittadi

Ole Winther

Proceedings of the GCAI-2018, 2018

2017

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Synth., 2017

Completeness and termination for a Seligman-style tableau system.

[BibT_eX]

[DOI]

Klaus Frovin Jørgensen

J. Log. Comput., 2017

Epistemic Planning (Dagstuhl Seminar 17231).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

A Gentle Introduction to Epistemic Planning: The DEL Approach.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

2016

Announcements to Attentive Agents.

[BibT_eX]

[DOI]

François Schwarzentruber

J. Log. Lang. Inf., 2016

Synthetic completeness proofs for Seligman-style tableau systems.

[BibT_eX]

[DOI]

Klaus Frovin Jørgensen

Proceedings of the Advances in Modal Logic 11, 2016

2015

Learning Action Models: Qualitative Approach.

[BibT_eX]

[DOI]

CoRR, 2015

Learning Actions Models: Qualitative Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Complexity Results in Epistemic Planning.

[BibT_eX]

[DOI]

François Schwarzentruber

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

2014

Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

2013

A Seligman-Style Tableau System.

[BibT_eX]

[DOI]

Klaus Frovin Jørgensen

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Undecidability in Epistemic Planning.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the IJCAI 2013, 2013

Bisimulation for Single-Agent Plausibility Models.

[BibT_eX]

[DOI]

Hans van Ditmarsch

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

2012

Conditional Epistemic Planning.

[BibT_eX]

[DOI]

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

2011

Epistemic planning for single and multi-agent systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

2010

Hybrid logical analyses of the ambient calculus.

[BibT_eX]

[DOI]

René Rydhof Hansen

Inf. Comput., 2010

2009

Preface.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2009

2008

Many-valued hybrid logic.

[BibT_eX]

[DOI]

Jens Hansen

Proceedings of the Advances in Modal Logic 7, 2008

2007

Termination for Hybrid Tableaus.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Terminating Tableau Calculi for Hybrid Logics Extending K.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

2006

Tableau-based Decision Procedures for Hybrid Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Decidability of a Hybrid Duration Calculus.

[BibT_eX]

[DOI]

Jens Ulrik Hansen

Michael R. Hansen

Proceedings of the International Workshop on Hybrid Logic, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hybrid Logic, 2006

2003

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

2002

Maximal Introspection of Agents.

[BibT_eX]

[DOI]