Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
interpreter modal-logic epistemic-logic kripke-structure multi-agents symbolic-ai knowledge-based-reasoning university-of-caen logic-raisonning knowledge-based-program dynamic-epistemic-logic
-
Updated
Apr 9, 2022 - Java