A New Declarative Semantics for Logic Languages.
Moreno FalaschiGiorgio LeviMaurizio MartelliCatuscia PalamidessiPublished in: ICLP/SLP (1988)
Keyphrases
- declarative semantics
- logic programming
- deductive databases
- logic programs
- logic programming language
- operational semantics
- expressive power
- defeasible reasoning
- fixpoint semantics
- partial order
- fixpoint
- integrity constraints
- stable models
- constraint logic programming
- answer set programming
- knowledge representation and reasoning
- databases
- query evaluation
- modal logic
- situation calculus
- general purpose
- query processing
- bayesian networks
- knowledge base