DEL-based epistemic planning: Decidability and complexity
Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Topics & Concepts
DecidabilityEpistemic modal logicMathematical proofComputer scienceEpistemologyManagement scienceTheoretical computer scienceArtificial intelligenceMathematicsPhilosophyDescription logicMultimodal logicEngineeringGeometryLogic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationSemantic Web and Ontologies