Welcome to CLKR

CLKR (Conditional Logic and Knowledge Representation) is an online repository of conditional logic resources for knowledge representation and reasoning.

Conditionals of the form If A then usually B establish a plausible, yet defeasible connection between the antecedent A and the consequent B. The question which entailments should follow from a conditional knowledge base consisting of a set of such conditionals plays a major role in logic-based AI. To support the practical side of this question, CLKR provides various collections of conditional knowledge bases and related items. The sets of knowledge bases include examples as they are used in the literature for illustration, applications from different domains, and problems for evaluating implementations of nonmonotonic reasoning with conditionals. Furthermore, CLKR provides systematically generated collections of knowledge bases in various normal forms.

All knowledge bases are in the .cl-format, which can be parsed by the online reasoning tool InfOCF-Web.