859 search results - page 10 / 172 » Abduction in Temporal Reasoning |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
tractions Gianluca Torta1 and Daniele Theseider Dupr
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
ML
2006
ACM
13 years 8 months ago
2006
ACM
AMI
2009
Springer
14 years 3 months 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...
APPINF
2003
13 years 10 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â€...