Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.
Tim S. LyonPiotr Ostropolski-NalewajaPublished in: KR (2023)
Keyphrases
- proof theory
- cut elimination
- sequent calculi
- logical equivalence
- knowledge representation
- automated reasoning
- proof theoretic
- default reasoning
- sequent calculus
- linear logic
- query answering
- conditional logic
- production rules
- natural deduction
- wide class
- expert systems
- inference rules
- probabilistic reasoning
- semantic web
- machine learning
- description logics
- knowledge base
- reasoning problems
- natural language
- artificial intelligence
- theorem prover
- np complete
- decision procedures
- knowledge representation and reasoning
- logical framework
- nonmonotonic reasoning
- theorem proving
- fixed point
- sufficient conditions