Assisted Normative Reasoning with Aristotelian Diagrams.
Kathrin HanauerTereza NovotnáMatteo PascucciPublished in: JURIX (2023)
Keyphrases
- uml class diagrams
- graphical representation
- knowledge base
- reasoning systems
- automated reasoning
- knowledge representation
- computational properties
- fuzzy reasoning
- diagrammatic reasoning
- reasoning mechanisms
- consistency checking
- knowledge representation and reasoning
- reasoning process
- reasoning tasks
- qualitative reasoning
- spatial reasoning
- logic programs
- expert systems
- autonomous agents
- uncertain information
- relational databases
- multi agent systems
- model based reasoning
- neural network
- databases
- reasoning engine
- data sets