Modular Reasoning in the Presence of Event Subtyping.
Mehdi BagherzadehRobert DyerRex D. FernandoJosé SánchezHridesh RajanPublished in: LNCS Trans. Modul. Compos. (2016)
Keyphrases
- event detection
- reasoning systems
- logical reasoning
- reasoning process
- reasoning engine
- computational properties
- automated reasoning
- qualitative reasoning
- reasoning tasks
- knowledge base
- meta level
- natural language
- consistency checking
- formal models
- model based reasoning
- reasoning problems
- modular architecture
- case study
- website