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