3032 search results - page 34 / 607 » Description Logic Rules |
AMAI
2000
Springer
13 years 10 months ago
2000
Springer
principled ones
IWUC
2004
13 years 11 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
RULEML
2005
Springer
14 years 3 months ago
2005
Springer
Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Log...
DLOG
2001
13 years 11 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
CADE
2002
Springer
14 years 10 months ago
2002
Springer