Principles and Semantics: Modelling Violations for Normative Reasoning.
Silvano Colombo TosattoGuido GovernatoriAntonino RotoloPublished in: AICOL (2020)
Keyphrases
- reasoning tasks
- open world
- proof theory
- proof theoretic
- default rules
- default reasoning
- reasoning mechanisms
- fuzzy description logics
- reasoning and decision making
- reasoning systems
- logical framework
- formal semantics
- reasoning mechanism
- computational properties
- defeasible reasoning
- uml class diagrams
- knowledge base
- knowledge representation
- logical rules
- abstract argumentation
- model construction
- automated reasoning
- logic programming
- graphical representation
- qualitative reasoning
- qualitative models
- modelling language
- causal reasoning
- conditional logic
- legal reasoning
- reasoning processes
- owl dl
- normative systems
- intuitionistic logic
- uncertain information
- probabilistic knowledge
- cp nets
- probabilistic reasoning
- semantic information
- closed world assumption
- reasoning about actions