Johan de Kleer

	2011
53		Thomas R. Hinrichs, Kenneth D. Forbus, Johan de Kleer, Sungwook Yoon, Eric Jones, Robert Hyland, Jason Wilson: Hybrid Qualitative Simulation of Military Operations. IAAI 2011
	2010
52		Lukas Kuhn, Johan de Kleer: Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults. AAAI Spring Symposium: Embedded Reasoning 2010
51		Peter Struss, Gregory M. Provan, Johan de Kleer, Gautam Biswas: Special Issue on Model-Based Diagnostics. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 870-873 (2010)
50		Lukas Kuhn, Bob Price, Minh Binh Do, Juan Liu, Rong Zhou, Tim Schmidt, Johan de Kleer: Pervasive Diagnosis. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 932-944 (2010)
	2009
49		Juan Liu, Lukas Kuhn, Johan de Kleer, Rong Zhou: Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems. ICAPS 2009
48		Johan de Kleer: Diagnosing Multiple Persistent and Intermittent Faults. IJCAI 2009: 733-738
47		Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas Kuhn, Arjan J. C. van Gemund: Automated Redesign with the General Redesign Engine. SARA 2009
	2008
46		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
45		Johan de Kleer: Modeling When Connections Are the Problem. IJCAI 2007: 310-317
44		Johan de Kleer: Dynamic Domain Abstraction Through Meta-diagnosis. SARA 2007: 109-123
	2004
43		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
42		Johan de Kleer, Olivier Raiman: Trading off the Costs of Inference vs. Probing in Diagnosis. IJCAI 1995: 1736-1741
	1993
41		Kenneth D. Forbus, Johan de Kleer: Building Problem Solvers. MIT Press 1993: I-XIV, 1-702
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

Coauthor Index

1	Gautam Biswas	[51]
2	Daniel G. Bobrow	[7] [34] [43]
3	John Seely Brown	[2] [3] [4] [11]
4	Michael Dixon	[19] [20]
5	Minh Binh Do	[46] [50]
6	Brian Falkenhainer	[34]
7	Alexander Feldman	[47]
8	Kenneth D. Forbus	[21] [41] [53]
9	Markus P. J. Fromherz	[43]
10	Arjan J. C. van Gemund	[47]
11	Matthew L. Ginsberg	[26]
12	Thomas R. Hinrichs	[53]
13	Robert Hyland	[53]
14	Eric Jones	[53]
15	Kurt Konolige	[23]
16	Lukas Kuhn	[46] [47] [49] [50] [52]
17	Juan Liu	[49] [50]
18	Alan K. Mackworth	[28] [29] [35]
19	Bob Price	[46] [50]
20	Gregory M. Provan	[47] [51]
21	Olivier Raiman	[32] [34] [36] [40] [42]
22	Michael Reinfrank	[26]
23	Raymond Reiter	[18] [28] [29] [35]
24	Erik Sandewall	[26]
25	Vijay A. Saraswat	[32] [40]
26	Tim Schmidt	[50]
27	Mark Shirley	[32] [34]
28	Peter Struss	[51]
29	Brian C. Williams	[15] [16] [17] [25] [31] [34]
30	Jason Wilson	[53]
31	Sungwook Yoon	[53]
32	Rong Zhou	[46] [49] [50]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page