A Preference-Based Semantics for CTD Reasoning.
Erica CalardoGuido GovernatoriAntonino RotoloPublished in: DEON (2014)
Keyphrases
- reasoning tasks
- proof theory
- open world
- logic programming
- default reasoning
- reasoning mechanisms
- fuzzy description logics
- default rules
- uncertain information
- graphical representation
- proof theoretic
- automated reasoning
- knowledge base
- computational properties
- logical rules
- abstract argumentation
- owl dl
- chi square
- logical framework
- preference relations
- description logics
- reasoning services
- intuitionistic logic
- reasoning mechanism
- analogical reasoning
- reasoning systems
- formal semantics
- reasoning problems
- uml class diagrams
- reasoning process
- preference models
- logic programs
- probabilistic knowledge
- defeasible reasoning
- model theoretic
- semantic information
- user preferences
- vague concepts