Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.
Tim S. LyonPiotr Ostropolski-NalewajaPublished in: CoRR (2023)
Keyphrases
- proof theory
- cut elimination
- sequent calculi
- logical equivalence
- knowledge representation
- automated reasoning
- proof theoretic
- sequent calculus
- default reasoning
- linear logic
- query answering
- production rules
- conditional logic
- wide class
- inference rules
- natural deduction
- sufficient conditions
- probabilistic reasoning
- reasoning tasks
- knowledge base
- np complete
- semantic web
- artificial intelligence
- reasoning problems
- answer set programming
- logic programming
- expert systems
- decision procedures
- belief revision
- data integration
- knowledge representation and reasoning
- first order logic
- theorem proving
- integrity constraints
- query language
- data exchange