Sciweavers

1435 search results - page 8 / 287
» Description Logics
Sort
View
JAIR
2002
110views more  JAIR 2002»
14 years 11 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
APWEB
2011
Springer
14 years 6 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
CADE
1999
Springer
15 years 4 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...
AMAI
2000
Springer
14 years 11 months ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
104
Voted
AI
1999
Springer
14 years 11 months ago
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
Hans Jürgen Ohlbach, Jana Koehler