MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Diagnosis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

79 documents found, showing 1 through 10. Next 10 →

ATOM

Modular abstract diagnosis
by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1998 — In APPIAGULP-PRODE’98
…Modular Abstract Diagnosis Marco Comini, Giorgio Levi and Giuliana Vitiello Abstract Modular…
Cited by 1 (0 self) – Add To MetaCart

Abstract Diagnosis of Functional Programs
by M. Alpuente, M. Comini, S. Escobar, M. Falaschi, S. Lucas — 2002 — Logic Based Program Synthesis and Transformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, volume 2664 of Lecture Notes in Computer Science
…Abstract Diagnosis of Functional Programs ⋆ M. Alpuente 1 , M. Comini 2 , S. Escobar 1 , M…
Cited by 11 (3 self) – Add To MetaCart

Proving properties of logic programs by abstract diagnosis
by Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello — 1996 — Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science
…Proving Properties of Logic Programs by Abstract Diagnosis Marco Comini 1 , Giorgio Levi 1 , Maria…
Cited by 19 (4 self) – Add To MetaCart

Abduction and Abstraction in Diagnosis: A Schema Based Account
by George F. Luger, Carl R. Stern, Carl R. Stern — 1995
…Abduction and Abstraction in Diagnosis: A Schema Based Account Carl R. Stern University of New…
Cited by 1 (1 self) – Add To MetaCart

Exploiting Structural Abstractions for Consistency Based Diagnosis of Large Configurator Knowledge
by Alexander Felfernig, Gerhard E. Friedrich, Dietmar Jannach, Markus Stumptner — 2000
…1 Exploiting structural abstractions for consistency based diagnosis of large configurator…
Cited by 2 (2 self) – Add To MetaCart

Automatic abstraction in component-based diagnosis driven by system observability
by Gianluca Torta, Pietro Torasso — 2003 — In Proceedings 18 th International Joint Conference on Artificial Intelligence - IJCAI03
…Automatic Abstraction in Component-Based Diagnosis Driven by System Observability Gianluca Torta…
Cited by 3 (1 self) – Add To MetaCart

Theories and Techniques of Structural Abstraction for Hierarchical Model-Based Diagnosis
by Roberto Ranon — 2002
… 3.3 Approaches to abstraction in model-based diagnosis . . . . . . . . . . . . . . . . . . . 25 3…
Add To MetaCart

Hierarchical model-based diagnosis based on structural abstraction
by Luca Chittaro, Roberto Ranon — 2004 — Artificial Intelligence
…Hierarchical Model-Based Diagnosis Based on Structural Abstraction Luca Chittaro ∗ and Roberto…
Cited by 4 (0 self) – Add To MetaCart

Fault Diagnosis based on Analytical Models for Linear and Nonlinear Systems - A Tutorial
by Michel Kinnaert — 2003 — Proceedings of the 15th International Workshop on Principles of Diagnosis
…. D. Roosevelt, B-1050 Brussels, BELGIUM Abstract: The diagnosis systems considered in this paper rely…
Cited by 5 (0 self) – Add To MetaCart

Analysis and Verification of Multiple-Agent Languages - Fifth LOMAPS Workshop Abstracts
by Mads Dam, F r e d r i k Orava (eds.) — 1996
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Invited Lecture: G. Levi Proving Properties of Logic Programs by Abstract Diagnosis…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB