Later credits: resourceful reasoning for the later modality.
Simon SpiesLennard GäherJoseph TassarottiRalf JungRobbert KrebbersLars BirkedalDerek DreyerPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- multi modal
- knowledge representation
- knowledge base
- reasoning systems
- medical images
- rule based reasoning
- automated reasoning
- learning algorithm
- model based reasoning
- default reasoning
- artificial intelligence
- conflicting information
- approximate reasoning
- legal reasoning
- reasoning process
- qualitative reasoning
- case based reasoning
- fuzzy reasoning
- probabilistic logic
- computational properties
- knowledge representation and reasoning
- causal reasoning
- inference engine
- reasoning about actions
- first order logic
- logical reasoning