The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johan de Kleer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  44. Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. [Citation Graph (, )][DBLP]


  45. Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems. [Citation Graph (, )][DBLP]


  46. Diagnosing Multiple Persistent and Intermittent Faults. [Citation Graph (, )][DBLP]


  47. Automated Redesign with the General Redesign Engine. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002