955 search results - page 90 / 191 » Tractable Temporal Reasoning |
119
Voted
DLOG
2010
15 years 19 days 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...
117
Voted
E2EMON
2006
IEEE
15 years 8 months ago
2006
IEEE
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
130
Voted
SGAI
2007
Springer
15 years 8 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
123
click to vote
AAAI
2004
15 years 4 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...