An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies.
Ivan VarzinczakPublished in: SACAIR (2020)
Keyphrases
- abstract argumentation
- open world
- reasoning tasks
- knowledge base
- incomplete information
- proof theory
- reasoning with inconsistent
- reasoning mechanisms
- uncertain information
- default rules
- formal semantics
- logic programming
- automated reasoning
- logical framework
- default reasoning
- fuzzy description logics
- proof theoretic
- graphical representation
- logical rules
- defeasible reasoning
- knowledge representation and reasoning
- description logics
- legal reasoning
- reasoning process
- knowledge representation
- inconsistent knowledge
- derivation rules
- owl dl
- valued logic
- computational properties
- production rules
- reasoning systems
- horn logic
- inference rules
- conceptual model
- reasoning problems
- temporal knowledge
- semantic heterogeneity