dblp.uni-trier.dewww.uni-trier.de

Johan de Kleer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EEJohan de Kleer: Diagnosing Multiple Persistent and Intermittent Faults. IJCAI 2009: 733-738
2008
45 Lukas Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou: Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. AAAI 2008: 1306-1312
2007
44EEJohan de Kleer: Modeling When Connections Are the Problem. IJCAI 2007: 310-317
43EEJohan de Kleer: Dynamic Domain Abstraction Through Meta-diagnosis. SARA 2007: 109-123
2004
42 Markus P. J. Fromherz, Daniel G. Bobrow, Johan de Kleer: Model-Based Computing for Design and Control of Reconfigurable Systems. AI Magazine 24(4): 120-130 (2004)
1995
41 Johan de Kleer, Olivier Raiman: Trading off the Costs of Inference vs. Probing in Diagnosis. IJCAI 1995: 1736-1741
1993
40 Olivier Raiman, Johan de Kleer, Vijay A. Saraswat: Critical Reasoning. IJCAI 1993: 18-23
39 Johan de Kleer: A View on Qualitative Physics. Artif. Intell. 59(1-2): 105-114 (1993)
38 Johan de Kleer: A Perspective on Assumption-Based Truth Maintenance. Artif. Intell. 59(1-2): 63-67 (1993)
1992
37 Johan de Kleer: An Improved Incremental Algorithm for Generating Prime Implicates. AAAI 1992: 780-785
36 Olivier Raiman, Johan de Kleer: A Minimality Maintenance System. KR 1992: 532-538
35 Johan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses and Systems. Artif. Intell. 56(2-3): 197-222 (1992)
34 Brian C. Williams, Olivier Raiman, Daniel G. Bobrow, Mark Shirley, Brian Falkenhainer, Johan de Kleer: Narrow Views, Old Talks, New Beginnings. Computational Intelligence 8: 210-215 (1992)
1991
33 Johan de Kleer: Focusing on Probable Diagnoses. AAAI 1991: 842-848
32 Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley: Characterizing Non-Intermittent Faults. AAAI 1991: 849-854
31 Brian C. Williams, Johan de Kleer: Qualitative Reasoning about Physical Systems: A Return to Roots. Artif. Intell. 51(1-3): 1-9 (1991)
1990
30 Johan de Kleer: Exploiting Locality in a TMS. AAAI 1990: 264-271
29 Johan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses. AAAI 1990: 324-330
28EEJohan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses. Expert Systems in Engineering 1990: 1-15
27 Johan de Kleer: Using Crude Probability Estimates to Guide Diagnosis. Artif. Intell. 45(3): 381-391 (1990)
1989
26 Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings Springer 1989
25 Johan de Kleer, Brian C. Williams: Diagnosis with Behavioral Modes. IJCAI 1989: 1324-1330
24 Johan de Kleer: A Comparison of ATMS and CSP Techniques. IJCAI 1989: 290-296
23 Johan de Kleer, Kurt Konolige: Eliminating the Fixed Predicates from a Circumscription. Artif. Intell. 39(3): 391-398 (1989)
1988
22 Johan de Kleer: A General Labeling Algorithm for Assumption-Based Truth Maintenance. AAAI 1988: 188-192
21 Kenneth D. Forbus, Johan de Kleer: Focusing the ATMS. AAAI 1988: 193-198
20 Michael Dixon, Johan de Kleer: Massively Parallel Assumption-Based Truth Maintenance. AAAI 1988: 199-204
19 Michael Dixon, Johan de Kleer: Massively Parallel Assumption-Based Truth Maintenance. NMR 1988: 131-142
1987
18 Raymond Reiter, Johan de Kleer: Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI 1987: 183-189
17 Johan de Kleer, Brian C. Williams: Diagnosing Multiple Faults. Artif. Intell. 32(1): 97-130 (1987)
1986
16 Johan de Kleer, Brian C. Williams: Reasoning about Multiple Faults. AAAI 1986: 132-139
15 Johan de Kleer, Brian C. Williams: Back to Backtracking: Controlling the ATMS. AAAI 1986: 910-917
14 Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162 (1986)
13 Johan de Kleer: Extending the ATMS. Artif. Intell. 28(2): 163-196 (1986)
12 Johan de Kleer: Problem Solving with the ATMS. Artif. Intell. 28(2): 197-224 (1986)
11 Johan de Kleer, John Seely Brown: Theories of Causal Ordering. Artif. Intell. 29(1): 33-61 (1986)
1985
10 Johan de Kleer: Assumptionbased Truth Maintenance (Abstract). GWAI 1985: 258
9 Johan de Kleer: F. Hayes-Roth, D. A. Waterman and D. B. Lenat, Building Expert Systems (Book Review). Artif. Intell. 25(1): 105-107 (1985)
1984
8 Johan de Kleer: Choices Without Backtracking. AAAI 1984: 79-85
7 Johan de Kleer, Daniel G. Bobrow: Qualitative Reasoning With Higher-Order Derivatives. AAAI 1984: 86-91
6 Johan de Kleer: E. A. Feigenbaum and P. McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World. Artif. Intell. 22(2): 222-226 (1984)
5 Johan de Kleer: How Circuits Work. Artif. Intell. 24(1-3): 205-280 (1984)
4 Johan de Kleer, John Seely Brown: A Qualitative Physics Based on Confluences. Artif. Intell. 24(1-3): 7-83 (1984)
1983
3 John Seely Brown, Johan de Kleer: The Origin, Form, and Logic of Qualitative Physical Laws. IJCAI 1983: 1158-1169
1982
2 Johan de Kleer, John Seely Brown: Foundations of Envisioning. AAAI 1982: 434-437
1977
1 Johan de Kleer: Multiple Representations of Knowledge in a Mechanics Problem-Solver. IJCAI 1977: 299-304

Coauthor Index

1Daniel G. Bobrow [7] [34] [42]
2John Seely Brown [2] [3] [4] [11]
3Michael Dixon [19] [20]
4Minh Binh Do [45]
5Brian Falkenhainer [34]
6Kenneth D. Forbus [21]
7Markus P. J. Fromherz [42]
8Matthew L. Ginsberg [26]
9Kurt Konolige [23]
10Lukas Kuhn [45]
11Alan K. Mackworth [28] [29] [35]
12Bob Price [45]
13Olivier Raiman [32] [34] [36] [40] [41]
14Michael Reinfrank [26]
15Raymond Reiter [18] [28] [29] [35]
16Erik Sandewall [26]
17Vijay A. Saraswat [32] [40]
18Mark Shirley [32] [34]
19Brian C. Williams [15] [16] [17] [25] [31] [34]
20Rong Zhou [45]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)