-
2
-
-
0026904816
-
Characterizing diagnoses and systems
-
J. de Kleer, A. Mackworth und R. Reiter: Characterizing Diagnoses and Systems. Artificial Intelligence, 56, 1992 and: O. Dressler und P. Struss: The Consistency-based Approach to Automated Diagnosis of Devices. In: Brewka, G. (ed.), Principles of Knowledge Representation, CSLI Publications, Stanford, pp. 267-311, 1996.
-
(1992)
Artificial Intelligence
, vol.56
-
-
De Kleer, J.1
Mackworth, A.2
Reiter, R.3
-
3
-
-
0002187258
-
The consistency-based approach to automated diagnosis of devices
-
Brewka, G. (ed.), CSLI Publications, Stanford
-
J. de Kleer, A. Mackworth und R. Reiter: Characterizing Diagnoses and Systems. Artificial Intelligence, 56, 1992 and: O. Dressler und P. Struss: The Consistency-based Approach to Automated Diagnosis of Devices. In: Brewka, G. (ed.), Principles of Knowledge Representation, CSLI Publications, Stanford, pp. 267-311, 1996.
-
(1996)
Principles of Knowledge Representation
, pp. 267-311
-
-
Dressler, O.1
Struss, P.2
-
4
-
-
0032657895
-
Strategies for on-board diagnostics of dynamic automotive systems using qualitative models
-
June
-
F. Cascio, L. Console, M. Guagliumi, M. Osella, A. Panati, S. Sottano, D. Theseider-Dupré: Strategies for on-board diagnostics of dynamic automotive systems using qualitative models, AI Communications, June 1999.
-
(1999)
AI Communications
-
-
Cascio, F.1
Console, L.2
Guagliumi, M.3
Osella, M.4
Panati, A.5
Sottano, S.6
Theseider-Dupré, D.7
-
5
-
-
1642634672
-
Powertrain diagnostics: A model-based approach
-
Coventry, UK
-
P. Bidian, M. Tatar, F. Cascio, D. Theseider-Dupré, M. Sachenbacher, R. Weber, C. Carlén: Powertrain Diagnostics: A Model-Based Approach, Proceedings of ERA Technology Vehicle Electronic, Systems Conference '99, Coventry, UK, 1999
-
(1999)
Proceedings of ERA Technology Vehicle Electronic, Systems Conference '99
-
-
Bidian, P.1
Tatar, M.2
Cascio, F.3
Theseider-Dupré, D.4
Sachenbacher, M.5
Weber, R.6
Carlén, C.7
-
6
-
-
0032186950
-
Function-directed electrical design analysis
-
C. Price: Function-directed Electrical Design Analysis, AI in Engineering 12(4), pp. 445-456, 1998.
-
(1998)
AI in Engineering
, vol.12
, Issue.4
, pp. 445-456
-
-
Price, C.1
-
7
-
-
0000573434
-
An assumption-based truth maintenance system
-
J. de Kleer: An assumption-based truth maintenance system, Artificial Intelligence 28, 1986
-
(1986)
Artificial Intelligence
, vol.28
-
-
De Kleer, J.1
-
8
-
-
0345997899
-
Advances in design and implementation of OBD functions for diesel injection systems based on a qualitative approach to diagnosis
-
Detroit, USA
-
M. Sachenbacher, P. Struss, R. Weber: Advances in Design and Implementation of OBD Functions for Diesel Injection Systems based on a Qualitative Approach to Diagnosis, SAE 2000 World Congress, Detroit, USA, 2000.
-
(2000)
SAE 2000 World Congress
-
-
Sachenbacher, M.1
Struss, P.2
Weber, R.3
-
9
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary-decision diagrams
-
September
-
R. Bryant: Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams ACM Computing Surveys, Vol. 24, No. September 1992
-
(1992)
ACM Computing Surveys
, vol.24
-
-
Bryant, R.1
-
11
-
-
84862406218
-
-
Occ'm Software GmbH
-
Raz'r Version 1.6, Occ'm Software GmbH, see http://www.occm.de/
-
Raz'r Version 1.6
-
-
|