A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.
Zaiyue ZhangYuefei SuiCungen CaoPublished in: TAMC (2006)
Keyphrases
- tree construction
- answer sets
- disjunctive logic programming
- answer set programming
- logic programs
- logic programming
- polynomial hierarchy
- answer set semantics
- decision trees
- stable model semantics
- r tree
- stable models
- suffix tree
- fixpoint
- reasoning tasks
- minimal models
- nonmonotonic reasoning
- machine learning
- data structure
- knowledge base
- databases
- constraint satisfaction
- index structure
- search space
- database