MindfulMichaelJames / PRO Star 4 Code Issues Pull requests A Preferential Reasoner for Ontologies ontologies reasoner knowledge-representation description-logics reasoning nonmonotonic defeasible preferential-reasoning Updated Oct 14, 2017 Java
MatthiasNickles / fol2asp Star 4 Code Issues Pull requests A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs) open-source ai first-order-logic logic-programming fol answer-set-programming satisfiability nonmonotonic stable-model-semantics Updated Dec 29, 2023 Scala
mastermindML / mastermind Star 2 Code Issues Pull requests MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE learning intelligence autonomous mastermind general augmentation epistemology epistemic-logic agile-development nonmonotonic aglm Updated Aug 30, 2024 Python