Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.
Stefan BrassJürgen DixPublished in: J. Autom. Reason. (1998)
Keyphrases
- deductive databases
- datalog programs
- logic programming
- fixpoint
- integrity constraints
- answer sets
- query evaluation
- logic programs
- normal logic programs
- fixpoint semantics
- acyclic database schemes
- sequent calculi
- general logic programs
- spatial relations
- qualitative spatial and temporal reasoning
- programming language