The Expressive Power of Stratified Logic Programs with Value Invention.
Luca CabibboPublished in: Inf. Comput. (1998)
Keyphrases
- logic programs
- expressive power
- logic programming
- computational properties
- first order logic
- query language
- answer sets
- fixpoint
- stable models
- answer set programming
- data complexity
- relational algebra
- inductive logic programming
- transitive closure
- stable model semantics
- horn clauses
- artificial intelligence
- relational calculus
- expert systems
- datalog programs
- answer set semantics
- database