erohkohl / mlsolver Star 58 Code Issues Pull requests Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas. artificial-intelligence modal-logic multi-agent-systems knowledge-based-systems kripke-structure multi-modal-logic tableau-calculus Updated Oct 14, 2017 Python
PluralityNET / Project.GodAndAdam.Distributed Star 3 Code Issues Pull requests New shape for my old GOD_AND_ADAM system ai logic artificial-intelligence symbolic multi-modal hypothesis-testing multi-modal-logic hypotheses hypothesis-and-selection logics symbolic-ai pluralitynet symbolic-artificial-intelligence ai-forecasting-and-planning multi-modal-logics all-inclusive all-inclusive-approach axiom-hypotheses axiom-hypothesis multi-type-valued-logic-statements Updated Dec 11, 2019