Representing Null Values in Logic Programming.
Bonnie TraylorMichael GelfondPublished in: LFCS (1994)
Keyphrases
- logic programming
- null values
- logic programs
- deductive databases
- integrity constraints
- answer set programming
- nonmonotonic reasoning
- incomplete information
- relational databases
- normal form
- logic programming language
- knowledge representation
- knowledge base
- relational algebra
- programming language
- query evaluation
- default logic
- knowledge representation and reasoning
- answer sets
- databases
- stable models
- fixpoint
- functional dependencies
- predicate logic
- closed world
- probabilistic reasoning
- inductive logic programming
- data dependencies
- distributed environment
- description logics
- database systems
- database