| 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 |
|---|
| 44 | EE | Johan de Kleer:
Modeling When Connections Are the Problem.
IJCAI 2007: 310-317 |
| 43 | EE | Johan 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 |
| 28 | | Johan 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 |
