Daniele Theseider Dupre, Mauro Rossotto  Home/Search
Context
Related
| di.unito.it/~krr/papers/aiia95a.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unito.it/~dtd/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion in Abductive Reasoning Daniele Theseider Dupr'e and Mauro Rossotto ? Dipartimento di Informatica -- Universit`a di Torino Corso Svizzera 185 -- 10149 Torino, Italy -- E-mail: dtd@di.unito.it Abstract. The use of knowledge at different levels of abstraction can be proposed to make automated abduction more flexible. This paper analyzes several declarative and computational ways of exploiting abstractions in abduction, including the definition and implementation of preference criteria for... (Update)
Active bibliography (related documents): More All
0.4: Abductive Reasoning with Abstraction Axioms - Console, Dupré (1994) (Correct)
0.4: Characterizing and Mechanizing Abductive Reasoning - Dupre (1994) (Correct)
0.2: Construction of Problem-Solving Methods as Parametric.. - Teije, van Harmelen.. (1996) (Correct)
Similar documents based on text: More All
0.3: Causal Simulation and Diagnosis of Dynamic Systems - Andrea Panati Dipartimento (2000) (Correct)
0.2: Generating Temporal Decision Trees for Diagnosing.. - Console, Picardi.. (Correct)
0.2: An Inductive Definition Approach to Ramifications - Denecker, Dupre, Van Belleghem (1998) (Correct)
BibTeX entry: (Update)
@inproceedings{ dupre95different,
author = "Daniele Theseider Dupre and Mauro Rossotto",
title = "The Different Roles of Abstraction in Abductive Reasoning",
booktitle = "{AI}*{IA}",
pages = "211-216",
year = "1995",
url = "citeseer.ist.psu.edu/3160.html" }
Citations (may not include all citations):90 Explanation and prediction: An architecture for default and .. - Poole - 1989
67 A formal theory of plan recognition and its implementation - Kautz - 1991
53 Artificial Intelligence (context) - Giunchiglia, Walsh et al. - 1992
26 Hierarchical model-based diagnosis - Mozetic - 1991
6 Abductive reasoning with abstraction axioms - Console, Dupr'e - 1994
5 Modeling diagnosis at multiple levels of abstraction I and I.. (context) - Chu, Reggia - 1991
4 Characterizing and Mechanizing Abductive Reasoning (context) - Dupr'e - 1994
Documents on the same site (http://www.di.unito.it/~dtd/papers/): More
On the Dimensions of Temporal Model-Based Diagnosis - Console, Dupré (Correct)
Characterizing Temporal Abductive Diagnosis - Brusoni, Console, Terenziani.. (1996) (Correct)
Characterizing and Mechanizing Abductive Reasoning - Dupre (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC