Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.
Martin HomolaPublished in: CLIMA (2004)
Keyphrases
- logic programming
- stable models
- logic programs
- declarative semantics
- answer sets
- answer set semantics
- answer set programming
- logic programming language
- stable model semantics
- normal logic programs
- strong and uniform equivalence
- reasoning tasks
- deductive databases
- nonmonotonic reasoning
- knowledge representation
- computational logic
- knowledge base
- programming language
- semantics for logic programs
- knowledge representation language
- extended logic programs
- fixpoint
- default logic
- semantics of logic programs
- declarative programming
- constraint logic programming
- classical logic
- function symbols
- linear logic
- disjunctive logic programming
- np hard