3032 search results - page 35 / 607 » Description Logic Rules |
PRIMA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
EUSFLAT
2003
13 years 11 months ago
2003
A descriptive Takagi-Sugeno fuzzy rule based system suffers under the curse of dimensionality since the number of rules is equal to a fuzzy system with a fully filled up decision...
PPSWR
2005
Springer
14 years 3 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
KR
2000
Springer
14 years 1 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
JURIX
2008
13 years 11 months ago
2008
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...