2649 search results - page 125 / 530 » Temporal Theories of Reasoning |
189
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
174
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we present an approach for reducing the memory footprint requirement of temporal difference methods in which the set of states is finite. We use case-based generaliza...
184
click to vote
TFS
2008
15 years 6 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
195
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
167
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
The ability to answer temporal-oriented questions based on clinical narratives is essential to clinical research. The temporal dimension in medical data analysis enables clinical r...