Keyphrases
- robot control
- mobile robot
- autonomous robots
- logic circuits
- classical logic
- modal logic
- multi valued
- logic programming
- logical framework
- automated reasoning
- sound and complete axiomatization
- knowledge base
- delay insensitive
- proof theory
- deontic logic
- multiple robots
- predicate logic
- nonmonotonic logics
- defeasible logic
- multi robot
- robotic systems
- cooperative