Combining Probabilistic Planning and Logic Programming on Mobile Robots.

Shiqi Zhang Forrest Sheng Bao Mohan Sridharan

Published in: AAAI (2012)

Keyphrases

logic programming
probabilistic planning
mobile robot
logic programs
deductive databases
knowledge representation

logic programming language
answer set programming
knowledge base
programming language
heuristic search
planning problems

planning under uncertainty
answer sets
stable models
hill climbing
partially observable
markov decision process

decision problems
constraint satisfaction
markov decision processes
software engineering
expert systems