201 search results - page 3 / 41 » Abductive reasoning with temporal information |
IJCAI
2001
13 years 7 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
SOCO
2010
Springer
13 years 15 days ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
SWAP
2008
13 years 7 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
APPINF
2003
13 years 7 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ€...
AMI
2009
Springer
14 years 11 days ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...