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

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

5 June 2023

Piotr Ostropolski-Nalewaja

ArXiv (abs)PDF HTML

Papers citing "Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules"

Title
No papers