#

first-class-non-atomic-terms

Here is 1 public repository matching this topic...

vaelii / vaelii

a contextualized first-order logic knowledge base with a justified-inference reasoning engine

clojure first-order-logic ontology knowledge-base knowledge-representation backward-chaining forward-chaining gofai temporal-reasoning symbolic-reasoning defeasible-reasoning well-formed-formulas doxastic-logic first-class-contexts selectional-restriction justification-based-truth-maintenance first-class-non-atomic-terms

Updated Nov 2, 2026
Clojure

Add this topic to your repo

To associate your repository with the first-class-non-atomic-terms topic, visit your repo's landing page and select "manage topics."