Adding Closed World Assumptions to Well-Founded Semantics.
Luís Moniz PereiraJosé Júlio AlferesJoaquim Nunes AparícioPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- closed world assumptions
- closed world assumption
- deductive databases
- closed world
- databases
- fixpoint semantics
- logic programming
- logic programs
- fixpoint
- general logic programs
- data exchange
- query evaluation
- defeasible logic
- integrity constraints
- query processing
- model theoretic
- data sets
- data warehouse
- data mining
- artificial intelligence
- model checking
- general purpose