Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.
Nils KürbisPublished in: CoRR (2021)
Keyphrases
- proof theoretic
- fixpoint
- model theoretic
- logic programs
- logic programming
- deductive databases
- proof theory
- nonmonotonic reasoning
- constraint logic programming
- default reasoning
- linear logic
- horn clauses
- operational semantics
- decision procedures
- reasoning problems
- description logics
- answer set programming
- artificial intelligence
- integrity constraints
- reasoning tasks
- answer sets
- modal logic
- knowledge base