A defeasible reasoning tool using Rational Closure and Lexicographic Closure.
artificial-intelligence propositional-logic knowledge-representation-reasoning rational-closure lexicographic-closure defeasible-reasoning klm-framework
-
Updated
Oct 4, 2024 - TypeScript