Works (105)

Updated: July 5th, 2023 15:59

2021 journal article

Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse

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

By: R. Chirkova n, J. Doyle n & J. Reutter*

author keywords: Data and information quality; data integration in Big Data; data cleaning in Big Data; Big Data quality and analytics; Big Data quality in business process; Big Data quality management processes, frameworks and models
Sources: Web Of Science, ORCID
Added: February 21, 2022

2018 conference paper

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

By: J. Jiang, R. Chirkova, J. Doyle & A. Rosenthal

Ed(s): L. Jia & C. Morisset

Source: ORCID
Added: January 7, 2021

2018 article

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.

By: J. Jiang n, R. Chirkova n, J. Doyle n & A. Rosenthal*

author keywords: Attribute-based access control; security; policy formalism; logical models
Sources: Web Of Science, ORCID
Added: August 12, 2019

2018 conference paper

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

By: R. Chirkova, J. Doyle & J. Reutter

Source: ORCID
Added: December 6, 2019

2017 book

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

By: C. Argenta n & J. Doyle n

author keywords: Multi-agent systems; Plan recognition
Source: ORCID
Added: December 6, 2019

2017 conference paper

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

By: C. Argenta & J. Doyle

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2016 conference paper

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

By: N. Ajmeri, J. Jiang, R. Chirkova, J. Doyle & M. Singh

Source: ORCID
Added: December 6, 2019

2016 journal article

Fast Hamiltonian Monte Carlo Using GPU Computing

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

By: A. Beam n, S. Ghosh* & J. Doyle*

author keywords: GPU; Hamiltonian Monte Carlo; MCMC; Multinomial regression
Sources: Web Of Science, ORCID
Added: August 6, 2018

2016 conference paper

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

By: C. Argenta & J. Doyle

Source: ORCID
Added: December 6, 2019

2016 conference paper

Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making

2016 ieee international professional communication conference (ipcc).

By: B. Lauren* & S. Pigg n

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2015 journal article

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

BioData Mining, 8(1).

By: A. Beam, A. Motsinger-Reif n & J. Doyle n

author keywords: Dose-response; Epistasis; Bayesian nonparametric; Neural network; Machine learning
Sources: ORCID, NC State University Libraries
Added: August 6, 2018

2015 chapter

Determining Query Readiness for Structured Data

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

By: F. Alborzi n, R. Chirkova n, J. Doyle n & Y. Fathi n

author keywords: Big data quality; Big data analytics and user interfaces; Data readiness level; Data quality measurement; Data quality improvement
Sources: ORCID, Crossref
Added: December 6, 2019

2015 conference paper

Determining query readiness for structured data

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

By: F. Alborzi, R. Chirkova, J. Doyle & Y. Fathi

Source: NC State University Libraries
Added: August 6, 2018

2015 conference paper

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.

By: H. Du n, B. Narron n, N. Ajmeri n, E. Berglund n, J. Doyle n & M. Singh n

Event: the 2015 Symposium and Bootcamp at United States

Sources: ORCID, Crossref
Added: September 29, 2019

2014 journal article

Bayesian neural networks for detecting epistasis in genetic association studies

BMC Bioinformatics, 15(1), 368.

By: A. Beam*, A. Motsinger-Reif n & J. Doyle n

MeSH headings : Bayes Theorem; Case-Control Studies; Computational Biology / methods; Epistasis, Genetic; Genetic Association Studies; Humans; Models, Genetic; Mycobacterium / pathogenicity; Neural Networks, Computer; Polymorphism, Single Nucleotide / genetics; Tuberculosis / genetics; Tuberculosis / microbiology
Sources: ORCID, NC State University Libraries
Added: August 6, 2018

2013 article

Mechanics and Mental Change

Evolution of Semantic Systems, pp. 127–150.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2013 chapter

Mechanics and mental change

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

By: J. Doyle

Source: ORCID
Added: December 6, 2019

2012 article

Leveraging Multiple Mechanisms for Information Propagation

Advanced Agent Technology, pp. 1–2.

By: A. Wicker n & J. Doyle n

Source: ORCID
Added: December 5, 2019

2012 conference paper

Leveraging multiple mechanisms for information propagation

Advanced agent technology, 7068, 1–2.

By: A. Wicker & J. Doyle

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

UCON LEGAL

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

By: R. Gopalan n, A. Antón n & J. Doyle n

Source: ORCID
Added: December 5, 2019

2011 journal article

The local geometry of multiattribute tradeoff preferences

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

By: M. McGeachie* & J. Doyle n

author keywords: Decision theory; Preference representation; Multiattribute tradeoffs; Ceteris paribus reasoning
Sources: Web Of Science, ORCID
Added: August 6, 2018

2008 conference paper

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

By: J. Doyle

Source: ORCID
Added: December 6, 2019

2008 conference paper

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

By: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2008 journal article

Semantic Parameterization: A Process for Modeling Domain Descriptions

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

By: T. Breaux n, A. Anton n & J. Doyle n

author keywords: Documentation; Standardization; Human Factors; Natural language; domain knowledge; formal specification; description logic
Sources: Web Of Science, ORCID
Added: August 6, 2018

2007 conference paper

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

By: J. Doyle, J. Goldsmith, U. Junker & J. Lang

Source: ORCID
Added: December 6, 2019

2007 journal article

AAAI-07 workshop reports

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

By: S. Anand, D. Bahls, C. Burghart, M. Burstein, H. Chen, J. Collins, T. Dietterich, J. Doyle ...

Source: ORCID
Added: December 6, 2019

2007 conference paper

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

By: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2006 article

Attitudes, outlook, and memory

Extending Mechanics to Minds, pp. 251–275.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Bibliography

Extending Mechanics to Minds, pp. 429–442.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Dynamics

Extending Mechanics to Minds, pp. 135–172.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Effectiveness

Extending Mechanics to Minds, pp. 392–398.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 book

Extending Mechanics to Minds

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 book

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

Cambridge; New York: Cambridge University Press.

By: J. Doyle

Source: NC State University Libraries
Added: August 6, 2018

2006 article

Finitism

Extending Mechanics to Minds, pp. 399–404.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Kinematics

Extending Mechanics to Minds, pp. 88–134.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Learning

Extending Mechanics to Minds, pp. 326–345.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Materialism

Extending Mechanics to Minds, pp. 373–378.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Mechanical intelligence

Extending Mechanics to Minds, pp. 3–9.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Mental varieties

Extending Mechanics to Minds, pp. 225–240.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Mind and body

Extending Mechanics to Minds, pp. 241–250.

By: J. Doyle n

Source: ORCID
Added: December 5, 2019

2006 article

Outline of the book

Extending Mechanics to Minds, pp. xix-xxii.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Preface

Extending Mechanics to Minds, pp. xi-xviii.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Rationality

Extending Mechanics to Minds, pp. 295–325.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Reasoning

Extending Mechanics to Minds, pp. 276–294.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Reductionism

Extending Mechanics to Minds, pp. 379–391.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Reflections

Extending Mechanics to Minds, pp. 407–424.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

System of Notation

Extending Mechanics to Minds, pp. 425–428.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

The character of mechanical law

Extending Mechanics to Minds, pp. 173–222.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Uncertainty

Extending Mechanics to Minds, pp. 346–370.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

What is mechanics?

Extending Mechanics to Minds, pp. 71–87.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2006 article

Why mechanics now?

Extending Mechanics to Minds, pp. 47–68.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

2004 journal article

Computational intelligence: Preface

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

By: U. Junker, J. Delgrande, J. Doyle, F. Rossi & T. Schaub

Source: ORCID
Added: December 6, 2019

2004 article

Prospects for preferences

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

By: J. Doyle n

author keywords: decision theory; preference; utility; rationality; limited rationality; reasoning; learning; preference representation; preference structure; preference change
Sources: Web Of Science, ORCID
Added: August 6, 2018

2004 article

Utility functions for ceteris paribus preferences

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

By: M. McGeachie* & J. Doyle n

author keywords: qualitative decision theory; rationality; ceteris paribus preferences
Sources: Web Of Science, ORCID
Added: August 6, 2018

2003 conference paper

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

By: W. Long*, J. Doyle n, G. Burke* & P. Szolovits*

Ed(s): P. Willett & T. Kirubarajan

author keywords: intrusion detection; architecture; sensors; distributed monitoring
Source: ORCID
Added: December 5, 2019

2003 article

Exercising Qualitative Control in Autonomous Adaptive Survivable Systems

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

By: J. Doyle n & M. McGeachie*

Source: ORCID
Added: December 5, 2019

2003 chapter

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.

By: J. Doyle & M. McGeachie

Ed(s): P. R. Laddaga & H. Shrobe

Source: NC State University Libraries
Added: August 6, 2018

2003 book

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

By: J. Doyle & M. McGeachie

Source: ORCID
Added: December 6, 2019

2002 conference paper

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

By: M. McGeachie & J. Doyle

Source: ORCID
Added: December 6, 2019

2002 article

What is Church's thesis? An outline

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

By: J. Doyle n

Sources: Web Of Science, ORCID
Added: August 6, 2018

2001 chapter

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.

By: H. Shrobe & J. Doyle

Ed(s): H. P. Robertson & R. Laddaga

Source: NC State University Libraries
Added: August 6, 2018

2000 article

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

Self-Adaptive Software, pp. 40–49.

By: H. Shrobe & J. Doyle*

Source: ORCID
Added: December 5, 2019

1999 journal article

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

By: J. Doyle & R. Thomason

Source: ORCID
Added: December 6, 2019

1997 journal article

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

By: J. Doyle & T. Dean

Source: ORCID
Added: December 6, 2019

1996 journal article

Cleaving (unto) artificial intelligence

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1996 journal article

Editorial: Strategic directions in computing research

CSUR, 28(4), 565–574.

By: P. Wegner* & J. Doyle*

Source: ORCID
Added: December 5, 2019

1996 journal article

Strategic directions in artificial intelligence

CSUR, 28(4), 653–670.

By: J. Doyle* & T. Dean*

Source: ORCID
Added: December 5, 2019

1995 chapter

A truth maintenance system

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

By: J. Doyle

Source: NC State University Libraries
Added: August 6, 2018

1994 journal article

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.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1994 article

Preface

Principles of Knowledge Representation and Reasoning, p. ix.

By: J. Doyle*, E. Sandewall & P. Torasso

Source: ORCID
Added: December 5, 2019

1994 journal article

Reasoned assumptions and rational psychology

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

By: J. Doyle*

Source: ORCID
Added: December 6, 2019

1992 journal article

EPILEGOMENON

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

By: E. Sacks & J. Doyle*

Source: ORCID
Added: December 5, 2019

1992 article

Modular Utility Representation for Decision-Theoretic Planning

Artificial Intelligence Planning Systems, pp. 236–242.

By: M. Wellman* & J. Doyle*

Source: ORCID
Added: December 5, 2019

1992 conference paper

Modular utility representation for decision-theoretic planning

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

By: M. Wellman & J. Doyle

Source: ORCID
Added: December 6, 2019

1992 journal article

PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS

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

By: E. Sacks* & J. Doyle*

Source: ORCID
Added: December 5, 2019

1992 journal article

RATIONALITY AND ITS ROLES IN REASONING

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1992 article

Rational Self-Government and Universal Default Logics

Economics and Cognitive Science, pp. 5–13.

By: J. Doyle* & M. Wellman

Source: ORCID
Added: December 5, 2019

1992 chapter

Rational self-government and universal default logics

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

By: J. Doyle & M. Wellman

Ed(s): . P. Bourgine & B. Walliser

Source: NC State University Libraries
Added: August 6, 2018

1992 article

Reason maintenance and belief revision: Foundations versus coherence theories

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

By: J. Doyle*

Ed(s): P. Gärdenfors

Source: ORCID
Added: December 5, 2019

1991 article

A logic of relative desire

Methodologies for Intelligent Systems, pp. 16–31.

By: J. Doyle*, Y. Shoham* & M. Wellman*

Source: ORCID
Added: December 5, 2019

1991 journal article

Impediments to universal preference-based default theories

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

By: J. Doyle* & M. Wellman

Source: ORCID
Added: December 6, 2019

1991 journal article

Markov analysis of qualitative dynamics

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

By: J. Doyle* & E. Sacks*

Source: ORCID
Added: December 5, 2019

1991 article

Rational control of reasoning in artificial intelligence

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1991 journal article

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

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

By: J. Doyle* & R. Patil

Source: ORCID
Added: December 5, 2019

1990 journal article

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

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1990 journal article

Perceptive questions about computation and cognition

Behav Brain Sci, 13(04), 661.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1989 journal article

Constructive belief and rational representation

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1987 article

Admissible State Semantics for Representational Systems

The Knowledge Frontier, pp. 174–186.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1987 journal article

Logic, rationality, and rational psychology

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1985 journal article

Circumscription and implicit definability

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1985 journal article

Expert Systems and the “Myth” of Symbolic Reasoning

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

By: J. Doyle*

Source: ORCID
Added: December 6, 2019

1983 article

Admissible State Semantics for Representational Systems

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

By: J. Doyle*

Source: ORCID
Added: December 6, 2019

1983 conference paper

INS AND OUTS OF REASON MAINTENANCE.

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

By: J. Doyle

Source: ORCID
Added: December 6, 2019

1983 conference paper

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

By: J. Doyle

Source: ORCID
Added: December 6, 2019

1981 article

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.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1981 journal article

A model for deliberation, action, and introspection

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

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1980 journal article

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

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

By: J. Doyle* & P. London

Source: ORCID
Added: December 5, 2019

1980 journal article

Non-monotonic logic I

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

By: D. McDermott* & J. Doyle*

Source: ORCID
Added: December 6, 2019

1979 journal article

A truth maintenance system

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

By: J. Doyle*

Source: ORCID
Added: December 6, 2019

1979 journal article

EXPLICIT CONTROL OF REASONING.

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

By: J. Kleer, J. Doyle, G. Steele & G. Sussman

Source: ORCID
Added: December 6, 2019

1979 journal article

GLIMPSE OF TRUTH MAINTENANCE.

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

By: J. Doyle

Source: ORCID
Added: December 6, 2019

1977 journal article

AMORD explicit control of reasoning

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

By: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Source: ORCID
Added: December 5, 2019

1977 journal article

AMORD explicit control of reasoning

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

By: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Source: ORCID
Added: December 5, 2019

1977 conference paper

AMORD explicit control of reasoning

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

By: J. Kleer*, J. Doyle*, G. Steele* & G. Sussman*

Source: ORCID
Added: December 5, 2019

1976 journal article

Linear expected time of a simple union-find algorithm

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

By: J. Doyle* & R. Rivest*

Source: ORCID
Added: December 5, 2019

Employment

Updated: April 8th, 2015 11:36

2001 - present

North Carolina State University Raleigh, North Carolina, US
SAS Institute Distinguished Professor Computer Science

1990 - 2001

Massachusetts Institute of Technology Cambridge, MA, US
Principal Research Scientist Laboratory for Computer Science

1988 - 1990

Massachusetts Institute of Technology Cambridge, MA, US
Research Associate Laboratory for Computer Scientist

1984 - 1988

Carnegie Mellon University Pittsburgh, PA, US
Research Scientist Computer Science

1981 - 1984

Carnegie Mellon University Pittsburgh, PA, US
Research Associate Computer Science

1980 - 1981

Stanford University Stanford, CA, US
Research Associate Computer Science

Education

Updated: April 8th, 2015 11:39

1975 - 1980

Massachusetts Institute of Technology Cambridge, MA, US
Ph.D./A Model for Deliberation, Action, and Introspection Electrical Engineering and Computer Science

1975 - 1977

Massachusetts Institute of Technology Cambridge, MA, US
S.M./Truth Maintenance Systems for Problem Solving Electrical Engineering and Computer Science

1972 - 1974

University of Houston Houston, TX, US
B.S./Computational Investigations of Non-Repetitive Sequences Mathematics