nonmonotonic

There are 0 repository under nonmonotonic topic.

MatthiasNickles / fol2asp
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
answer-set-programming first-order-logic stable-model-semantics fol logic-programming nonmonotonic open-source satisfiability ai
Language:Scala 3
MindfulMichaelJames / PRO
A Preferential Reasoner for Ontologies
defeasible description-logics knowledge-representation nonmonotonic ontologies preferential-reasoning reasoner reasoning
Language:Java 3
mastermindML / mastermind
MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE
aglm autonomous epistemic-logic epistemology general learning mastermind nonmonotonic agile-development augmentation intelligence
Language:Python 1