#

nonmonotonic

Here are 3 public repositories matching this topic...

MatthiasNickles / fol2asp

A tool for translating First-Order Logic (FOL) to Answer Set Programming (ASP)

open-source ai first-order-logic logic-programming fol answer-set-programming satisfiability nonmonotonic stable-model-semantics

Updated Dec 29, 2023
Scala

MindfulMichaelJames / PRO

A Preferential Reasoner for Ontologies

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

Updated Oct 14, 2017
Java

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 Mar 13, 2025
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."