Sciweavers

1462 search results - page 5 / 293
» Autoepistemic Description Logics
Sort
View
EUSFLAT
2009
165views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
Fuzzy Descriptions Logics with Fuzzy Truth Values
Fernando Bobillo, Umberto Straccia
LFCS
1992
Springer
15 years 2 months ago
Many-Valued Non-Monotonic Modal Logics
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
Melvin Fitting
AI
2002
Springer
14 years 9 months ago
On the computational complexity of assumption-based argumentation for default reasoning
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
APWEB
2011
Springer
14 years 5 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
JELIA
2010
Springer
14 years 7 months ago
Rational Closure for Defeasible Description Logics
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
Giovanni Casini, Umberto Straccia