The InfOCF Library for Reasoning With Conditional Belief Bases.

Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg

Browse the full JELIA paper archive.