936 search results - page 14 / 188 » The Logical Difference Problem for Description Logic Termino... |
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
AAAI
2012
11 years 10 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciļ...
KR
2000
Springer
13 years 11 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...
AAAI
2012
11 years 10 months ago
2012
We tackle the problem of deļ¬ning a well-founded semantics (WFS) for Datalog rules with existentially quantiļ¬ed variables in their heads and negations in their bodies. In partic...
WILF
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is a ļ¬rst step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...