Lake panorama © Copyright 2007 by Jon Doyle  

Year of publication

Publications of Jon Doyle

This list of works includes both published and unpublished works, some of which have been widely circulated. Generally PDF files are available as well as PostScript and DVI versions. Many of the older PostScript versions use Type 3 fonts rather than Type 1 fonts, and many reprints incorrectly give my current address as MIT. Time permitting, corrected reprintings will be prepared, as will reprintings of papers currently available only on paper.

The papers fall into six categories:

Not all unpublished works yet appear in this list.

    1974

  1. Symmetries in physics
    Jon Doyle
    Unpublished. Department of Physics, University of Houston, December 1974.

  2. Computational investigations of non-repetitive sequences
    Jon Doyle
    Senior Honors Thesis, Department of Mathematics, University of Houston, December 1974. Thesis 510 1974.D6

    1975

  3. Symmetries in physics
    Jon Doyle
    Revised version.

  4. Non-repetitive binary sequences
    Jon Doyle
    Unpublished.
    [PDF]
    Referee recommended but scooped for J. Combinatorial Theory A. My theorems 1 and 2 paraphrase theorems 1 and 2 of F. M. Dekking, On repetitions of blocks in binary sequences, J. C. T. A 20 (1976), 292-299.

  5. Non-repetitive binary sequences
    Jon Doyle
    Notices of the AMS, Oct. 1975, A-660, #727-A5.
    [PDF]

    1976

  6. Analysis by propagation of constraints in elementary geometry problem solving
    Jon Doyle
    MIT AI Lab WP-108 (1976).

  7. The use of dependency relationships in the control of reasoning
    Jon Doyle
    MIT AI Lab WP-133 (1976).
    [PDF]

  8. Linear expected time of a simple union-find algorithm
    Jon Doyle and Ronald L. Rivest
    Information Processing Letters 5 (1976) 146-148.

    1977

  9. Truth maintenance systems for problem solving
    Jon Doyle
    Master's Thesis, Electrical Engineering and Computer Science Department, Massachusetts Institute of Technology, May 1977. THESIS Thesis E.E. 1977 M.S.

  10. Truth maintenance systems for problem solving
    Jon Doyle
    Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts (1977).
    [PDF]

  11. Hierarchy in knowledge representations
    Jon Doyle
    MIT AI Lab WP-159 (1977).

  12. AMORD: explicit control of reasoning
    Johan de Kleer, Jon Doyle, Guy L. Steele Jr., and Gerald Jay Sussman
    MIT AI Lab Memo 427 (1977).

  13. AMORD: explicit control of reasoning
    Johan de Kleer, Jon Doyle, Guy L. Steele Jr., and Gerald Jay Sussman
    ACM Conference on AI and Programming Languages, Rochester, New York (1977).

    1978

  14. Truth maintenance systems for problem solving
    Jon Doyle
    MIT AI Lab TR-419 (1978).

  15. AMORD: a deductive procedure system
    J. de Kleer, Jon Doyle, C. Rich, G. L. Steele, and G. J. Sussman
    MIT AI Lab Memo 435 (1978).

  16. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    MIT AI Lab Memo 468 (1978).

  17. A glimpse of truth maintenance
    Jon Doyle
    MIT AI Lab Memo 461 (1978).

  18. Reflexive interpreters
    Jon Doyle
    Ph.D. thesis proposal submitted June 8, 1978 to the MIT Electrical Engineering and Computer Science Department.
    [PDF] [PS] [DVI]

    1979

  19. A truth maintenance system
    Jon Doyle
    MIT AI Lab Memo 521 (1979).

  20. A truth maintenance system
    Jon Doyle
    Artificial Intelligence 12 (1979), 231-272.

  21. A glimpse of truth maintenance
    Jon Doyle
    Fourth Workshop on Automated Deduction, Austin, Texas (1979).

  22. Non-monotonic logic I (extended abstract)
    Drew V. McDermott and Jon Doyle
    Fourth Workshop on Automated Deduction, Austin, Texas (1979).

  23. A glimpse of truth maintenance
    Jon Doyle
    Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979).

  24. An introduction to non-monotonic logic
    Drew V. McDermott and Jon Doyle
    Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979).

  25. A glimpse of truth maintenance
    Jon Doyle
    Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979).

  26. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    Notices of the AMS, V. 26, No. 1 (1979), #79T-E4, A-16.

  27. AMORD: Explicit control of reasoning
    J. de Kleer, Jon Doyle, G. L. Steele and G. J. Sussman
    Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979).

  28. Historical annotations and humble databases
    Jon Doyle
    Unpublished, November 15, 1979.
    [PDF] [PS] [DVI]

    1980

  29. A model for deliberation, action, and introspection
    Jon Doyle
    Ph.D. Dissertation, Artificial Intelligence, Massachusetts Institute of Technology, May 1980. THESIS Thesis E.E. 1980 Ph.D.

  30. A model for deliberation, action, and introspection
    Jon Doyle
    MIT AI Lab TR-581 (1980).
    [PDF] [PS] [DVI]

  31. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    Artificial Intelligence 13 (1980), 41-72.
    Special issue on non-monotonic logic.

  32. A selected descriptor-indexed bibliography to the literature on belief revision
    Jon Doyle and Philip London
    MIT AI Lab Memo 568 (1980).

  33. A selected descriptor-indexed bibliography to the literature on belief revision
    Jon Doyle and Philip London
    SIGART Newsletter, No. 71 (1980), 7-23.

  34. Why I don't play the piano
    Jon Doyle
    SIGART Newsletter, No. 79 (February 1980), p. 41.
    [PDF] [PS] [DVI]
    Special knowledge representation survey issue.

  35. A Theory of Memory
    Jon Doyle
    Unpublished, October, 1980

    1981

  36. Making difficult decisions
    Jon Doyle
    Stanford Computer Forum, Stanford University, Stanford, California (1981).

  37. Three short essays on decisions, reasons, and logics
    Jon Doyle
    Stanford CSD, Report 81-864 (1981).

  38. A truth maintenance system
    Jon Doyle
    Readings in Artificial Intelligence (B. L. Webber and N. J. Nilsson, eds.), Palo Alto: Tioga (1981).
    Reprinting of the Artificial Intelligence journal version.

  39. Controlling Reasoning by Interpreting Self-Descriptions or, Explicit Control of Reasoning Revisited
    Johan de Kleer and Jon Doyle
    Unpublished, November, 1980, June 1981.
    The paper ``Explicit Control of Reasoning'' was accepted by the journal Cognitive Science. This revised and elaborated version of that paper was prepared for publication there, but was never finished.

  40. Non-monotonic logic and system G
    Jon Doyle
    Unpublished, September 25, 1981.
    [PDF] [PS] [DVI]

  41. A Mathematical Basis for Psychology
    Jon Doyle
    Unpublished, October-December 1981

  42. Some Mathematical Problems in Artificial Intelligence
    Jon Doyle
    Unpublished, October 24, 1981
    [PDF] [PS] [DVI]

  43. Two Dogmas of Artificial Intelligence
    Jon Doyle
    Unpublished, October-December 1981

    1982

  44. Non-deductive reasoning and non-monotonic logic
    Jon Doyle
    Handbook of Artificial Intelligence V. III (P. R. Cohen and E. A. Feigenbaum, eds.), Los Altos: Wm. Kaufmann (1982).

  45. Dependencies and assumptions
    J. de Kleer and Jon Doyle
    Handbook of Artificial Intelligence V. II (A. Barr and E. A. Feigenbaum, eds.), Los Altos: Wm. Kaufmann (1982).

  46. The foundations of psychology: a logico-computational inquiry into the concept of mind
    Jon Doyle
    CMU CSD, Report 82-149 (1982).
    [PDF] [PS] [DVI]

  47. Boolean-valued machines
    Jon Doyle
    Unpublished, Thanksgiving Day 1981-St. Valentine's Day 1982, March 10, 1982

  48. Anti-intellectualism in artificial intelligence
    Jon Doyle
    Unpublished, January 30, 1982

  49. Continuity, reflection, and adaptation: an essay in rational psychology
    Jon Doyle
    Unpublished, June 1982, August 17, 1982


  50. What is Church's thesis? an outline
    Jon Doyle
    Unpublished, September 19, 1982
    [HTML] [PDF] [PS] [DVI]
    I circulated this paper to interested parties for some years as an expression of my doubts about Church's thesis.

    1983

  51. Conservatism and catastrophe in computation and psychology
    Jon Doyle
    Unpublished, February 15, 1983

  52. Reasoned decisions and deliberation: lessons from expert systems
    Jon Doyle
    Unpublished, April 14, 1983

  53. Admissible state semantics for representational systems
    Jon Doyle
    CMU CSD Report 83-124 (1983).
    [PDF] [PS] [DVI]

  54. Rationality in the will to believe
    Jon Doyle
    Colloquium on Practical Reasoning, University of Dayton, Dayton, Ohio (1983).

  55. Some theories of reasoned assumptions: an essay in rational psychology
    Jon Doyle
    CMU CSD Report 83-125 (1983).
    [PDF] [PS] [DVI]
    The essentially complete version of December 1982 was circulated for some months before publication in this version with only light editing. It was accepted for publication in Computational Intelligence, but I was unwilling to shorten the work as requested by the editors.

  56. The ins and outs of reason maintenance
    Jon Doyle
    CMU CSD Report 83-126 (1983).
    [PDF] [PS] [DVI]

  57. A society of mind: multiple perspectives, reasoned assumptions, and virtual copies
    Jon Doyle
    CMU CSD Report 83-127 (1983).
    [PDF] [PS] [DVI]

  58. The ins and outs of reason maintenance
    Jon Doyle
    Eighth International Joint Conference on Artificial Intelligence, (1983).

  59. A society of mind: multiple perspectives, reasoned assumptions, and virtual copies
    Jon Doyle
    Eighth International Joint Conference on Artificial Intelligence, (1983).

  60. What should AI want from the supercomputers?
    Jon Doyle
    CMU CSD Report 83-160 (1983).
    [PDF] [PS] [DVI]

  61. What should AI want from the supercomputers?
    Jon Doyle
    AI Magazine, V. 4, No. 4, 33-35, 31 (1983).

  62. What is rational psychology? Toward a modern mental philosophy
    Jon Doyle
    CMU CSD Report 83-106 (1983).
    [HTML] [PDF] [PS] [DVI]
    Unabridged version.

  63. What is rational psychology? Toward a modern mental philosophy
    Jon Doyle
    AI Magazine, V. 4, No. 3 (1983), 50-53.
    This version was abridged from the original, mainly leaving out the quotations.

  64. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    CMU CSD Report 83-114 (1983).
    [PDF] [PS] [DVI]

  65. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    AI Magazine, V. 4, No. 2 (1983), 39-43.

  66. Reasoning about reasoning
    R. Davis, Jon Doyle, M. Genesereth, I. Goldstein, D. Lenat, and H. Shrobe
    Building Expert Systems (D. Waterman, R. Hayes-Roth, and D. Lenat, eds.), Reading: Addison-Wesley (1983), 219-239.

  67. Admissible state semantics for representational systems
    Jon Doyle
    IEEE Computer, V. 16, No. 10, 119-123 (1983).
    Special issue on knowledge representation.

  68. A Model of Parallelism for Artificial Intelligence
    Jon Doyle
    Unpublished, September 14, 1983

    1984

  69. Review of Automation of Reasoning by Siekmann and Wrightson
    Jon Doyle
    American Scientist, V. 72, No. 3, 303 (1984).

  70. Circumscription and implicit definability
    Jon Doyle
    CMU CSD Report 84-154.
    [PDF] [PS] [DVI]

  71. Circumscription and implicit definability
    Jon Doyle
    AAAI Workshop on Non-Monotonic Reasoning, (1984).

  72. Expert systems without computers, or theory and trust in artificial intelligence
    Jon Doyle
    CMU CSD Report 84-116 (1984).
    [PDF] [PS] [DVI]

  73. Expert systems without computers, or theory and trust in artificial intelligence.
    Jon Doyle
    AI Magazine, V. 5, No. 2, 59-63
    This version was mangled by copyeditors and published without my review or consent.

  74. Errata to Expert systems without computers, or theory and trust in artificial intelligence
    Jon Doyle
    AI Magazine, V. 5, No. 4, 79 (1984).

  75. Reasoned assumptions and Pareto optimality
    Jon Doyle
    CSLI Workshop on Planning and Practical Reasoning, Stanford University, Stanford, California (1984).

    1985

  76. Design for a Mind: Review of a Model for Deliberation, Action, and Introspection,
    Jon Doyle
    Unpublished, March 1, 1985

  77. Circumscription and implicit definability
    Jon Doyle
    Journal of Automated Reasoning, 1 (1985), 391-405. [MR 88f:68122]

  78. Reasoned assumptions and Pareto optimality
    Jon Doyle
    CMU CSD Report 85-121 (1985).
    [PDF] [PS] [DVI]

  79. Reasoned assumptions and Pareto optimality
    Jon Doyle
    Ninth International Joint Conference on Artificial Intelligence, (1985).

  80. AMORD: Explicit control of reasoning
    J. de Kleer, Jon Doyle G. L. Steele and G. J. Sussman
    Readings in Knowledge Representation (R. Brachman and H. Levesque, eds.), Los Altos: Morgan Kaufmann (1985).

  81. Expert systems and the ``myth'' of symbolic reasoning
    Jon Doyle
    IEEE Transactions on Software Engineering, Vol. SE-11, No. 11 (November 1985), 1386-1390.

  82. Common Sense and Expert Systems
    Jon Doyle
    Unpublished, May 23, 1985

  83. Reasoned Assumptions and Rational Psychology: Selected Essays
    Jon Doyle
    Unpublished, November 1, 1985

  84. On Considered Actions and Attitudes: A framework for deliberate action and reflection
    Jon Doyle
    Unpublished, November 22, 1985

    1986

  85. Problem solving by TMS
    Jon Doyle
    Foundations of Cognitive Science (Yutaka Saeki, ed.), Tokyo: Sangyo Tosho.
    Japanese translation by M. Nakagawa from Truth Maintenance Systems for Problem Solving

  86. How to frame it: Modern applied logic from the top down
    Jon Doyle
    Unpublished, CMU CSD, (October 22, 1986).
    [PDF] [PS] [DVI]
    I circulated these notes frequently after presenting lectures on them in the introductory graduate AI class at CMU.

  87. Massive Parallelism and Artificial Intelligence
    Jon Doyle and Doug Tygar
    Unpublished, December 17, 1986

    1987

  88. The Aims and Methods of Rational Psychology
    Jon Doyle
    Unpublished, January 16, 1987

  89. Logic, rationality, and rational psychology
    Jon Doyle
    Computational Intelligence, Vol. 3, No. 3 (August 1987) 175-176.
    [PDF] [PS] [DVI]
    Review of Critique of Pure Reason by D. McDermott.

  90. Admissible state semantics for representational systems
    Jon Doyle
    The Knowledge Frontier: Essays in the Representation of Knowledge (N. Cercone and G. McCalla, eds.), New York: Springer-Verlag (1987), 174-186.

    1988

  91. Big problems for artificial intelligence
    Jon Doyle
    AI Magazine, Vol. 9, No. 1, 19-22 (1988).
    [PDF] [PS] [DVI]
    Guest editorial.

  92. A Formal Theory of Mental Constitutions
    Jon Doyle
    Unpublished, April 18, 1988

  93. Knowledge, representation, and rational self-government (extended abstract)
    Jon Doyle
    Second Conference on Theoretical Aspects of Reasoning about Knowledge (M. Y. Vardi, ed.), (1988).

  94. On universal theories of defaults
    Jon Doyle
    CMU CSD Report CMU-CS-88-111 (1988).
    [PDF] [PS] [DVI]

  95. Artificial intelligence and rational self-government
    Jon Doyle
    CMU CSD Report CMU-CS-88-124 (1988).
    [PDF] [PS] [DVI]
    The draft of this monograph was circulated widely for a year prior to publication of this lightly edited version.

  96. On rationality and learning
    Jon Doyle
    CMU CSD Report CMU-CS-88-122 (1988).
    [PDF] [PS] [DVI]

  97. Similarity, conservatism, and rationality
    Jon Doyle
    CMU CSD Report CMU-CS-88-123 (1988).
    [PDF] [PS] [DVI]

  98. Implicit knowledge and rational representation
    Jon Doyle
    CMU CSD Report CMU-CS-88-134 (1988).

  99. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988), 111-126.

  100. A truth maintenance system
    Jon Doyle
    Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988).

  101. Expert systems without computers, or theory and trust in artificial intelligence
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 167-171.

  102. What should AI want from the supercomputers?
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 29-32.

  103. What is rational psychology? Toward a modern mental philosophy
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 251-254.

  104. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 162-166.

    1989

  105. Big Problems for Artificial Intelligence: Progress and Prospects
    Jon Doyle
    Unpublished, May 22, 1989
    This expanded version of the AI Magazine editorial was never completed.

  106. Mental Constitutions and Limited Rationality
    Jon Doyle
    March 17, 1989

  107. Constructive belief and rational representation
    Jon Doyle
    Computational Intelligence, Vol. 5, No. 1 (February 1989), pp. 1-11.
    [PDF] [PS] [DVI]

  108. Mental constitutions and limited rationality
    Jon Doyle
    AAAI Symposium on AI and Limited Rationality, Palo Alto (1989).
    [PDF] [PS] [DVI]

  109. Some impossibility results
    Jon Doyle
    AAAI Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, Missouri (1989).

  110. Language restrictions, taxonomic classification, and the utility of representation services
    Jon Doyle and Ramesh Patil
    MIT/LCS/TM-387 (1989).

  111. Impediments to universal preference-based default theories
    Jon Doyle and Michael P. Wellman
    First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, (1989).

  112. Impediments to universal preference-based default theories
    Jon Doyle and Michael P. Wellman
    MIT/LCS/TM-416 (1989).

  113. Stochastic analysis of qualitative dynamics
    Jon Doyle and Elisha P. Sacks
    MIT/LCS/TM-418 (1989).

  114. Stochastic analysis of qualitative dynamics
    Jon Doyle and Elisha P. Sacks
    Eleventh International Joint Conference on Artificial Intelligence, (N. S. Sridharan, ed.), pp. 1187-1192, San Mateo: Morgan Kaufmann, 1989.

  115. Two dogmas of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services
    Jon Doyle and Ramesh Patil
    MIT/LCS/TM-387b (1989).

  116. Rational control of reasoning in artificial intelligence
    Jon Doyle
    Conference on the Dynamics of Knowledge and Belief, Lund, Sweden (1989).

  117. Reasoning, representation, and rational self-government
    Jon Doyle
    Methodologies for Intelligent Systems, 4 (Z. W. Ras, ed.), New York: North-Holland (1989), pp. 367-380.

    1990

  118. On Vivid Representation
    Jon Doyle and Ramesh S. Patil
    Unpublished, February 15, 1990

  119. Rational belief revision (preliminary report)
    Jon Doyle
    Third International Workshop on Nonmonotonic Reasoning, California: Stanford Sierra Camp, (1990).
    [PDF] [PS] [DVI]

  120. Rational self-government and universal default logics
    Jon Doyle
    Second Conference on Economics and Artificial Intelligence, Paris (1990).

  121. The roles of rationality in reasoning (extended abstract)
    Jon Doyle
    AAAI Eighth National Conference on Artificial Intelligence, Boston, Massachusetts (1990).

  122. Rational control of reasoning in artificial intelligence
    Jon Doyle
    The Logic of Theory Change (A. Fuhrmann and M. Morreau, eds.), Berlin: Springer-Verlag (1990), 19-48.

  123. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    Readings in Uncertain Reasoning (G. Shafer and J. Pearl, eds.), San Mateo, CA: Morgan Kaufmann (1990), 689-693.

  124. Rational distributed reason maintenance for planning and replanning of large-scale activities
    Jon Doyle and Michael P. Wellman
    DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, San Diego (1990).
    [PDF] [PS] [DVI]

  125. Perceptive questions about computation and cognition
    Jon Doyle
    Behavioral and Brain Sciences, Vol. 13, No. 4 (December 1990), p. 661.
    [PDF] [PS] [DVI]
    Review of The Emperor's New Mind by R. Penrose.

  126. Reasoning and Rationality: Economic Foundations for Mental Self-Government
    Jon Doyle
    Unpublished, September 18, 1990
    This is a book in progress, currently at about 400 pages in length.

    1991

  127. Pragmatism in Knowledge Representation
    Ramesh S. Patil and Jon Doyle
    Unpublished, January 10, 1991

  128. Addendum to ``Two Theses of Knowledge Representation''
    Jon Doyle and Ramesh S. Patil
    Unpublished, January 31, 1991

  129. Panel on causality - questions to panelists
    Jon Doyle, moderator
    Unpublished, 1991

  130. Goals, Preferences, and Utilities: A Reconciliation
    Jon Doyle, Michael Wellman, and Thomas Dean
    Unpublished, 1991

  131. What is a hard problem?
    Jon Doyle and Bernhard Nebel
    Unpublished, August 1991

  132. Review of Philosophical Logic and Artificial Intelligence edited by Richmond H. Thomason
    Jon Doyle
    SIGART Bulletin, Vol. 2, No. 1 (January 1991), 77-78.
    [PDF] [PS] [DVI]

  133. The foundations of psychology: a logico-computational inquiry into the concept of mind
    Jon Doyle
    Philosophy and AI: Essays at the Interface (R. Cummins and J. Pollock, eds.), Cambridge: MIT Press (1991), 39-77.
    [PDF] [PS] [DVI]

  134. Markov analysis of qualitative dynamics
    Jon Doyle and Elisha P. Sacks
    Computational Intelligence, Vol. 7, No. 1 (February 1991), pp. 1-10.
    [PDF] [PS]

  135. Prolegomena to any future qualitative physics
    Elisha P. Sacks and Jon Doyle
    Princeton University Department of Computer Science CS-TR-314-91 (1991).

  136. Rational belief revision (preliminary report)
    Jon Doyle
    Second International Conference on Principles of Knowledge Representation and Reasoning, Boston, (1991).
    [PDF] [PS] [DVI]

  137. Rational self-government and universal default logics
    Jon Doyle and Michael P. Wellman
    Economics and Artificial Intelligence (P. Bourgine and B. Walliser, eds.), London: Pergamon (1991), pp. 5-13.

  138. Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services
    Jon Doyle and Ramesh S. Patil
    Artificial Intelligence, Vol. 48, No. 3 (April 1991), pp. 261-297.
    [PDF] [PS] [DVI]

  139. Impediments to universal preference-based default theories
    Jon Doyle and Michael P. Wellman
    Artificial Intelligence, Vol. 49, Nos. 1-3 (May 1991), pp. 97-128. [MR 92d:68107]
    [PDF] [PS] [DVI]
    Expanded version.

  140. Preferential semantics for goals
    Michael P. Wellman and Jon Doyle
    AAAI Ninth National Conference on Artificial Intelligence, Anaheim, California (1991).
    [PDF] [PS] [DVI]

  141. A logic of relative desire (preliminary report)
    Jon Doyle, Yoav Shoham, and Michael P. Wellman
    Methodologies for Intelligent Systems 6 (Z. W. Ras and M. Zemankova, eds.), Berlin: Springer-Verlag (1991), pp. 16-31.
    [PDF] [PS] [DVI]

    1992

  142. Planning Ontology and Problem Description
    Jon Doyle
    Unpublished, 1992

  143. Rational belief revision and reason maintenance
    Jon Doyle
    Belief Revision (P. Gärdenfors, ed.), Cambridge: Cambridge University Press (1992), pp. 29-51.
    [PDF] [PS] [DVI]

  144. Prolegomena to any future qualitative physics
    Elisha P. Sacks and Jon Doyle
    Computational Intelligence, Vo. 8, No. 2 (May 1992), pp. 187-209.
    [PDF] [PS]
    A ``Taking Issue'' article published with commentaries.

  145. Epilegomenon
    Elisha P. Sacks and Jon Doyle
    Computational Intelligence, Vo. 8, No. 2 (May 1992), pp. 326-335.
    [PDF] [PS]
    Epilog to the Prolegomena.

  146. The roles of rationality in reasoning
    Jon Doyle
    Computational Intelligence, Vol. 8, No. 2 (May 1992), 376-409.
    [PDF] [PS] [DVI]
    Full version of AAAI-90 invited address.

  147. Modular utility representation for decision-theoretic planning
    Michael P. Wellman and Jon Doyle
    First International Conference on AI Planning Systems, College Park: Maryland (1992)
    [PDF] [PS]

    1993

  148. Some Super-Classics of Artificial Intelligence?
    Jon Doyle
    Unpublished, June 14, 1993
    [PDF] [PS] [DVI]

    1994

  149. Guardian Angel: Patient-Centered Health Information Systems
    P. Szolovits, Jon Doyle, W. J. Long, I. Kohane, and S. G. Pauker
    MIT/LCS/TR-604 (May 1994).
    [PDF] [PS]

  150. Inference and acceptance: comment on Kyburg's ``Believing on the basis of the evidence''
    Jon Doyle
    Computational Intelligence, Vol. 10, No. 1, 46-48, (February 1994).
    [PDF] [PS] [DVI]

  151. A reasoning economy for planning and replanning
    Jon Doyle
    Technical Papers of the ARPA Planning Initiative Workshop, Tucson: Arizona (1994).
    [PDF] [PS] [DVI]

  152. Representing preferences as ceteris paribus comparatives
    Jon Doyle and Michael P. Wellman
    AAAI Symposium on Decision-Theoretic Planning, Stanford: California (1994).
    [PDF] [PS] [DVI]

  153. A point of leverage for artificial intelligence
    Jon Doyle
    Unpublished position statement prepared for AAAI workshop on a report to NSF on information infrastructure technology and applications. Written July 6, 1994, completed September 27, 1994.
    [PDF] [PS] [DVI]

  154. Reasoned assumptions and rational psychology
    Jon Doyle
    Fundamenta Informaticae, Vol. 20, No. 1 (Spring 1994). [MR 95i:68120]
    [PDF] [PS] [DVI] [Intro only PDF] [Intro only PS] [Intro only DVI]

  155. Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference
    Jon Doyle, E. J. Sandewall, and P. Torasso, editors
    San Francisco: Morgan Kaufmann (1994).

  156. Final report on rational distributed reason maintenance for planning and replanning of large-scale activities
    Jon Doyle
    Final report submitted to Rome Laboratory on October 27, 1994.
    [PDF] [PS] [DVI]

    1995

  157. Symposium on Artificial Intelligence
    Jon Doyle, editor
    ACM Computing Surveys, Vol. 27 (September 1995).

  158. A truth maintenance system
    Jon Doyle
    In Computational Intelligence (G. F. Luger, ed.), Menlo Park, California: AAAI Press, 1995, pp. 529-554.

    1996

  159. Toward rational planning and replanning: rational reason maintenance, reasoning economies, and qualitative preferences
    Jon Doyle
    In Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative (Austin Tate, editor), Menlo Park, California: AAAI Press, 1996, pp. 130-135.
    [PDF] [PS] [DVI]

  160. Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference
    L. Carlucci Aiello, Jon Doyle, and S. C. Shapiro, editors
    San Francisco: Morgan Kaufmann (1996).

  161. Strategic Directions in Computing Research
    Peter Wegner and Jon Doyle
    ACM Computing Surveys, Vol. 28 (December 1996), 565-574, http://www.acm.org/pubs/citations/journals/surveys/1996-28-4/p656-wegner/
    [PDF] [PS] [PDF]

  162. Strategic directions in artificial intelligence
    Jon Doyle and Thomas Dean, editors
    ACM Computing Surveys, Vol. 28 (December 1996), 653-670, http://www.acm.org/pubs/citations/journals/surveys/1996-28-4/p653-doyle/.
    [HTML] [PDF] [PS]

  163. Cleaving (unto) artificial intelligence
    Jon Doyle
    ACM Computing Surveys, Vol. 28A (December 1996), http://www.acm.org/pubs/citations/journals/surveys/1996-28-4es/a4-doyle/.
    [HTML]

  164. High-Performance Knowledge Base Support for Monitoring, Analysis, and Interpretation Tasks
    Jon Doyle, Isaac Kohane, William Long, and Peter Szolovits
    Unpublished, December 4, 1996.
    [HTML]
    Proposal submitted to and funded by DARPA.

    1997

  165. Strategic directions in artificial intelligence
    Jon Doyle and Thomas Dean, editors
    AI Magazine, Vol. 18, No. 1 (Spring 1997), 87-101.
    Reprinting of the 1996 Computing Surveys article.

    1998

  166. Adaptive Knowledge-Based Monitoring for Information Assurance
    Jon Doyle, Isaac Kohane, William J. Long, and Peter Szolovits
    Unpublished, October 30, 1998.
    [HTML] [PDF] [DVI]
    Proposal submitted to and funded by DARPA.

    1999

  167. Rational decision making
    Jon Doyle
    MIT Encyclopedia of the Cognitive Sciences, Cambridge: MIT Press, 1999.
    [PDF] [PS] [DVI]
    Originally written in August, 1996.

  168. Bounded rationality
    Jon Doyle
    MIT Encyclopedia of the Cognitive Sciences, Cambridge: MIT Press, 1999.
    [PDF] [PS] [DVI]
    Originally written in July, 1997.

  169. Background to qualitative decision theory
    Jon Doyle and Richmond H. Thomason
    AI Magazine, Vol. 20, No. 2 (Summer 1999), pp. 55-68.
    [PDF] [PS] [DVI]

  170. The Architecture of MAITA: A Tool For Monitoring, Analysis, and Interpretation
    Jon Doyle, Isaac Kohane, William Long, and Peter Szolovits
    Unpublished draft, September 21, 1999
    [PDF] [PS] [DVI]

  171. Some Representational Limitations of the Common Intrusion Specification Language
    Jon Doyle
    Unpublished draft, November 5, 1999
    [Text] [PDF] [PS]

    2000

  172. Active Trust Management for Autonomous Adaptive Survivable Systems
    Howard Shrobe, Jon Doyle, and Peter Szolovits
    Proposal to DARPA, January 15, 2000
    [PDF] [PS] [DVI]

  173. Automating human-based negotiation processes for autonomic logistics
    Gabor Karsai, George Bloor, and Jon Doyle
    Proceedings of the 2000 IEEE Aerospace Conference, Nashville: Tennessee (2000), Vol. 6, pp. 147-153.
    [PDF]

  174. Toward a common attack recognition language
    Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits
    Unpublished draft, June 5, 2000


  175. On widening the scope of attack recognition languages
    Jon Doyle, Howard Shrobe, and Peter Szolovits
    Unpublished note, July 13, 2000
    [Text] [PDF] [PS]

  176. Matter, Mind and Mechanics: New models for dynamogenesis and rationality
    Jon Doyle
    Unpublished draft, October 26, 2000, revised February 13, 2001
    [PDF]

    2001

  177. Active Trust Management for Autonomous Adaptive Survivable Systems
    Howard Shrobe and Jon Doyle
    Self-Adaptive Software, P. Robertson, H. Shrobe, and R. Laddaga, editors, Berlin: Springer Verlag, 2001, pp. 40-49. Revised papers from the First International Workshop on Self-Adaptive Software (IWSAS 2000).
    [PDF]

  178. Agile Monitoring for Cyber Defense
    Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits
    Second DARPA Information Survivability Conference and Exposition (DISCEX-II), Anaheim, California, June 12-14, 2001.
    [PDF] [PS]

  179. Event Recognition Beyond Signature and Anomaly
    Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits
    Proceedings of the 2001 IEEE Workshop on Information Assurance and Security, United States Military Academy, West Point, New York, June 5-6, 2001, pp. 17-23.
    [PDF] [PS] [DVI]

  180. Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
    Jon Doyle and Michael McGeachie
    In Self-Adaptive Software II, P. Robertson, H. Shrobe, and R. Laddaga, editors, Berlin: Springer Verlag, 2003. Revised papers from the Second International Workshop on Self-Adaptive Software (IWSAS 2002).
    [PDF]

    2002

  181. A Rational Mechanics of Reasoning
    Jon Doyle
    Unpublished draft, January 22, 2002
    [PDF]

  182. Utility Functions for Ceteris Paribus Preferences
    Michael McGeachie and Jon Doyle
    AAAI Workshop on Preferences in AI and CP: Symbolic Approaches, Edmonton, Alberta, July 2002
    [PDF]

  183. Efficient Utility Functions for Ceteris Paribus Preferences
    Michael McGeachie and Jon Doyle
    AAAI Eighteenth National Conference on Artificial Intelligence (AAAI-2002), Edmonton, Alberta.
    [PDF] [PS] [DVI]

  184. What is Church's Thesis? An Outline
    Jon Doyle
    Minds and Machines, Vol. 12, No. 4, November 2002, pp. 519-520.
    [PDF]
    Reprinting of my 1982 note in a special double-issue on hypercomputation.

    2003

  185. Detection of Intrusion Across Multiple Sensors
    William Long, Jon Doyle, Glenn Burke, and Peter Szolovits
    In Proceedings of SPIE AeroSense 2003 Conference (System Diagnosis and Prognosis: Security and Condition Monitoring Issues III) 21 April 2003, Orlando, Florida, USA, Proceedings of SPIE Vol. 5107.


    2004

  186. Preface (to the special issue on preferences)
    Ulrich Junker, James Delgrande, Jon Doyle, Francesca Rossi, and Torsten Schaub
    Computational Intelligence, Volume 20, Number 2, 109-110, May 2004.


  187. Prospects for Preferences
    Jon Doyle
    Computational Intelligence, Volume 20, Number 2, 111-136, May 2004.


  188. Utility Functions for Ceteris Paribus Preferences
    Michael McGeachie and Jon Doyle
    Computational Intelligence, Volume 20, Number 2, 158-217, May 2004.


  189. The Force of Reasons: A Brief Illustration
    Jon Doyle
    Unpublished manuscript.


    2005

    2006

  190. Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics
    Jon Doyle
    Cambridge University Press, London, UK: May 2006.


  191. On Mechanisation of Thought Processes (extended abstract)
    Jon Doyle
    Proceedings of the Tenth International Conference on Knowledge Representation and Reasoning (KR-2006), Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Menlo Park, CA: AAAI Press, 2006, p. 1.
    [PDF]

  192. Semantic Parameterization: A Process for Modeling Domain Descriptions
    Travis D. Breaux, Annie I. Antón and Jon Doyle
    North Carolina State University Computer Science Department Technical Report TR-2006-35, October 2006.
    [PDF]

    2007

  193. Interest-matching comparisons using CP-nets
    Andrew W. Wicker and Jon Doyle
    Proceedings of the AAAI Nineteenth Conference on Artificial Intelligence (AAAI-07), Vancouver, British Columbia, pp. 1914-1915.
    [PDF]

    2008

  194. Comparing Preferences Expressed by CP-networks (Extended Abstract)
    Andrew W. Wicker and Jon Doyle
    2008 AAAI Workshop on Advances in Preference Handling, Technical Report WS08-09, AAAI, Menlo Park, California, USA
    [PDF]

  195. Semantic Parameterization: A Process for Modeling Domain Descriptions
    Travis D. Breaux, Annie I. Antón and Jon Doyle
    ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 18, Issue 2 (November 2008), pp. 1-27.


  196. Cognitive Mechanics: Natural Intelligence Beyond Biology and Computation
    Jon Doyle
    Papers from the 2008 AAAI Fall Symposium on Naturally-Inspired AI, Arlington, Virginia, USA, pp. 35-38.
    [PDF]

    2009

    2010

  197. Toward a quantitative theory of belief change: Structure, difficulty, and likelihood (A progress report)
    Jon Doyle
    North Carolina State University Department of Computer Science Technical Report TR-2010-20, September 7, 2010
    [PDF]

    2011

  198. The Local Geometry of Multiattribute Tradeoff Preferences
    Michael McGeachie and Jon Doyle
    Artificial Intelligence, Volume 175, Issues 7-8, May 2011, Pages 1122-1152.
    Special Issue on Representing, Processing, and Learning Preferences.


  199. Leveraging Multiple Influence Mechanisms for Information Propagation
    Andrew W. Wicker and Jon Doyle
    First Workshop on Agent-based Modeling for Policy Engineering (AMPLE 2011) of the
    AAMAS 2011 Conference on Autonomous Agents and Multi-Agent Systems, Taipei, Taiwan.


    2012

  200. UCONLEGAL: A Usage Control Model for HIPAA
    Ramya Gopalan, Ana I. Anton, and Jon Doyle
    Proceedings of the Second ACM SIGHIT International Health Informatics Symposium (IHI 2012), Miami, FL January 28-30, 2012, pp. 227--236.


    2013

  201. Mechanics and Mental Change
    Jon Doyle
    Berndt-Olaf Küppers, Udo Hahn, and Stefan Artmann (eds.), Evolution of Semantic Systems, Springer-Verlag Berlin Heidelberg (2013), pp. 127-150.
    [PDF]

  202. Mechanically Equivalent Ontologies I: Agency and Interaction Forces
    Brian J. Dellinger and Jon Doyle
    Unpublished manuscript


    2014

  203. Characterizing Physical Agency Using Mediating Interaction Forces
    Brian J. Dellinger and Jon Doyle
    Unpublished manuscript


  204. Metaphysical Conservatism and Mechanical Characteristics of Human Nature
    Brian J. Dellinger and Jon Doyle
    Papers from the 2014 AAAI Fall Symposium on The Nature of Humans and Machines: A Multidisciplinary Discourse, (L. Medsker, ed.), pp. 6-12.
    [PDF]

  205. Bayesian Neural Networks for Detecting Epistasis in Genetic Association Studies
    Andrew L. Beam, Alison A. Motsinger-Reif, and Jon Doyle
    BMC Bioinformatics, 15:368 (2014) doi:10.1186/s12859-014-0368-0.


    2015

  206. An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics
    Andrew L. Beam, Alison A. Motsinger-Reif, and Jon Doyle
    BioData Mining Vol. 8, No. 6 (April 2015), doi:10.1186/s13040-015-0039-3.


  207. Fast Hamiltonian Monte Carlo Using GPU Computing
    Andrew L. Beam, Sujit K. Ghosh, and Jon Doyle
    Journal of Computational and Graphical Statistics, Vol. 25, No. 2 (May 2016), http://dx.doi.org/10.1080/10618600.2015.1035724.


  208. Understanding Sanction under Variable Observability in a Secure, Collaborative Environment
    Hongying Du, Bennett Narron, Nirav Ajmeri, Emily Berglund, Jon Doyle, and Munindar P. Singh
    Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)


  209. ENGMAS: Understanding Sanction under Variable Observability in a Secure Environment
    Hongying Du, Bennett Narron, Nirav Ajmeri, Emily Berglund, Jon Doyle, and Munindar P. Singh
    Proceedings of the Second International Workshop on Agents and CyberSecurity (ACySe 2015)


  210. Analyzing Variation of Adaptive Game-Based Training
    Christopher Argenta, Christopher Hale, and Jon Doyle
    Proceedings of the 2015 Conference on Advances in Cognitive Systems


  211. Determining Query Readiness for Structured Data
    Farid Alborzi, Rada Chirkova, Jon Doyle, and Yahya Fathi
    Proceedings of the Seventeenth International Conference on Big Data Analytics and Knowledge Discovery (DaWaK 2015)


    2016

  212. Multi-Agent Plan Recognition as Planning (MAPRAP)
    Christopher Argenta and Jon Doyle
    Proceedings of the Eighth International Conference on Agents and Artificial Intelligence (ICAART 2016), DOI: 10.5220/0005707701410148


  213. Expressing and Reasoning about Conflicting Norms in Cybersecurity: Poster
    Jiaming Jiang, Nirav Ajmeri, Rada Chirkova, Jon Doyle, and Munindar P. Singh
    Symposium and Bootcamp on the Science of Security (HotSoS 2016)


  214. Coco: Runtime Reasoning about Conflicting Commitments
    Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, and Munindar P. Singh
    Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-2016)


    2017

  215. Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences
    Christopher Argenta and Jon Doyle
    In Jaap van den Herik and Joaquim Filipe (eds.), Agents and Artificial Intelligence: Revised Selected Papers from the 8th International Conference (ICAART 2016), Rome, Italy, February 24-26, 2016. Lecture Notes in Computer Science, volume 10162. Springer, Cham, CH (2017), DOI: 10.1007/978-3-319-53354-4_12.


  216. Probabilistic Multi-Agent Plan Recognition as Planning (P-Maprap): Recognizing Teams, Goals, and Plans from Action Sequences
    Christopher Argenta and Jon Doyle
    Proceedings of the Ninth International Conference on Agents and Artificial Intelligence (ICAART 2017), DOI: 10.5220/0006197505750582



go to top