A Lower Bound for Answer Set Solver Computation.
Stefania CostantiniAlessandro ProvettiPublished in: Inteligencia Artif. (2010)
Keyphrases
- data model
- answer sets
- lower bound
- logic programs
- upper bound
- answer set programming
- logic programming
- databases
- object oriented
- normal logic programs
- answer set semantics
- answer set programs
- branch and bound algorithm
- xml documents
- np hard
- branch and bound
- fixpoint
- machine learning
- optimal solution
- objective function