Open AccessA Logical Theory of Belief Dynamics for Resource-Bounded Agents
Author(s) -
Philippe Balbiani,
David Fernández–Duque,
Emiliano Lorini
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - epistemic modal logic , axiom , description logic , decidability , computer science , semantics (computer science) , inference , multimodal logic , non monotonic logic , bounded function , autoepistemic logic , artificial intelligence , theoretical computer science , mathematics , programming language , mathematical analysis , geometry