Game description language and dynamic epistemic logic compared

DOI10.1016/j.artint.2020.103433OpenAlexW3107557607MaRDI QIDQ2238672

Michael Thielscher, Robert Mattmüller, Bernhard Nebel, Thorsten Engesser

Publication date: 2 November 2021

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2020.103433

zbMATH Keywords

game description languagedynamic epistemic logic

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (2)

Knowledge-based strategies for multi-agent teams playing against nature ⋮ Epistemic planning: perspectives on the special issue

Uses Software

• GDL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Epistemic planning for single- and multi-agent systems
• DEL Planning and Some Tractable Cases
• Dynamic Epistemic Logic and Knowledge Puzzles
• Representing and Reasoning About the Rules of General Games With Imperfect Information
• General Game Playing

This page was built for publication: Game description language and dynamic epistemic logic compared