Linear planning logic: An efficient language and theorem prover for robotic task planning.

Sitar Kortik Uluc Saranli

Published in: ICRA (2014)

Keyphrases

theorem prover
automated reasoning
planning problems
higher order logic
heuristic search
predicate calculus
automated theorem proving
learning algorithm
computer algebra
logic programming
natural language
search algorithm
motion planning
formal language
natural deduction
proof planning
robotic tasks
data mining