Proof-Theoretic Foundations of Normal Logic Programs.
Elmer SalazarGopal GuptaPublished in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases
- normal logic programs
- proof theoretic
- default reasoning
- fixpoint
- nonmonotonic reasoning
- logic programs
- proof theory
- model theoretic
- stable models
- logic programming
- belief revision
- default logic
- artificial intelligence
- constraint logic programming
- answer sets
- deductive databases
- answer set programming
- probabilistic reasoning
- partial order
- linear logic
- finite state machines
- knowledge base
- database