AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.
Luke HoptonOwen CliffeMarina De VosJulian A. PadgetPublished in: LPNMR (2009)
Keyphrases
- answer set programming
- query language
- action language
- answer sets
- logic programming
- logic programs
- reasoning tasks
- data model
- constraint logic programming
- stable model semantics
- stable models
- knowledge representation
- answer set programs
- haplotype inference
- object oriented
- causal theories
- relational algebra
- expressive power
- query evaluation
- disjunctive logic programming
- database systems
- machine learning
- xml data
- search algorithm
- satisfiability modulo theories