Publications of Don Perlis

(papers, chapters, presentations, etc.)

  1. D. Perlis, <. Cox, M. Maynord, E. McNany, M. Paisner, V. Shivashankar, J. Shamwell, T. Oates, T.-C. Du, D. Josyula, M. Caro. A broad vision for intelligent behavior: perpetual real-world cognitive agents. Submitted.

  2. J. Brody, M. Cox, D. Perlis. The processual self as cognitive unifier. Proceedings, 2013 Meeting, Intl Assoc Computing and Philosophy.

  3. M. Cox, D. Perlis. Self-adjusting autonomous systems. Awareness Magazine, 2011.

  4. J. Grant, S. Kraus, D. Perlis, M. Wooldridge. Postulates for revising BDI structures. Synthese, to appear, 2010.

  5. D. Perlis. To BICA and beyond: How biology and anomalies together contribute to flexible cognition. International J. of Machine Consciousness, v 2(2), pp 1-11, 2010.

  6. Matthew Schmill, Michael Anderson, Scott Fults, Darsana Josyula, Tim Oates, Donald Perlis, Hamid Haidarian Shahri, Shomir Wilson, Dean Wright. The Metacognitive Loop and Reasoning about Anomalies. In Cox, M., Raja, A. (Ed.), Metareasoning: Thinking about Thinking. MIT Press, MA, USA, 2010.

  7. Hamid Haidarian, Wikum Dinalankara, Scott Fults, Shomir Wilson, Don Perlis, Matt Schmill, Tim Oates, Darsana Josyula, Michael Anderson. The Metacognitive Loop: An Architecture for Building Robust Intelligent Systems. Proceedings of the AAAI Fall Symposium on Commonsense Knowledge (AAAI/CSK'10, Arlington, VA, USA, November 11-13, 2010.

  8. D. Josyula, B. Donahue, M. McCaslin, M. Snowden, M. Anderson, M. Schmill, T. Oates and D. Perlis. Metacognition for Detecting and Resolving Conflicts in Operational Policies. Proceedings of the Workshop on Metacognition for Robust Social Systems at the 24th AAAI Conference on Artificial Intelligence (AAAI'10), Atlanta, Georgia, USA, July 11-15, 2010.

  9. Michael L. Anderson and Don Perlis. What puts the "meta" in metacognition? Behavioral and Brain Sciences, 32(2):138-139, 2009.

  10. M. Anderson, S. Fults, D. Josyula, T. Oates, D. Perlis, M Schmill, S. Wilson, and D. Wright. A self-help guide for autonomous systems. AI Magazine, special issue on What Went Wrong and Why, 29(20) 67-76, 2008.

  11. M. Anderson, W. Gomaa, J. Grant, and D. Perlis. Active logic semantics for a single agent in a static world. AIJ vol 172, 1045-63, 2008

  12. D. Perlis. There's No ``Me'' in ``Meta'' - or Is There? Keynote address, Metareasoning: Thinking about Thinking Workshop, AAAI Annual Conference, Chicago 2008. (To appear as book chapter.)

  13. D. Perlis. To BICA and beyond: How biology and anomalies together contribute to flexible cognition. Keynote address, AAAI 08 Fall Symposium on Biologically Inspired Cognitive Architectures, Washington DC, 2008.

  14. M. Anderson, S. Fults, D. Josyula T. Oates, D. Perlis, M. Schmill, and S. Wilson. Ontologies for Reasoning about Failures in AI Systems. Proceedings, First International Workshop on Metareasoning in Agent-Based Systems, Hawaii, 2007.

  15. D. Perlis. Self-based theories of consciousness. Annual meeting of ASSC, Oxford University, 2006.

  16. M. Anderson, T. Oates, and D. Perlis. ReGiKAT: (Meta-)Reason-Guided Knowledge Acquisition and Transfer -- or -- Why Deep Blue can't play checkers, and why today's smart systems aren't smart. IPMU, Paris, 2006.

  17. M. Anderson, W. Chong, and Tim Oates, and D. Perlis. The metacognitive loop I: enhancing reinforcement learning with metacognitive monitoring and control for improved perturbation tolerance. JETAI, 18(3): 387-411, 2006.

  18. D. Perlis. Theory and application of self-reference: logic and beyond. Chapter in Self Reference, T. Bolander, V. Hendricks, S.A. Pedersen (eds.) Center for Study of Language and Information (CSLI, Stanford), 2006.

  19. M. Anderson, W. Gomaa, and J. Grant, and D. Perlis. On the reasoning of real-world agents: Toward a semantics for active logic. Proceedings of the 7th Annual Symposium on the Logical Formalization of Commonsense Reasoning, Dresden University, 2005.

  20. M. Anderson, D. Josyula, and D. Perlis. Metacognition for dropping and reconsidering intentions. Proceedings of the AAAI Spring Symposium on Metacognition in Computation, 2005.

  21. M. Anderson, D. Josyula, and D. Perlis. Designing a Universal Interfacing Agent. Proceedings of the Second Language and Technology Conference (L&TC-05). 377-381. 2005.

  22. J. Grant, S. Kraus, and D. Perlis. Formal approaches to teamwork. Chapter in S. Artemov et al (eds.) We will show them! -- Essays in honor of Dov Gabbay, vol. 2, College Publications, 2005.

  23. M. Anderson and D. Perlis. The roots of self-awareness. Phenomenology and the Cognitive Sciences. 2005, vol. 4, pp. 297-333.

  24. J. Grant, S. Kraus, and D. Perlis. A logic-based model of intention formation and action for multi-agent subcontracting. Artificial Intelligence, vol. 163, pp. 163-201, 2005.

  25. M. Anderson and D. Perlis. Logic, self-awareness and self-improvement: the metacognitive loop and the problem of brittleness. Journal of Logic and Computation, vol. 15, pp. 22-40, 2005.

  26. M. Anderson, D. Josyula, D. Perlis, and K. Purang. Active Logic for more effective human-computer interaction and other commonsense applications. International Joint Conference on Automated Reasoning, Workshop on Empirically Successful First Order Reasoning, Ireland, 2004.

  27. M. Anderson, D. Josyula, and D. Perlis. Towards domain-independent, task-oriented, conversational adequacy. IJCAI-2003, Intelligent Systems Demonstration, Acapulco Mexico.

  28. M. Anderson, D. Josyula and D. Perlis. Talking to computers. IJCAI-2003, Proceedings of the Workshop on Mixed Initiative Intelligent Systems Acapulco Mexico.

  29. K. Hennacy, D. Perlis, and N. Swamy. RGL Study In A Hybrid Real-Time System. IASTED NCI, 2003, Cancun Mexico.

  30. M. Anderson and Don Perlis. Symbol Systems. Encyclopedia of Cognitive Science (New York: Nature Publishing Group), 2002.

  31. A. Barfourosh, H. Mothary Nezhad, M. O'Donovan-Anderson, and D. Perlis. An information integration environment based on the active logic framework. MIS 2002.

  32. J. Grant and S. Kraus, and D. Perlis. A Logic-Based Model of Intentions for Multi-Agent Subcontracting. AAAI-2002.

  33. M. Anderson, D. Josyula, Y. Okamoto, and D. Perlis. Time-Situated Agency: Active Logic and Intention Formation. Cognitive Agents Workshop, 2002.

  34. M. Anderson, Yoshi Okamoto, and D. Perlis. The Use-Mention Distinction and its importance to HCI. Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialog. 2002.

  35. W. Chong, M. O'Donovan-Anderson, Y. Okamoto, and D. Perlis. Seven Days in the Life of a Robotic Agent. GSFC/JPL Workshop on Radical Agent Concepts. 2001. NASA Goddard Space Flight Center, Greenbelt, MD, USA.

  36. M. Bhatia, P. Chi, W. Chong, D. Josyula, M. O'Donovan-Anderson, Y. Okamoto, K. Purang, and D. Perlis. Handling Uncertainty with Active Logic. Proceedings, AAAI Fall Symposium on Uncertainty in Computation. 2001.

  37. D. Perlis. What does it take to refer? J. of Consciousness Studies. 2000, vol. 7, pp. 67-69.

  38. D. Perlis. The role(s) of belief in AI. Chapter 14 in J. Minker (ed.) Logic-based AI, Kluwer. 2000.

  39. S. Kraus, J. Grant, and D. Perlis. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 2000, vol. 3, pp. 351-387.

  40. C. Andersen, W. Chong, D. Josyula, M. O'Donovan-Anderson, D. Perlis, K. Purang, and D. Traum. Representations of dialogue state for domain and task independent meta-dialogue. Electronic Transactions in Artificial Intelligence. 1999, Vol. 3, Section D, pp 125-152. http://www.ida.liu.se/ext/epa/ej/etai/1999/D/index.html

  41. D. Perlis. Consciousness, Self, and Meaning. Annual Meeting of the Association for the Scientific Study of Consciousness. London, Ontario, June, 1999.

  42. J. Elgot-Drapkin, S. Kraus, M. Miller, M Nirkhe, and D. Perlis. Active logics: A unified formal approach to episodic reasoning. CS-TR-4072. October 1999.

  43. C. Andersen, D. Perlis, K. Purang, D. Purushothaman, and D. Traum. Modeling Time and Meta-Reasoning in Dialogue Via Active Logic. AAAI Fall Symposium, Psychological Models of Communication in Collaborative Systems, 1999.

  44. C. Andersen, D. Perlis, K. Purang, D. Purushothaman, and D. Traum. Mixed Initiative Dialogue and Intelligence via Active Logic. AAAI 99 Workshop on Mixed-Initiative Intelligence, 1999.

  45. C. Andersen, D. Perlis, K. Purang, D. Purushothaman, and D. Traum. Practical Reasoning and Plan Execution with Active Logic. IJCAI Workshop on Practical Reasoning and Rationality, 1999.

  46. D. Perlis. The WHs of NCC. Annual Meeting of the Association for the Scientific Study of Consciousness. Bremen, Germany, June, 1998.

  47. C. Andersen, D. Perlis., and K. Purang. Conversational Adequacy: Mistakes are the essence. International Journal of Human Computer Studies, vol. 48, 1998. (Earlier versions published as D. Perlis and K. Purang. Conversational Adequacy: Mistakes are the Essence. AAAI Workshop on Detecting, Repairing, and Preventing Human-machine Miscommunication, Portland, Oregon, August 1996; and as D. Perlis and K. Purang, Conversational Adequacy: Mistakes are the Essence. CS-TR-3654, UMIACS-TR-96-41 June 1996.)

  48. S. Kraus, M. Miller, M. Nirkhe, and D. Perlis. How to (plan to) meet a deadline between now and then. J. of Logic and Computation, vol. 7, 1997.

  49. D. Perlis. Sources of, and exploiting, inconsistency: preliminary report. Special issue of Journal of Applied Non-Classical Logics, 1997. (Invited reprint of conference paper 38 below.)

  50. J. Gurney, D. Perlis, and K. Purang. Interpreting presuppositions using active logic: from contexts to utterances. Computational Intelligence. 1997, vol. 13, pp. 391-413.

  51. D. Perlis. Consciousness as self-function. Invited paper for special issue of Journal of Consciousness Studies. 1997, vol. 4, pp. 509-25.

  52. M. Miller and D. Perlis. What experts deny, novices must understand. Toward Automated Expert Reasoning and Expert-Novice Communication. Invited chapter, Expertise in Context: Human and Machine, K. Ford, P. Feltovich, and R. Hoffman (eds). MIT Press, 1997.

  53. M. Miller and D. Perlis. Automated inference in active logics. Invited paper, special issue of Journal of Applied Non-Classical Logics, vol. 6, pp. 9-27, 1996.

  54. D. Perlis. Sources of, and exploiting, inconsistency: preliminary report. Common Sense 96 (Third Symposium on Logical Formalizations of Commonsense Reasoning) Stanford, January 6-8, 1996.

  55. J. Gurney, D. Perlis, and K. Purang. Active Logic Applied to Cancellation of Gricean Implicature. AAAI Spring Symposium on Computational Implicature. Stanford, March 25-27, 1996.

  56. J. Gurney, D. Perlis, and K. Purang. Active Logic Applied to Cancellation of Gricean Implicature. CS-TR-3655, UMIACS-TR-96-42 June 1996.

  57. J. Gurney, D. Perlis, and K. Purang. Active Logic and Heim's Rules for Updating Discourse Context. CS-TR-3656, UMIACS-TR-96-43 June 1996.

  58. D. Gordon and D. Perlis. Explicitly biased generalization. Invited chapter, Goal-Driven Learning, A. Ram and D. Leake (eds.), MIT Press, 1995. (Reprinted from article in Computational Intelligence, vol. 5, pp. 67-81, 1989.)

  59. D. Perlis. Consciousness and complexity: the cognitive quest. Invited paper, Annals of Mathematics and Artificial Intelligence, special issue in honor of Jack Minker, vol. 14, 1995, pp. 309-321.

  60. S. Kraus, M. Nirkhe, and D. Perlis. Thinking takes time: A modal active-logic for reasoning in time. BISFAI-95 (Bar Ilan Symposium on Foundations of Artificial Intelligence).

  61. J. Gurney, D. Perlis, and K. Purang. Active logic and Heim's rules for updating discourse context. IJCAI-95 Workshop on context in natural language processing. Montreal, 1995.

  62. D. Perlis. Context: Theory and Practice. A collection of eight refereed, previously unpublished papers by various authors, edited and with an introduction by D. Perlis. Special issue of Fundamenta Informaticae, vol. 23, pp. 145-396, 1995.

  63. D. Perlis and V.S. Subrahmanian. Metalanguages, reflection principles and self-reference. Invited chapter, Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2: Deduction Methodologies, D. Gabbay, C.J. Hogger, and J.A. Robinson (eds.), Oxford University Press, 1994.

  64. D. Perlis. Putting one's foot in one's head---Part II: How. Invited chapter, From Thinking Machines to Virtual Persons: Essays on the Intentionality of Computers, E. Dietrich (ed.), Academic Press, 1994. (Also appeared as part of Putting one's foot in one's head--Parts I and II. Institute for Advanced Computer Studies TR-91-58, Computer Science Dept CS-TR-2659, University of Maryland, 1991.)

  65. D. Perlis. An error-theory of consciousness. Toward a scientific basis for consciousness, conference held in Tucson, 1994.

  66. J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller, M. Nirkhe, and D. Perlis. Calibrating, counting, grounding, grouping. AAAI Fall Symposium on Control of the Physical World by Intelligent Agents. New Orleans, November 1994.

  67. D. Perlis. Consciousness and complexity: the cognitive quest. CS-TR-3232, UMIACS-TR-94-25 March 1994.

  68. M. Miller and D. Perlis. Presentations and this and that: logic in action. CS-TR-3244, UMIACS-TR-94-36 March 1994.

  69. S. Kraus, M. Nirkhe, and D. Perlis. Thinking takes time: A modal active-logic for reasoning in time. CS-TR-3249, UMIACS-TR-94-39 March 1994.

  70. D. Perlis. Logic for a lifetime. CS-TR-3278, UMIACS-TR-94-62 May 1994.

  71. J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller, M. Nirkhe, and D. Perlis. Calibrating, counting, grounding, grouping. ( CS-TR-3279, UMIACS-TR-94-63 May 1994.

  72. D. Perlis. An error-theory of consciousness. CS-TR-3324, UMIACS-TR-94-91 July 1994.

  73. D. Perlis. Logic and artificial intelligence: a new synthesis? Fundamenta Informaticae, special issue on Algebraic Methods in Logic and their Computer Science Applications, C. Rauszer (ed.), vol. 18, pp. 297-305, 1993.

  74. S. Kraus, M. Nirkhe, and D. Perlis. Situated reasoning within tight deadlines and realistic space and computation bounds. Second Symposium on Logical Formalizations of Commonsense Reasoning, 1993. (Also presented at the Workshop on Spatial and Temporal Reasoning, IJCAI-93.)

  75. S. Kraus, M. Nirkhe, and D. Perlis. Reasoning about change in a changing world. Proceedings of the Florida AI Research Symposium--FLAIRS-93, Fort Lauderdale, 1993.

  76. M. Miller and D. Perlis. Presentations and this and that: logic in action. Cog-Sci-93. Boulder, Colorado, 747-752. Also appeared as a AAAI Symposium workshop paper, Raleigh, 1993.

  77. J. Elgot-Drapkin, S. Kraus, M. Miller, M. Nirkhe, and D. Perlis. Vacuum logic. AAAI Fall Symposium on Instantiating Real-World Agents. Raleigh, October 1993.

  78. M. Miller and D. Perlis. What experts deny, novices must understand. Third International Workshop on Human & Machine Cognition, 1993, Seaside, Florida. (Later also appeared as M. Miller and D. Perlis. What experts deny, novices must understand. CS-TR-3280, UMIACS-TR-94-64 May 1994.)

  79. D. Perlis, E. Rivlin, and A. Rosenfeld. Recognition of object functionality in goal-directed robotics. Workshop on Reasoning About Function, AAAI-93, Washington, DC, 1993.

  80. M. Miller and D. Perlis. Presentations and this and that: logic in action. Cog-Sci-93, pp.747-752, Boulder, Colorado, 1993. (Also appeared as a AAAI Symposium workshop paper, Raleigh, 1993.)

  81. J. Elgot-Drapkin, S. Kraus, M. Miller, M. Nirkhe and D. Perlis. Vacuum logic. AAAI Fall Symposium on Instantiating Real-World Agents. Raleigh, October 1993.

  82. D. Perlis. Putnam's Theorem and the intentionality machine. One-hour invited lecture, Society for Machines and Mentality, Washington D.C., December 1992.

  83. N. Block, S. Harnad, P. Hayes, and D. Perlis

  84. Virtual symposium on virtual mind. Minds and Machines, vol. 2, pp. 217-238, 1992.

  85. D. Perlis. Memory, mind, and models of self. One-hour invited lecture, Canadian Society for Computational Studies of Intelligence, presented at AI-92 conference, May 1992, Vancouver.

  86. D. Perlis. Languages with self-reference I: Foundations. Invited chapter, Reflexivity: A Source-Book in Self-Reference, S. J. Bartlett (ed.), North-Holland, 1992. (Reprinted from 1985 journal article below.)

  87. D. Perlis. Languages with self-reference II: Knowledge, belief, and modality. Invited chapter, Reflexivity: A Source-Book in Self-Reference, S. J. Bartlett (ed.), North-Holland, 1992. (Reprinted from 1988 journal article below).

  88. D. Perlis. Circumscription. The Encyclopedia of Artificial Intelligence, edited by S. Shapiro. Wiley, 1987, pp. 100-103. Updated for 2nd edition, 1991.

  89. D. Perlis. Nonmonotonic reasoning. The Encyclopedia of Artificial Intelligence, edited by S. Shapiro. Wiley, 1987, pp. 849-853. Updated for 2nd edition, 1991.

  90. J. Elgot-Drapkin, M. Miller, and D. Perlis. Memory, reason, and time: the step-logic approach. Invited chapter, Philosophy and AI: Essays at the Interface, edited by R. Cummins and J. Pollock, MIT Press, 1991.

  91. D. Etherington, S. Kraus, and D. Perlis. Nonmonotonicity and the scope of reasoning. Artificial Intelligence, vol. 52, pp. 221-261, 1991. (Earlier appeared as Institute for Advanced Computer Studies TR-90-56, Computer Science Dept CS-TR-2457, University of Maryland, 1990.)

  92. D. Etherington, S. Kraus, and D. Perlis. Limited scope and circumscriptive reasoning. Invited chapter, Advances in Human and Machine Cognition, vol. 1: the Frame Problem in Artificial Intelligence, K. Ford and P. Hayes (eds.), JAI Press, 1991. (Reprinted from International J. of Expert Systems, special issue on the Frame Problem, Part A. K. Ford and P. Hayes (eds.), vol. 3, pp. 207-217, 1990.)

  93. D. Perlis. Intentionality and defaults. Invited chapter, Advances in Human and Machine Cognition, vol. 1: the Frame Problem in Artificial Intelligence, K. Ford and P. Hayes (eds.), JAI Press, 1991. (Reprinted from 1990 journal paper.)

  94. S. Kraus, M. Nirkhe, and D. Perlis. Fully deadline-coupled planning: one step at a time. Proceedings, sixth Intl Symp on Methodologies for Intelligent Systems, Charlotte, NC, 1991.

  95. M. Miller and D. Perlis. Typicality constants and range defaults: the pros and cons of a cognitive model of default reasoning. Proceedings, Sixth Intl Symp on Methodologies for Intelligent Systems, Charlotte, NC, 1991.

  96. D. Perlis. Logic and AI: a new synthesis? Invited as a main speaker, Stefan Banach International Mathematical Center, Semester on Algebraic Methods in Logic and Their Computer Science Applications, Warsaw, Poland, November 1991.

  97. J. Elgot-Drapkin, M. Miller, and D. Perlis. Stop the world--I want to think. Invited paper, International J. of Intelligent Systems, special issue on Temporal Reasoning, K. Ford and F. Anger (eds.), vol. 6, pp. 443-456, 1991. (Also appeared as Institute for Advanced Computer Studies TR-90-26, Computer Science Dept CS-TR-2415, University of Maryland, 1990.)

  98. D. Perlis. Putting one's foot in one's head--Part I: Why. No\^{us, special issue on Artificial Intelligence and Cognitive Science, W. Rapaport (ed.), vol. 25, 1991, pp. 435-455. (Also appeared as part of Putting one's foot in one's head--Parts I and II. Institute for Advanced Computer Studies TR-91-58, Computer Science Dept CS-TR-2659, University of Maryland, 1991.)

  99. J. Horty, S. Kraus, and D. Perlis. Reasoning about ignorance: A note on the Bush-Gorbachev problem. Fundamenta Informaticae, special issue on Logic for Artificial Intelligence, Z. Ras (ed.), vol. 15, pp. 325-332, 1991.

  100. D. Perlis. The emperor's old hat. (peer commentary) Behavioral and Brain Sciences, vol. 13, 4, pp. 680-681, 1990.

  101. D. Perlis. Thing and thought. Invited chapter, Knowledge Representation and Defeasible Reasoning, edited by H. Kyburg, R. Loui, and G. Carlson. Kluwer, pp. 99-117, 1990.

  102. J. Elgot-Drapkin and D. Perlis. Reasoning situated in time I: basic concepts. J. of Experimental and Theoretical Artificial Intelligence, vol. 2, pp. 75-98, 1990.

  103. D. Perlis. Intentionality and defaults. International J. of Expert Systems, special issue on the Frame Problem, Part B. K. Ford and P. Hayes (eds.), vol. 3, pp. 345-354, 1990. (Also appeared as an invited paper, First International Workshop on Human and Machine Cognition, Pensacola, Florida, May, 1989.)

  104. S. Kraus, M. Nirkhe and D. Perlis. Planning and acting in deadline situations. AAAI-90 Workshop on Automated Planning for Complex Domains, 1990.

  105. S. Kraus, M. Nirkhe, and D. Perlis. Deadline-coupled real-time planning. Proceedings, DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, 1990.

  106. D. Etherington, S. Kraus, and D. Perlis. Nonmonotonicity and the scope of reasoning: preliminary report. Proceedings, AAAI-90, pp. 600-607, 1990.

  107. D. Perlis. Truth and meaning. Artificial Intelligence, vol. 39, pp. 245-250, 1989.

  108. D. Etherington, S. Kraus, and D. Perlis. Limited scope and circumscriptive reasoning. First International Workshop on Human and Machine Cognition, Pensacola, FloridaMay, 1989.

  109. S. Kraus and D. Perlis. Assessing others' knowledge and ignorance. Proceedings, Fourth Intl Symp on Methodologies for Intelligent Systems, Charlotte, North Carolina, 1989.

  110. D. Perlis. Some brief essays on mind. Technical Report 302, Computer Science Department, University of Rochester, 1989

  111. A. Kyburg and D. Perlis. Heidegger and artificial zoology. Annual conference of the Society for Philosophy and Psychology, Tucson, Arizona, April, 1989.

  112. J. Elgot-Drapkin and D. Perlis. Reasoning situated in time I: basic concepts. Institute for Advanced Computer Studies TR-88-29, Computer Science Dept CS-TR-2016, University of Maryland, 1988.

  113. D. Perlis. Names and non-monotonicity. (With S. Kraus.) Institute for Advanced Computer Studies TR-88-84, Computer Science Dept CS-TR-2140, University of Maryland, 1988.

  114. D. Perlis. Thing and thought. Invited paper, Annual conference of the International Society for Exact Philosophy, on Natural Philosophy and Artificial Intelligence: Logic and Language, June, 1988, Rochester, NY.

  115. D. Perlis. Discussion of Cheeseman's ``An inquiry into computer understanding.'' (With L. Kanal.) Computational Intelligence, vol. 4, 1, 1988, pp. 87-89.

  116. D. Perlis. Commonsense set theory. In Meta-level Architectures and Reflection, edited by P. Maes and D. Nardi. North-Holland, 1988, pp. 87-98.

  117. D. Perlis. An overview of meta in logic. Invited survey article, in Meta-level Architectures and Reflection, edited by P. Maes and D. Nardi. North-Holland, 1988, pp. 37-49.

  118. D. Perlis. Languages with self-reference II: knowledge, belief, and modality. Artificial Intelligence, vol. 34, 1988, pp. 179-212. (also appeared as Institute for Advanced Computer Studies TR-87-13, Computer Science Dept CS-TR-1815, University of Maryland, 1987.)

  119. D. Perlis. Autocircumscription. Artificial Intelligence, vol. 36, pp 223-236 1988.. (Also appeared as Institute for Advanced Computer Studies TR-88-28, Computer Science Dept CS-TR-2014, University of Maryland, 1988.)

  120. L. Kanal and )D. Perlis. Uniform accountability for multiple modes of reasoning. International Journal of Approximate Reasoning, special issue on Uncertainty in Artificial Intelligence. T. Levitt (ed.), vol. 2, pp. 233-246, 1988.

  121. D. Perlis. On the consistency of commonsense reasoning. In Readings in Non-Monotonic Reasoning, edited by M. Ginsberg. Morgan Kaufmann, pp. 56-66, 1987.

  122. J. Elgot-Drapkin, M. Miller, and D. Perlis. The two frame problems. Proceedings, Workshop on the Frame Problem, Lawrence, Kansas, April 1987.

  123. J. Elgot-Drapkin, M. Miller, and D. Perlis. Life on a desert island. Proceedings, Workshop on the Frame Problem, Lawrence, Kansas, April 1987.

  124. D. Perlis. How can a program mean? Proceedings, International Joint Conference on Artificial Intelligence, Milan, Italy, August, 1987.

  125. M. Miller and D. Perlis. Proving facts about `I'. Proceedings, International Joint Conference on Artificial Intelligence, Milan, Italy, August, 1987.

  126. D. Perlis. Circumscription as introspection. Proceedings, Second Intl Symp on Methodologies for Intelligent Systems. Charlotte, North Carolina, October, 1987.

  127. D. Perlis. Circumscribing with sets. Artificial Intelligence, vol. 31, pp. 201-211, 1987.

  128. M. Miller and D. Perlis. Proving self-utterances. Journal of Automated Reasoning, vol. 3, pp. 329-338, 1987.

  129. R. Hall and D. Perlis. Intentionality as internality. (peer commentary) Behavioral and Brain Sciences, vol. 9, 1, pp. 151-152, 1986.

  130. J. Drapkin, M. Mille, and D. Perlis. A memory model for real-time commonsense reasoning. Systems Research Center Technical Report, University of Maryland, 1986.

  131. J. Drapkin and D. Perlis. Analytic completeness in SL_0. Comp. Sci. Technical Report, University of Maryland, 1986.

  132. D. Perlis. What is and what isn't. Invited paper, 12th Annual Meeting, Society for Philosophy and Psychology, Johns Hopkins, June, 1986.

  133. J. Drapkin and D. Perlis. Step-logics: an alternative approach to limited reasoning. Proceedings, 7th European Conference on Artificial Intelligence, Brighton, England, July 1986.

  134. D. Perlis. Self-reference, knowledge, belief, and modality. Proceedings, AAAI-86, Philadelphia; nominated for Publisher's Prize, 1986.

  135. J. Minker, D. Perlis, and K. Subramanian. A parallel self-modifying default reasoning system. Proceedings, AAAI-86, Philadelphia 1986.

  136. J. Drapkin and D. Perlis. A preliminary excursion into step-logics. Proceedings, Intl Symp on Methodologies for Intelligent Systems, Knoxville, Tennessee, October 1986.

  137. D. Perlis. Commonsense set theory. Proceedings, Workshop on Meta-level Architectures and Reflection, Sardinia, October 1986.

  138. D. Perlis. An overview of meta in logic. Proceedings, Workshop on Meta-level Architectures and Reflection, Sardinia, October 1986.

  139. J. Minker and D. Perlis. Completeness results for circumscription. Artificial Intelligence, vol. 28, pp. 29-42, 1986. (Also appearwd as Computer Science Department Technical Report, University of Maryland, 1985.)

  140. D. Perlis. On the consistency of commonsense reasoning. Computational Intelligence, vol. 2, pp. 180-190, 1986.

  141. D. Perlis. Issues in commonsense reasoning. Proceedings, Technical Symposium on Intelligent Systems, (invited paper), ACM, June 1985.

  142. D. Perlis. On the consistency of commonsense reasoning. Computer Science Department Technical Report, University of Maryland, 1985.

  143. J. Drapkin, M. Miller, and D. Perlis. Real-time default reasoning, relevance, and memory models. Systems Research Center Technical Report, University of Maryland, 1985.

  144. M. Miller and D. Perlis. A commentary on the literature of self-reference. Systems Research Center Technical Report, University of Maryland, 1985.

  145. J. Drapkin, M. Miller, and D. Perlis. Default handling: consistency before and after. Systems Research Center Technical Report, University of Maryland, 1985.

  146. J. Minker and D. Perlis. Circumscription: completeness, computation, and commonsense. Workshop on Logic and Computer Science, Lexington, Kentucky, June 1985.

  147. D. Perlis. Languages with self-reference I: foundations. Artificial Intelligence, vol. 25, pp. 301-322, 1985. (Reviewed in Computing Reviews, May 1986, pp. 266-267. Listed in D. Bobrow's 1993 compilation of the most frequently-cited papers in Artificial Intelligence from 1970 to 1991. Central result was later selected for use in KIF: Knowledge Interchange Format, a document of the Interlingua Working Group of the ARPA Knowledge Sharing Effort, printed as a report of the Logic Group, CS Dept, Stanford University).

  148. J. Minker and D. Perlis. Computing protected circumscription. Journal of Logic Programming, vol. 4, pp. 235-249, 1985.

  149. J. Minker and D. Perlis. Applications of protected circumscription. Proceedings, Seventh Conference on Automated Deduction, May 1984. (Also appeared as Lecture Notes in Computer Science, Springer-Verlag, 1984.)

  150. J. Minker and D. Perlis. Protected circumscription. Proceedings, Workshop on Non-Monotonic Reasoning, New Paltz, October 1984.

  151. D. Perlis. Non-monotonicity and real-time reasoning. Proceedings, Workshop on Non-Monotonic Reasoning, New Paltz, October 1984.

  152. D. Perlis. Topics in the semantics of circumscription. Week on Logic and Artificial Intelligence, University of Maryland, October 1984.

  153. D. Perlis. Belief level way stations. (peer commentary) Behavioral and Brain Sciences, vol. 7, 4, pp. 639-640, 1984.

  154. D. Perlis. True beliefs. Computer Science Department Technical Report, University of Maryland, 1984.

  155. D. Perlis. A magical inference number. Manuscript, 1983.

  156. D. Perlis Whose category error? (peer commentary) Behavioral and Brain Sciences, vol. 6, 4, pp. 606-607, 1983.

  157. D. Perlis. A Tarskian truth definition. Manuscript, 1982.

  158. D. Perlis. Truth as normal-order principle. Manuscript, 1982.

  159. A. Frisch and D. Perlis. A re-evaluation of story grammars. Cognitive Science, vol. 5, pp. 79-86, 1981.

  160. D. Perlis. Language, computation, and reality. PhD dissertation (Computer Science), University of Rochester (advisor: James Allen). 1981.

  161. D. Perlis and R. Wilson. Elementos del calculo integral y diferencial. Calculus textbook in Spanish, Compania Editorial Continental, Mexico, 191 pages, ISBN-968-26-0075-8, 1979.

  162. D. Perlis. Truth and syntax. Technical Report, Computer Science Department, University of Rochester, 1979. (Revised as Truth, syntax, and reason, June and August, 1980.)

  163. D. Hajek, D. Perlis, and R. Wilson. Distance spaces and natural convexity. Technical Report, National University of Mexico, 1978

  164. L. Delsanto and D. Perlis. A heuristic calculation of the utility of income. University of Puerto Rico, 1978.

  165. D. Perlis and R. Sarraga. Physical theory and the divisibility of space and time. University of Puerto Rico, 1978.

  166. A. Mann and D. Perlis. Utility functions, public goods, and income redistribution. Public Finance Quarterly, vol.5, pp.9-22, 1977.

  167. D. Perlis. Group algebras and model theory. Illinois Journal of Mathematics, vol.20, pp. 298-305, 1976.

  168. D. Perlis. An application of compiler simulation at the source language level. The Computer Journal, vol.19, p.90, 1976.

  169. D. Perlis. An extension of Ackermann's set theory. J. Symbolic Logic, v37, pp 703-704, 1972.

  170. D. Perlis. Ackermann's Set Theory and Related Topics. PhD dissertation (Mathematics), NYU (advisor: Martin Davis). 1972.

  171. D. Perlis. A quick version of Godel's theorem. Presented at AMS Meeting, New York; abstracted in AMS Notices, Feb. 1972.