CARTIER: Cartographic lAnguage Reasoning Targeted at Instruction Execution for Robots.
Dmitriy RivkinNikhil KakodkarFrancois Robert HoganBobak H. BaghiGregory DudekPublished in: ICRA (2024)
Keyphrases
- robotic agents
- meta level
- programming language
- plan execution
- knowledge base
- language learning
- formal descriptions
- natural language
- uml class diagrams
- language learners
- cooperative
- multimedia
- mobile robot
- proof theory
- multi robot
- autonomous robots
- highly expressive
- intuitionistic logic
- knowledge representation
- reasoning systems
- english language
- plan generation
- reasoning mechanism