Termination of logic programs with imperfect information: applications and query procedure.
Carlos Viegas DamásioJesús MedinaManuel Ojeda-AciegoPublished in: J. Appl. Log. (2007)
Keyphrases
- logic programs
- imperfect information
- logic programming
- answer sets
- stable models
- fixpoint
- answer set programming
- inductive logic programming
- normal logic programs
- database
- query processing
- game playing
- data structure
- range queries
- game theoretic
- sufficient conditions
- game tree
- lower bound
- constraint propagation
- relational databases