Visual Abstraction and Reasoning through Language.
Giacomo CamposampieroLoïc HoumardBenjamin EstermannJoël MathysRoger WattenhoferPublished in: CoRR (2023)
Keyphrases
- high level
- language learning
- natural language
- knowledge representation
- programming language
- visual information
- meta level
- data abstraction
- reasoning systems
- knowledge base
- visual features
- proof theory
- reasoning tasks
- uml class diagrams
- default reasoning
- language processing
- visual perception
- reasoning process
- knowledge representation language
- logic programming language
- visual query language
- reasoning about actions
- legal reasoning
- specification language
- automated reasoning
- qualitative reasoning
- finite state machines
- model based diagnosis