scientific article; zbMATH DE number 6902514

DOI10.3233/978-1-61499-672-9-193zbMath1403.68259MaRDI QIDQ4576175

Faustine Maffre, Martin C. Cooper, Andreas Herzig, Pierre Régnier, Frédéric Maris

Publication date: 12 July 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (13)

Knowledge-based strategies for multi-agent teams playing against nature ⋮ Epistemic planning: perspectives on the special issue ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Game description language and dynamic epistemic logic compared ⋮ A lightweight epistemic logic and its application to planning ⋮ Resource separation in dynamic logic of propositional assignments ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ On Decidability of a Logic of Gossips

This page was built for publication: