High-Level Robot Programming: An Abductive Approach Using Event Calculus.
Silvio do Lago PereiraLeliane Nunes de BarrosPublished in: SBIA (2004)
Keyphrases
- event calculus
- robot programming
- high level
- low level
- situation calculus
- deductive databases
- reasoning tasks
- reasoning about actions and change
- logic programming
- temporal reasoning
- human robot interaction
- partially ordered
- domain specific knowledge
- transitive closure
- programming language
- background knowledge
- directed acyclic graph
- robot manipulators
- partial order
- general theory
- database
- semantic information
- visual information
- domain independent