Negation as Instantiation
Alessandra Di PierroMaurizio MartelliCatuscia PalamidessiPublished in: Inf. Comput. (1995)
Keyphrases
- logic programs
- logic programming
- deductive databases
- compositional semantics
- machine learning
- horn clauses
- predicate logic
- containment of conjunctive queries
- artificial intelligence
- metadata
- case study
- bayesian networks
- probability distribution
- programming language
- databases
- expressive power
- real time
- fixpoint
- datalog programs
- database