Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.

Tim S. Lyon, Piotr Ostropolski-Nalewaja

Browse the full KR paper archive.