Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming.
Vinay K. ChaudhriTran Cao SonPublished in: KR (2012)
Keyphrases
- answer set programming
- disjunctive logic programs
- knowledge base
- logic programming
- reasoning tasks
- logic programs
- knowledge representation
- answer sets
- stable model semantics
- disjunctive logic programming
- causal theories
- constraint logic programming
- modulo theories
- description logics
- answer set programs
- stable models
- knowledge representation and reasoning
- dl lite
- answer set semantics
- polynomial hierarchy
- nonmonotonic reasoning
- default logic
- update semantics
- probabilistic reasoning
- reasoning problems
- deductive databases
- haplotype inference
- event calculus
- qualitative spatial and temporal reasoning
- artificial intelligence