Formal Reasoning on Natural Language Descriptions of Processes.
Josep Sànchez-FerreresAndrea BurattinJosep CarmonaMarco MontaliLluís PadróPublished in: BPM (2019)
Keyphrases
- natural language descriptions
- reasoning processes
- formal models
- logical reasoning
- natural language
- meta level
- process model
- knowledge base
- reasoning process
- legal reasoning
- legal argument
- decision making
- artificial intelligence
- reasoning mechanisms
- cognitive processes
- automated reasoning
- reasoning tasks
- knowledge representation and reasoning
- real time
- dynamic aspects
- mental imagery
- model based reasoning
- stochastic processes
- spatial reasoning
- cognitive architecture
- communication channels
- expert systems
- neural network