Disjunctive Rules, Maybe Tuples and Null Values: Logic Programs with Incomplete Information.
Jürgen KalinskiPublished in: ADBIS (1996)
Keyphrases
- null values
- incomplete information
- logic programs
- extended logic programs
- answer sets
- answer set semantics
- normal logic programs
- logic programming
- answer set programming
- closed world
- horn clauses
- fixpoint
- autonomous agents
- query answering
- stable models
- open world
- normal form
- integrity constraints
- databases
- relational model
- knowledge representation and reasoning
- stable model semantics
- relational databases
- relational database theory
- query evaluation
- knowledge base