From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Frank S. de BoerJoost N. KokCatuscia PalamidessiJan J. M. M. RuttenPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- declarative semantics
- operational semantics
- logic programming
- horn clause logic
- logic programs
- deductive databases
- logic programming language
- formal semantics
- stable models
- nonmonotonic reasoning
- background knowledge
- representation language
- fixpoint
- defeasible reasoning
- propositional logic
- constraint propagation
- default reasoning
- mental states
- data mining
- answer set programming
- partial order
- knowledge representation
- multi agent systems
- natural language
- artificial intelligence