Works (103)

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, R. Chirkova, J. Doyle & A. Rosenthal

Sources: Web Of Science, ORCID
Added: August 12, 2019

2018 conference paper

The data readiness problem for relational databases

CEUR Workshop Proceedings, 2100.

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 & J. Doyle

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.

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.

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, S. Ghosh & J. Doyle

Sources: NC State University Libraries, 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.

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

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 & J. Doyle

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

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 book

Determining query readiness for structured data

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9263, pp. 3–14).

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

Source: ORCID
Added: December 6, 2019

2015 conference paper

Understanding sanction under variable observability in a secure, collaborative environment

ACM International Conference Proceeding Series, 21-22-April-2015.

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

Source: ORCID
Added: December 6, 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 & J. Doyle

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

2013 article

Mechanics and Mental Change

Evolution of Semantic Systems, pp. 127–150.

By: J. Doyle

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 & J. Doyle

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, A. Antón & J. Doyle

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

Sources: NC State University Libraries, 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.

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.

By: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2008 journal article

Semantic parameterization

TOSEM, 18(2), 1–27.

By: T. Breaux, A. Antón & J. Doyle

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

2007 conference paper

AAAI Workshop - Technical Report: Preface

AAAI Workshop - Technical Report, WS-07-10.

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.

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.

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

By: J. Doyle

Source: ORCID
Added: December 5, 2019

2006 book

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

By: J. Doyle

Sources: NC State University Libraries, ORCID
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

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.

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

Source: ORCID
Added: December 6, 2019

2004 journal article

Prospects for Preferences

Computational Intell, 20(2), 111–136.

By: J. Doyle

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

2004 journal article

Utility Functions for Ceteris Paribus Preferences

Computational Intell, 20(2), 158–217.

By: M. McGeachie & J. Doyle

Sources: NC State University Libraries, 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, G. Burke & P. Szolovits

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

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 & M. McGeachie

Source: ORCID
Added: December 5, 2019

2003 chapter

Exercising qualitative control in autonomous adaptive survivable systems

In 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

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

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.

By: M. McGeachie & J. Doyle

Source: ORCID
Added: December 6, 2019

2002 journal article

What is church's thesis? An outline

Minds and Machines, 12(4), 519–520.

By: J. Doyle

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

2001 chapter

Active trust management for autonomous adaptive survivable systems

In 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

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.

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.

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.

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 Economics and cognitive science. Oxford: Pergamon Press.

By: J. Doyle & M. Wellman

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.

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.

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.

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.

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

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

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