erohkohl/mlsolver

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

Language: Python - Size: 3.54 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 52 - Forks: 10