joelvhamilton/rational-closure

Defeasible Reasoner which computes Rational Closure as per the KLM Framework (https://www.sciencedirect.com/science/article/abs/pii/0004370290901015)

Java