Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution.
Esra ErdemErdi AkerVolkan PatogluPublished in: Intell. Serv. Robotics (2012)
Keyphrases
- answer set programming
- reasoning tasks
- logic programs
- logic programming
- answer sets
- disjunctive logic programs
- knowledge representation
- modulo theories
- artificial intelligence
- representing knowledge
- knowledge base
- causal theories
- automated theorem proving
- stable models
- constraint logic programming
- stable model semantics
- tree decomposition
- answer set programs
- automated reasoning
- event calculus
- disjunctive logic programming
- semantic web
- haplotype inference
- knowledge representation and reasoning
- temporal reasoning
- constraint satisfaction problems
- description logics
- optimal solution