496 search results - page 19 / 100 » Practical Reasoning for Very Expressive Description Logics |
KI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
TARK
2007
Springer
15 years 3 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
OTM
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
AIM
2005
14 years 9 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
101
click to vote
WILF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...