Login / Signup
CARTIER: Cartographic lAnguage Reasoning Targeted at Instruction Execution for Robots.
Nikhil Kakodkar
Dmitriy Rivkin
Bobak H. Baghi
Francois Robert Hogan
Gregory Dudek
Published in:
CoRR (2023)
Keyphrases
</>
robotic agents
plan execution
cooperative
mobile robot
formal descriptions
natural language
programming language
reasoning mechanism
language learners
uml class diagrams
language learning
multimedia
intuitionistic logic
meta level
knowledge base
knowledge representation
programming environment
proof theory
specification language
reasoning process
instructional design
reasoning systems
computer assisted language learning
english language
instruction set
robotic systems
cognitive processing
spatial data
expert systems
reinforcement learning
human robot interaction