Hypothesis-Founded Semantics for Datalog Programs with Negation.
Yann LoyerNicolas SpyratosPublished in: MFCS (2002)
Keyphrases
- datalog programs with negation
- fixpoint
- datalog programs
- fixpoint semantics
- logic programs
- deductive databases
- logic programming
- semantic information
- model theoretic
- query answering
- finite state machines
- answer sets
- formal semantics
- data complexity
- stable models
- horn clauses
- integrity constraints
- speech acts
- databases
- database systems