#

nonmonotonic

Here are 3 public repositories matching this topic...

MindfulMichaelJames / PRO

A Preferential Reasoner for Ontologies

ontologies reasoner knowledge-representation description-logics reasoning nonmonotonic defeasible preferential-reasoning

Updated Oct 14, 2017
Java

MatthiasNickles / fol2asp

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

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

Improve this page

Add a description, image, and links to the nonmonotonic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nonmonotonic topic, visit your repo's landing page and select "manage topics."