Well Founded Semantics and Stable Semantics of Semi-Strict Programs.
Françoise GirePublished in: ICDT (1992)
Keyphrases
- fixpoint
- normal logic programs
- logic programs
- logic programming
- deductive databases
- fixpoint semantics
- answer sets
- stable models
- defeasible logic
- semantics for logic programs
- default reasoning
- finite state machines
- declarative semantics
- general logic programs
- data complexity
- artificial intelligence
- datalog programs
- control program
- provably correct
- integrity constraints