3773 search results - page 186 / 755 » Logical Reasoning |
180
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
165
click to vote
ELP
1993
15 years 10 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
240
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
184
click to vote
DLOG
2000
15 years 7 months ago
2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
151
click to vote
JURIX
2008
15 years 8 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...