Jon Doyle Chirkova, R., Doyle, J., & Reutter, J. (2021). Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse. ACM JOURNAL OF DATA AND INFORMATION QUALITY, 13(3). https://doi.org/10.1145/3428154 Jiang, J., Chirkova, R., Doyle, J., & Rosenthal, A. (2018). An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control. In L. Jia & C. Morisset (Eds.), Workshop on Foundations of Computer Security (FCS 2018). Retrieved from https://www.andrew.cmu.edu/user/liminjia/events/fcs2018/papers/s21.pdf Jiang, J., Chirkova, R., Doyle, J., & Rosenthal, A. (2018). Poster: Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control. SACMAT'18: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON ACCESS CONTROL MODELS & TECHNOLOGIES, pp. 217–219. https://doi.org/10.1145/3205977.3208950 Chirkova, R., Doyle, J., & Reutter, J. L. (2018). The data readiness problem for relational databases. CEUR Workshop Proceedings, 2100. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-85048411064&partnerID=MN8TOARS Argenta, C., & Doyle, J. (2017). Discrete multi-agent plan recognition: Recognizing teams, goals, and plans from action sequences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 212–228). https://doi.org/10.1007/978-3-319-53354-4_12 Argenta, C., & Doyle, J. (2017). Probabilistic multi-agent plan recognition as planning (P-Maprap): Recognizing teams, goals, and plans from action sequences. ICAART 2017 - Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2, 575–582. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-85068733514&partnerID=MN8TOARS Ajmeri, N., Jiang, J., Chirkova, R., Doyle, J., & Singh, M. P. (2016). Coco: Runtime reasoning about conflicting commitments. IJCAI International Joint Conference on Artificial Intelligence, 2016-January, 17–23. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-85006107006&partnerID=MN8TOARS Beam, A. L., Ghosh, S. K., & Doyle, J. (2016). Fast Hamiltonian Monte Carlo Using GPU Computing. JOURNAL OF COMPUTATIONAL AND GRAPHICAL STATISTICS, 25(2), 536–548. https://doi.org/10.1080/10618600.2015.1035724 Argenta, C., & Doyle, J. (2016). Multi-agent plan recognition as planning (MAPRAP). ICAART 2016 - Proceedings of the 8th International Conference on Agents and Artificial Intelligence, 2, 141–148. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-84969262826&partnerID=MN8TOARS Lauren, B., & Pigg, S. (2016). Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making. 2016 ieee international professional communication conference (ipcc). https://doi.org/10.1109/ipcc.2016.7740535 Beam, A. L., Motsinger-Reif, A. A., & Doyle, J. (2015). An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics. BioData Mining, 8(1). https://doi.org/10.1186/s13040-015-0039-3 Alborzi, F., Chirkova, R., Doyle, J., & Fathi, Y. (2015). Determining Query Readiness for Structured Data. In Big Data Analytics and Knowledge Discovery (Vol. 9263, pp. 3–14). https://doi.org/10.1007/978-3-319-22729-0_1 Alborzi, F., Chirkova, R., Doyle, J., & Fathi, Y. (2015). Determining query readiness for structured data. Big data analytics and knowledge discovery, 9263, 3–14. Du, H., Narron, B., Ajmeri, N., Berglund, E., Doyle, J., & Singh, M. P. (2015). Understanding sanction under variable observability in a secure, collaborative environment. Proceedings of the 2015 Symposium and Bootcamp on the Science of Security - HotSoS '15, 21-22-April-2015, 12:1–12:10. https://doi.org/10.1145/2746194.2746206 Beam, A. L., Motsinger-Reif, A., & Doyle, J. (2014). Bayesian neural networks for detecting epistasis in genetic association studies. BMC Bioinformatics, 15(1), 368. https://doi.org/10.1186/s12859-014-0368-0 Doyle, J. (2013). Mechanics and Mental Change. Evolution of Semantic Systems, pp. 127–150. https://doi.org/10.1007/978-3-642-34997-3_7 Doyle, J. (2013). Mechanics and mental change. In Evolution of Semantic Systems (pp. 127–150). https://doi.org/10.1007/978-3-642-34997-3 Wicker, A. W., & Doyle, J. (2012). Leveraging Multiple Mechanisms for Information Propagation. Advanced Agent Technology, pp. 1–2. https://doi.org/10.1007/978-3-642-27216-5_1 Wicker, A. W., & Doyle, J. (2012). Leveraging multiple mechanisms for information propagation. Advanced agent technology, 7068, 1–2. Gopalan, R., Antón, A., & Doyle, J. (2012). UCON LEGAL. Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236. https://doi.org/10.1145/2110363.2110391 McGeachie, M., & Doyle, J. (2011). The local geometry of multiattribute tradeoff preferences. ARTIFICIAL INTELLIGENCE, 175(7-8), 1122–1152. https://doi.org/10.1016/j.artint.2010.11.014 Doyle, J. (2008). Cognitive mechanics: Natural intelligence beyond biology and computation. AAAI Fall Symposium - Technical Report, FS-08-06, 35–37. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-77952157352&partnerID=MN8TOARS Wicker, A. W., & Doyle, J. (2008). Comparing preferences expressed by cp-networks (extended abstract). AAAI Workshop - Technical Report, WS-08-09, 128–133. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-66149165890&partnerID=MN8TOARS Breaux, T. D., Anton, A. I., & Doyle, J. (2008). Semantic Parameterization: A Process for Modeling Domain Descriptions. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18(2). https://doi.org/10.1145/1416563.1416565 Doyle, J., Goldsmith, J., Junker, U., & Lang, J. (2007). AAAI Workshop - Technical Report: Preface. AAAI Workshop - Technical Report, WS-07-10. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-51849090045&partnerID=MN8TOARS Anand, S. S., Bahls, D., Burghart, C. R., Burstein, M., Chen, H., Collins, J., … Wellman, M. (2007). AAAI-07 workshop reports. AI Magazine, 28(4), 119–128. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-39049150323&partnerID=MN8TOARS Wicker, A. W., & Doyle, J. (2007). Interest-matching comparisons using CP-nets. Proceedings of the National Conference on Artificial Intelligence, 2, 1914–1915. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-36348991910&partnerID=MN8TOARS Doyle, J. (2006). Attitudes, outlook, and memory. Extending Mechanics to Minds, pp. 251–275. https://doi.org/10.1017/cbo9780511546952.012 Doyle, J. (2006). Bibliography. Extending Mechanics to Minds, pp. 429–442. https://doi.org/10.1017/cbo9780511546952.023 Doyle, J. (2006). Dynamics. Extending Mechanics to Minds, pp. 135–172. https://doi.org/10.1017/cbo9780511546952.008 Doyle, J. (2006). Effectiveness. Extending Mechanics to Minds, pp. 392–398. https://doi.org/10.1017/cbo9780511546952.019 Doyle, J. (2006). Extending Mechanics to Minds. In Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics (Vol. 9780521861977, pp. 1–453). https://doi.org/10.1017/cbo9780511546952 Doyle, J. (2006). Extending mechanics to minds: The mechanical foundations of psychology and economics. Cambridge; New York: Cambridge University Press. Doyle, J. (2006). Finitism. Extending Mechanics to Minds, pp. 399–404. https://doi.org/10.1017/cbo9780511546952.020 Doyle, J. (2006). Kinematics. Extending Mechanics to Minds, pp. 88–134. https://doi.org/10.1017/cbo9780511546952.007 Doyle, J. (2006). Learning. Extending Mechanics to Minds, pp. 326–345. https://doi.org/10.1017/cbo9780511546952.015 Doyle, J. (2006). Materialism. Extending Mechanics to Minds, pp. 373–378. https://doi.org/10.1017/cbo9780511546952.017 Doyle, J. (2006). Mechanical intelligence. Extending Mechanics to Minds, pp. 3–9. https://doi.org/10.1017/cbo9780511546952.003 Doyle, J. (2006). Mental varieties. Extending Mechanics to Minds, pp. 225–240. https://doi.org/10.1017/cbo9780511546952.010 Doyle, J. (2006). Mind and body. Extending Mechanics to Minds, pp. 241–250. https://doi.org/10.1017/cbo9780511546952.011 Doyle, J. (2006). Outline of the book. Extending Mechanics to Minds, pp. xix-xxii. https://doi.org/10.1017/cbo9780511546952.002 Doyle, J. (2006). Preface. Extending Mechanics to Minds, pp. xi-xviii. https://doi.org/10.1017/cbo9780511546952.001 Doyle, J. (2006). Rationality. Extending Mechanics to Minds, pp. 295–325. https://doi.org/10.1017/cbo9780511546952.014 Doyle, J. (2006). Reasoning. Extending Mechanics to Minds, pp. 276–294. https://doi.org/10.1017/cbo9780511546952.013 Doyle, J. (2006). Reductionism. Extending Mechanics to Minds, pp. 379–391. https://doi.org/10.1017/cbo9780511546952.018 Doyle, J. (2006). Reflections. Extending Mechanics to Minds, pp. 407–424. https://doi.org/10.1017/cbo9780511546952.021 Doyle, J. (2006). System of Notation. Extending Mechanics to Minds, pp. 425–428. https://doi.org/10.1017/cbo9780511546952.022 Doyle, J. (2006). The character of mechanical law. Extending Mechanics to Minds, pp. 173–222. https://doi.org/10.1017/cbo9780511546952.009 Doyle, J. (2006). Uncertainty. Extending Mechanics to Minds, pp. 346–370. https://doi.org/10.1017/cbo9780511546952.016 Doyle, J. (2006). What is mechanics? Extending Mechanics to Minds, pp. 71–87. https://doi.org/10.1017/cbo9780511546952.006 Doyle, J. (2006). Why mechanics now? Extending Mechanics to Minds, pp. 47–68. https://doi.org/10.1017/cbo9780511546952.005 Junker, U., Delgrande, J., Doyle, J., Rossi, F., & Schaub, T. (2004). Computational intelligence: Preface. Computational Intelligence, 20(2), 109–110. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-2442596050&partnerID=MN8TOARS Doyle, J. (2004, May). Prospects for preferences. COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 111–136. https://doi.org/10.1111/j.0824-7935.2004.00233.x McGeachie, M., & Doyle, J. (2004, May). Utility functions for ceteris paribus preferences. COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 158–217. https://doi.org/10.1111/j.0824-7935.2004.00235.x Long, W. J., Doyle, J., Burke, G., & Szolovits, P. (2003). Detection of intrusion across multiple sensors. In P. K. Willett & T. Kirubarajan (Eds.), System Diagnosis and Prognosis: Security and Condition Monitoring Issues III (Vol. 5107, pp. 141–149). https://doi.org/10.1117/12.488478 Doyle, J., & McGeachie, M. (2003). Exercising Qualitative Control in Autonomous Adaptive Survivable Systems. Self-Adaptive Software: Applications, pp. 158–170. https://doi.org/10.1007/3-540-36554-0_12 Doyle, J., & McGeachie, M. (2003). Exercising qualitative control in autonomous adaptive survivable systems. In P. R. R. Laddaga & H. Shrobe (Eds.), Self-adaptive software: Applications: Second International Workshop, IWSAS 2001, Balatonfu?red, Hungary, May 17-19, 2001: Revised papers (Vol. 2614, pp. 158–170). Berlin; New York: Springer. Doyle, J., & McGeachie, M. (2003). Exercising qualitative control in autonomous adaptive survivable systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2614, pp. 158–170). Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-35248852939&partnerID=MN8TOARS McGeachie, M., & Doyle, J. (2002). Efficient utility functions for ceteris paribus preferences. Proceedings of the National Conference on Artificial Intelligence, 279–284. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0036926279&partnerID=MN8TOARS Doyle, J. (2002, November). What is Church's thesis? An outline. MINDS AND MACHINES, Vol. 12, pp. 519–520. https://doi.org/10.1023/A:1021126521437 Shrobe, H., & Doyle, J. (2001). Active trust management for autonomous adaptive survivable systems. In H. S. P. Robertson & R. Laddaga (Eds.), Self-adaptive software: First international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000: Revised papers. Berlin; New York: Springer. Shrobe, H., & Doyle, J. (2000). Active Trust Management for Autonomous Adaptive Survivable Systems (ATM’s for AAss’s). Self-Adaptive Software, pp. 40–49. https://doi.org/10.1007/3-540-44584-6_4 Doyle, J., & Thomason, R. H. (1999). Background to qualitative decision theory. AI Magazine, 20(2), 55–68. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0032641691&partnerID=MN8TOARS Doyle, J., & Dean, T. (1997). Strategic directions in artificial intelligence. AI Magazine, 18(1), 87–101. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0031083786&partnerID=MN8TOARS Doyle, J. (1996). Cleaving (unto) artificial intelligence. CSUR, 28(4es), 4-es. https://doi.org/10.1145/242224.242230 Wegner, P., & Doyle, J. (1996). Editorial: Strategic directions in computing research. CSUR, 28(4), 565–574. https://doi.org/10.1145/242223.242227 Doyle, J., & Dean, T. (1996). Strategic directions in artificial intelligence. CSUR, 28(4), 653–670. https://doi.org/10.1145/242223.242268 Doyle, J. (1995). A truth maintenance system. In Computation and intelligence: Collected readings. Menlo Park, CA: AAAI Press. Doyle, J. (1994). INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE.” Computational Intelligence, 10(1), 46–48. https://doi.org/10.1111/j.1467-8640.1994.tb00145.x Doyle, J., Sandewall, E., & Torasso, P. (1994). Preface. Principles of Knowledge Representation and Reasoning, p. ix. https://doi.org/10.1016/b978-1-4832-1452-8.50096-8 Doyle, J. (1994). Reasoned assumptions and rational psychology. Fundamenta Informaticae, 20(1-3), 35–73. https://doi.org/10.3233/FI-1994-201232 Sacks, E. P., & Doyle, J. (1992). EPILEGOMENON. Computational Intell, 8(2), 326–335. https://doi.org/10.1111/j.1467-8640.1992.tb00369.x Wellman, M. P., & Doyle, J. (1992). Modular Utility Representation for Decision-Theoretic Planning. Artificial Intelligence Planning Systems, pp. 236–242. https://doi.org/10.1016/b978-0-08-049944-4.50033-1 Wellman, M. P., & Doyle, J. (1992). Modular utility representation for decision-theoretic planning. 236–242. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0026963728&partnerID=MN8TOARS Sacks, E. P., & Doyle, J. (1992). PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS. Computational Intell, 8(2), 187–209. https://doi.org/10.1111/j.1467-8640.1992.tb00344.x Doyle, J. (1992). RATIONALITY AND ITS ROLES IN REASONING. Computational Intell, 8(2), 376–409. https://doi.org/10.1111/j.1467-8640.1992.tb00371.x DOYLE, J., & WELLMAN, M. P. (1992). Rational Self-Government and Universal Default Logics. Economics and Cognitive Science, pp. 5–13. https://doi.org/10.1016/b978-0-08-041050-0.50009-1 Doyle, J., & Wellman, M. P. (1992). Rational self-government and universal default logics. In P. Bourgine & B. Walliser (Eds.), Economics and cognitive science. Oxford: Pergamon Press. Doyle, J. (1992). Reason maintenance and belief revision: Foundations versus coherence theories (P. Gärdenfors, Ed.). Belief Revision, pp. 29–51. https://doi.org/10.1017/cbo9780511526664.002 Doyle, J., Shoham, Y., & Wellman, M. P. (1991). A logic of relative desire. Methodologies for Intelligent Systems, pp. 16–31. https://doi.org/10.1007/3-540-54563-8_65 Doyle, J., & Wellman, M. P. (1991). Impediments to universal preference-based default theories. Artificial Intelligence, 49(1-3), 97–128. https://doi.org/10.1016/0004-3702(91)90007-7 DOYLE, J. O. N., & SACKS, E. L. I. S. H. A. P. (1991). Markov analysis of qualitative dynamics. Computational Intell, 7(1), 1–10. https://doi.org/10.1111/j.1467-8640.1991.tb00330.x Doyle, J. (1991). Rational control of reasoning in artificial intelligence. The Logic of Theory Change, pp. 19–48. https://doi.org/10.1007/bfb0018415 Doyle, J., & Patil, R. S. (1991). Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48(3), 261–297. https://doi.org/10.1016/0004-3702(91)90029-j Doyle, J. (1990). Book review: Philosophical Logic and Artificial Intelligence. Edited by Richmond H. Thomason (Kluwer Academic Publishers, 1989). SIGART Bull., 2(1), 77–78. https://doi.org/10.1145/122388.1062340 Doyle, J. (1990). Perceptive questions about computation and cognition. Behav Brain Sci, 13(04), 661. https://doi.org/10.1017/s0140525x00080754 Doyle, J. (1989). Constructive belief and rational representation. Computational Intell, 5(1), 1–11. https://doi.org/10.1111/j.1467-8640.1989.tb00311.x Doyle, J. (1987). Admissible State Semantics for Representational Systems. The Knowledge Frontier, pp. 174–186. https://doi.org/10.1007/978-1-4612-4792-0_8 Doyle, J. (1987). Logic, rationality, and rational psychology. Computational Intell, 3(1), 175–176. https://doi.org/10.1111/j.1467-8640.1987.tb00190.x Doyle, J. (1985). Circumscription and implicit definability. J Autom Reasoning, 1(4), 391–405. https://doi.org/10.1007/bf00244277 Doyle, J. (1985). Expert Systems and the “Myth” of Symbolic Reasoning. IEEE Transactions on Software Engineering, SE-11(11), 1386–1390. https://doi.org/10.1109/TSE.1985.231886 Doyle, J. (1983). Admissible State Semantics for Representational Systems. Computer, Vol. 16, pp. 119–123. https://doi.org/10.1109/MC.1983.1654209 Doyle, J. (1983). INS AND OUTS OF REASON MAINTENANCE. 1, 349–351. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0020909766&partnerID=MN8TOARS Doyle, J. (1983). SOCIETY OF MIND - MULTIPLE PERSPECTIVES, REASONED ASSUMPTIONS, AND VIRTUAL COPIES. 1, 309–314. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0020892425&partnerID=MN8TOARS Doyle, J. (1981). A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828. Readings in Artificial Intelligence, pp. 496–516. https://doi.org/10.1016/b978-0-934613-03-3.50039-8 Doyle, J. (1981). A model for deliberation, action, and introspection. SIGART Bull., 1(75), 10–10. https://doi.org/10.1145/1056748.1056749 Doyle, J., & London, P. (1980). A selected descriptor-indexed bibliography to the literature on belief revision. SIGART Bull., 4(71), 7–22. https://doi.org/10.1145/1056441.1056442 McDermott, D., & Doyle, J. (1980). Non-monotonic logic I. Artificial Intelligence, 13(1-2), 41–72. https://doi.org/10.1016/0004-3702(80)90012-0 Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12(3), 231–272. https://doi.org/10.1016/0004-3702(79)90008-0 Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1979). EXPLICIT CONTROL OF REASONING. Energy Technology Review, 1, 93–116. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0018585420&partnerID=MN8TOARS Doyle, J. (1979). GLIMPSE OF TRUTH MAINTENANCE. Energy Technology Review, 1, 117–135. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0018586473&partnerID=MN8TOARS Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977). AMORD explicit control of reasoning. SIGPLAN Not., 12(8), 116–125. https://doi.org/10.1145/872734.806940 Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977). AMORD explicit control of reasoning. SIGART Bull., 8(64), 116–125. https://doi.org/10.1145/872736.806940 Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977). AMORD explicit control of reasoning. Proceedings of the 1977 symposium on Artificial intelligence and programming languages -, 116–125. https://doi.org/10.1145/800228.806940 Doyle, J., & Rivest, R. L. (1976). Linear expected time of a simple union-find algorithm. Information Processing Letters, 5(5), 146–148. https://doi.org/10.1016/0020-0190(76)90061-2