... Conditional Logic (FO-PCL),
and others.
- MECore is a shell-based system that allows the user to create
propositional knowledge bases, to perform a variety of belief
change operations, and to query a knowledge base with respect to the
principle of optimum entropy.
- Log4KR is a library providing data structures to represent knowledge
bases in various logic formalisms (propositional, relational,
conditional, probabilistic, ...) and providing algorithms to perform reasoning...