Sciweavers

859 search results - page 40 / 172
» Abduction in Temporal Reasoning
Sort
View
AAAI
2007
13 years 11 months ago
Modeling and Learning Vague Event Durations for Temporal Reasoning
This paper reports on our recent work on modeling and automatically extracting vague, implicit event durations from text (Pan et al., 2006a, 2006b). It is a kind of commonsense kn...
Feng Pan, Rutu Mulkar, Jerry R. Hobbs
AIIA
1995
Springer
14 years 13 days ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl
ARTMED
2005
92views more  ARTMED 2005»
13 years 8 months ago
Temporal reasoning for decision support in medicine
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
Juan Carlos Augusto
CAV
2003
Springer
116views Hardware» more  CAV 2003»
14 years 2 months ago
Reasoning with Temporal Logic on Truncated Paths
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lus...
DEXAW
1999
IEEE
137views Database» more  DEXAW 1999»
14 years 1 months ago
Reasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
Alessandro Artale, Enrico Franconi