Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.
Ivan GavranOrtwin MailahnRainer MüllerRichard PeiferDamien ZuffereyPublished in: Onward! (2018)
Keyphrases
- automated reasoning
- human robot
- human robot interaction
- knowledge representation
- dialogue system
- theorem prover
- theorem proving
- reasoning tasks
- probabilistic reasoning
- humanoid robot
- action selection
- robotic systems
- human users
- artificial life
- first order logic
- real time
- spatio temporal
- expert systems
- natural language
- machine learning