859 search results - page 12 / 172 » Abduction in Temporal Reasoning |
ARTMED
1999
13 years 8 months ago
1999
The process of reprogramming a cardiac pacemaker can be described in terms similar to those used for describing diagnostic problem solving. In this paper, the process of reprogram...
DLOG
2011
13 years 9 days ago
2011
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...
IJCAI
1997
13 years 10 months ago
1997
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abd...
ESWS
2010
Springer
14 years 1 months ago
2010
Springer
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
ILP
2005
Springer
14 years 2 months ago
2005
Springer