Jon Doyle

Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse

ACM JOURNAL OF DATA AND INFORMATION QUALITY, 13(3).

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). https://www.andrew.cmu.edu/user/liminjia/events/fcs2018/papers/s21.pdf

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.

The data readiness problem for relational databases

CEUR Workshop Proceedings, 2100. http://www.scopus.com/inward/record.url?eid=2-s2.0-85048411064&partnerID=MN8TOARS

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).

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. http://www.scopus.com/inward/record.url?eid=2-s2.0-85068733514&partnerID=MN8TOARS

Coco: Runtime reasoning about conflicting commitments

IJCAI International Joint Conference on Artificial Intelligence, 2016-January, 17–23. http://www.scopus.com/inward/record.url?eid=2-s2.0-85006107006&partnerID=MN8TOARS

Fast Hamiltonian Monte Carlo Using GPU Computing

JOURNAL OF COMPUTATIONAL AND GRAPHICAL STATISTICS, 25(2), 536–548.

Multi-agent plan recognition as planning (MAPRAP)

ICAART 2016 - Proceedings of the 8th International Conference on Agents and Artificial Intelligence, 2, 141–148. http://www.scopus.com/inward/record.url?eid=2-s2.0-84969262826&partnerID=MN8TOARS

Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making

2016 ieee international professional communication conference (ipcc).

An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics

BioData Mining, 8(1).

Determining Query Readiness for Structured Data

In Big Data Analytics and Knowledge Discovery (Vol. 9263, pp. 3–14).

Determining query readiness for structured data

Big data analytics and knowledge discovery, 9263, 3–14.

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.

Bayesian neural networks for detecting epistasis in genetic association studies

BMC Bioinformatics, 15(1), 368.

Mechanics and Mental Change

Evolution of Semantic Systems, pp. 127–150.

Mechanics and mental change

In Evolution of Semantic Systems (pp. 127–150).

Leveraging Multiple Mechanisms for Information Propagation

Advanced Agent Technology, pp. 1–2.

Leveraging multiple mechanisms for information propagation

Advanced agent technology, 7068, 1–2.

UCON LEGAL

Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.

The local geometry of multiattribute tradeoff preferences

ARTIFICIAL INTELLIGENCE, 175(7-8), 1122–1152.

Cognitive mechanics: Natural intelligence beyond biology and computation

AAAI Fall Symposium - Technical Report, FS-08-06, 35–37. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952157352&partnerID=MN8TOARS

Comparing preferences expressed by cp-networks (extended abstract)

AAAI Workshop - Technical Report, WS-08-09, 128–133. http://www.scopus.com/inward/record.url?eid=2-s2.0-66149165890&partnerID=MN8TOARS

Semantic Parameterization: A Process for Modeling Domain Descriptions

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18(2).

AAAI Workshop - Technical Report: Preface

AAAI Workshop - Technical Report, WS-07-10. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849090045&partnerID=MN8TOARS

AAAI-07 workshop reports

AI Magazine, 28(4), 119–128. http://www.scopus.com/inward/record.url?eid=2-s2.0-39049150323&partnerID=MN8TOARS

Interest-matching comparisons using CP-nets

Proceedings of the National Conference on Artificial Intelligence, 2, 1914–1915. http://www.scopus.com/inward/record.url?eid=2-s2.0-36348991910&partnerID=MN8TOARS

Attitudes, outlook, and memory

Extending Mechanics to Minds, pp. 251–275.

Bibliography

Extending Mechanics to Minds, pp. 429–442.

Dynamics

Extending Mechanics to Minds, pp. 135–172.

Effectiveness

Extending Mechanics to Minds, pp. 392–398.

Extending Mechanics to Minds

Extending mechanics to minds: The mechanical foundations of psychology and economics

In Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics (Vol. 9780521861977, pp. 1–453).

Finitism

Extending Mechanics to Minds, pp. 399–404.

Kinematics

Extending Mechanics to Minds, pp. 88–134.

Learning

Extending Mechanics to Minds, pp. 326–345.

Materialism

Extending Mechanics to Minds, pp. 373–378.

Mechanical intelligence

Extending Mechanics to Minds, pp. 3–9.

Mental varieties

Extending Mechanics to Minds, pp. 225–240.

Mind and body

Extending Mechanics to Minds, pp. 241–250.

Outline of the book

Extending Mechanics to Minds, pp. xix-xxii.

Preface

Extending Mechanics to Minds, pp. xi-xviii.

Rationality

Extending Mechanics to Minds, pp. 295–325.

Reasoning

Extending Mechanics to Minds, pp. 276–294.

Reductionism

Extending Mechanics to Minds, pp. 379–391.

Reflections

Extending Mechanics to Minds, pp. 407–424.

System of Notation

Extending Mechanics to Minds, pp. 425–428.

The character of mechanical law

Extending Mechanics to Minds, pp. 173–222.

Uncertainty

Extending Mechanics to Minds, pp. 346–370.

What is mechanics?

Extending Mechanics to Minds, pp. 71–87.

Why mechanics now?

Extending Mechanics to Minds, pp. 47–68.

Computational intelligence: Preface

Computational Intelligence, 20(2), 109–110. http://www.scopus.com/inward/record.url?eid=2-s2.0-2442596050&partnerID=MN8TOARS

Prospects for preferences

Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 111–136.

Utility functions for ceteris paribus preferences

McGeachie, M., & Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 158–217.

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).

Exercising Qualitative Control in Autonomous Adaptive Survivable Systems

Self-Adaptive Software: Applications, pp. 158–170.

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.

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). http://www.scopus.com/inward/record.url?eid=2-s2.0-35248852939&partnerID=MN8TOARS

Efficient utility functions for ceteris paribus preferences

Proceedings of the National Conference on Artificial Intelligence, 279–284. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036926279&partnerID=MN8TOARS

What is Church's thesis? An outline

Doyle, J. (2002, November). MINDS AND MACHINES, Vol. 12, pp. 519–520.

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.

Active Trust Management for Autonomous Adaptive Survivable Systems (ATM’s for AAss’s)

Self-Adaptive Software, pp. 40–49.

Background to qualitative decision theory

AI Magazine, 20(2), 55–68. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032641691&partnerID=MN8TOARS

Strategic directions in artificial intelligence

AI Magazine, 18(1), 87–101. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031083786&partnerID=MN8TOARS

Cleaving (unto) artificial intelligence

CSUR, 28(4es), 4-es.

Editorial: Strategic directions in computing research

CSUR, 28(4), 565–574.

Strategic directions in artificial intelligence

CSUR, 28(4), 653–670.

A truth maintenance system

In Computation and intelligence: Collected readings. Menlo Park, CA: AAAI Press.

INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE”

INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE.” Computational Intelligence, 10(1), 46–48.

Preface

Principles of Knowledge Representation and Reasoning, p. ix.

Reasoned assumptions and rational psychology

Fundamenta Informaticae, 20(1-3), 35–73.

EPILEGOMENON

Computational Intell, 8(2), 326–335.

Modular Utility Representation for Decision-Theoretic Planning

Artificial Intelligence Planning Systems, pp. 236–242.

Modular utility representation for decision-theoretic planning

236–242. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026963728&partnerID=MN8TOARS

PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS

Computational Intell, 8(2), 187–209.

RATIONALITY AND ITS ROLES IN REASONING

Computational Intell, 8(2), 376–409.

Rational Self-Government and Universal Default Logics

Economics and Cognitive Science, pp. 5–13.

Rational self-government and universal default logics

In P. Bourgine & B. Walliser (Eds.), Economics and cognitive science. Oxford: Pergamon Press.

Reason maintenance and belief revision: Foundations versus coherence theories

(P. Gärdenfors, Ed.). Belief Revision, pp. 29–51.

A logic of relative desire

Methodologies for Intelligent Systems, pp. 16–31.

Impediments to universal preference-based default theories

Artificial Intelligence, 49(1-3), 97–128.

Markov analysis of qualitative dynamics

Computational Intell, 7(1), 1–10.

Rational control of reasoning in artificial intelligence

The Logic of Theory Change, pp. 19–48.

Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services

Artificial Intelligence, 48(3), 261–297.

Book review: Philosophical Logic and Artificial Intelligence. Edited by Richmond H. Thomason (Kluwer Academic Publishers, 1989)

SIGART Bull., 2(1), 77–78.

Perceptive questions about computation and cognition

Behav Brain Sci, 13(04), 661.

Constructive belief and rational representation

Computational Intell, 5(1), 1–11.

Admissible State Semantics for Representational Systems

The Knowledge Frontier, pp. 174–186.

Logic, rationality, and rational psychology

Computational Intell, 3(1), 175–176.

Circumscription and implicit definability

J Autom Reasoning, 1(4), 391–405.

Expert Systems and the “Myth” of Symbolic Reasoning

IEEE Transactions on Software Engineering, SE-11(11), 1386–1390.

Admissible State Semantics for Representational Systems

Computer, Vol. 16, pp. 119–123.

INS AND OUTS OF REASON MAINTENANCE.

1, 349–351. http://www.scopus.com/inward/record.url?eid=2-s2.0-0020909766&partnerID=MN8TOARS

SOCIETY OF MIND - MULTIPLE PERSPECTIVES, REASONED ASSUMPTIONS, AND VIRTUAL COPIES.

1, 309–314. http://www.scopus.com/inward/record.url?eid=2-s2.0-0020892425&partnerID=MN8TOARS

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.

A model for deliberation, action, and introspection

SIGART Bull., 1(75), 10–10.

A selected descriptor-indexed bibliography to the literature on belief revision

SIGART Bull., 4(71), 7–22.

Non-monotonic logic I

Artificial Intelligence, 13(1-2), 41–72.

A truth maintenance system

Artificial Intelligence, 12(3), 231–272.

EXPLICIT CONTROL OF REASONING.

Energy Technology Review, 1, 93–116. http://www.scopus.com/inward/record.url?eid=2-s2.0-0018585420&partnerID=MN8TOARS

GLIMPSE OF TRUTH MAINTENANCE.

Energy Technology Review, 1, 117–135. http://www.scopus.com/inward/record.url?eid=2-s2.0-0018586473&partnerID=MN8TOARS

AMORD explicit control of reasoning

SIGPLAN Not., 12(8), 116–125.

AMORD explicit control of reasoning

SIGART Bull., 8(64), 116–125.

AMORD explicit control of reasoning

Proceedings of the 1977 symposium on Artificial intelligence and programming languages -, 116–125.

Linear expected time of a simple union-find algorithm

Information Processing Letters, 5(5), 146–148.