1486 search results - page 93 / 298 » A Logically Saturated Extension of |
159
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
129
click to vote
TBILLC
2005
Springer
15 years 11 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
179
click to vote
LICS
1990
IEEE
15 years 9 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
229
click to vote
ICCBR
2010
Springer
15 years 9 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 ...
148
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...