3032 search results - page 298 / 607 » Description Logic Rules |
135
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
137
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
145
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
122
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
The second author has put forward a theory of incomplete interval probabilities meant to give a common framework to both interval probabilities and openframe bodies of evidence, a...
136
click to vote
FAABS
2004
Springer
15 years 8 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...