Open AccessA simple account of multiagent epistemic planning
Author(s) -
Martin Cooper,
Andréas Herzig,
Faustine Maffre,
Frédéric Maris,
Pierre Régnier
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , planner , plan (archaeology) , epistemic modal logic , simple (philosophy) , situation calculus , model checking , modal logic , propositional calculus , artificial intelligence , multi agent system , logic programming , dynamic logic (digital electronics) , theoretical computer science , multimodal logic , description logic , programming language , modal , philosophy , epistemology , chemistry , physics , archaeology , transistor , voltage , quantum mechanics , polymer chemistry , history