logic-raisonning

There are 0 repository under logic-raisonning topic.

Guigui14460 / multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
interpreter knowledge-based-reasoning multi-agents symbolic-ai knowledge-based-program logic-raisonning epistemic-logic kripke-structure modal-logic dynamic-epistemic-logic university-of-caen
Language:Java 3