Jon Doyle

Works (107)

Updated: April 4th, 2024 09:35

2021 article

Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse

Chirkova, R., Doyle, J., & Reutter, J. (2021, April 27). Journal of Data and Information Quality, Vol. 4.

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
topics (OpenAlex): Data Quality and Management; Advanced Database Systems and Queries; Semantic Web and Ontologies
TL;DR: This research presents a meta-modelling architecture that automates the very labor-intensive and therefore time-heavy and therefore expensive process of manually cataloging and cataloging data in order to assess and improve the quality of data. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
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

www.andrew.cmu.edu
Source: ORCID
Added: January 7, 2021

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

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

www.scopus.com
Source: ORCID
Added: December 6, 2019

2018 article

Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control

Jiang, J., Chirkova, R., Doyle, J., & Rosenthal, A. (2018, June 7). Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT, Vol. 6, pp. 217–219.

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

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

author keywords: Attribute-based access control; security; policy formalism; logical models
topics (OpenAlex): Access Control and Trust; Cryptography and Data Security; Internet Traffic Analysis and Secure E-voting
TL;DR: This work proposes to recasting the high-level structure of ABAC models in a logical formalism that treats all actions uniformly and that keeps existing policy languages in place by interpreting their attributes in terms of the restructured model. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 12, 2019

2017 article

Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences

Argenta, C., & Doyle, J. (2017, January 1). Lecture Notes in Computer Science, pp. 212–228.

By: C. Argenta n & J. Doyle n 

Contributors: C. Argenta n & J. Doyle n 

author keywords: Multi-agent systems; Plan recognition
topics (OpenAlex): AI-based Problem Solving and Planning; Bayesian Modeling and Causal Inference; Semantic Web and Ontologies
TL;DR: D discrete Multi-agent Plan Recognition as Planning is described, which extends Ramirez and Geffner’s Plan recognition as Planning approach to multi-agent domains and uses the planning domain and synthesizes plans to achieve hypothesized goals with additional constraints for suspected team composition and previous observations. (via Semantic Scholar)
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 

Contributors: C. Argenta & J. Doyle 

www.scopus.com
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

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

www.scopus.com
Source: ORCID
Added: December 6, 2019

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 

Contributors: C. Argenta & J. Doyle 

www.scopus.com
Source: ORCID
Added: December 6, 2019

2016 article

Toward entrepreneurial pedagogies: Rethinking professional networking as knowledge making

Lauren, B., & Pigg, S. (2016, October 1). 2016 Ieee International Professional Communication Conference (Ipcc), Vol. 10.

By: B. Lauren* & S. Pigg *

topics (OpenAlex): Knowledge Management and Sharing; Web and Library Services; Personal Information Management and User Behavior
TL;DR: It is suggested that instructors and students should understand professional social networking as a multilayered practice of learning and sharing collective knowledge. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
8. Decent Work and Economic Growth (OpenAlex)
Sources: NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2015 article

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

Beam, A. L., Motsinger-Reif, A. A., & Doyle, J. (2015, February 5). BioData Mining, Vol. 8.

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

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

author keywords: Dose-response; Epistasis; Bayesian nonparametric; Neural network; Machine learning
topics (OpenAlex): Genetic Mapping and Diversity in Plants and Animals; Genetic and phenotypic traits in livestock; Genetic Associations and Epidemiology
TL;DR: It is shown that MANOVA and the Bayesian nonparametric approach show good ability to detect trait-associated genetic variants under various possible genetic models, and may be due to marginal effects being present, even if the underlying genetic model does not explicitly contain them. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: ORCID, NC State University Libraries
Added: December 5, 2019

2015 journal article

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

Biodata Mining, 8.

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

Source: 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 

Contributors: 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
topics (OpenAlex): Data Quality and Management; Big Data and Business Intelligence; Advanced Database Systems and Queries
TL;DR: This study provides a formalization of DRL in a structured-data scenario, and illustrates how knowledge of rules and facts can be used to identify those transformations of the data that improve its DRL. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
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 article

Fast Hamiltonian Monte Carlo Using GPU Computing

Beam, A. L., Ghosh, S. K., & Doyle, J. (2015, April 18). Journal of Computational and Graphical Statistics, Vol. 25, pp. 536–548.

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

Contributors: A. Beam, S. Ghosh*  & J. Doyle* 

author keywords: GPU; Hamiltonian Monte Carlo; MCMC; Multinomial regression
topics (OpenAlex): Markov Chains and Monte Carlo Methods; Statistical Methods and Inference; Bayesian Methods and Mixture Models
TL;DR: The proposed computational framework may appear conceptually very simple, but has the potential to be applied to a wide class of hierarchical models relying on HMC sampling, whose posterior density and corresponding gradients are amenable to significant speed ups through the use of GPUs. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: Web Of Science, ORCID, 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 

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

topics (OpenAlex): Opinion Dynamics and Social Influence; Evolutionary Game Theory and Cooperation; Information and Cyber Security
TL;DR: CARLOS, a multiagent simulation of graduate students performing research within a university lab setting, is presented, to explore the combined effects of sanction and the observability of the sanctioner in a secure, collaborative environment and finds that only the latter hypothesis is supported. (via Semantic Scholar)
Sources: ORCID, Crossref, NC State University Libraries
Added: September 29, 2019

2014 article

Bayesian neural networks for detecting epistasis in genetic association studies

Beam, A. L., Motsinger-Reif, A., & Doyle, J. (2014, November 21). BMC Bioinformatics, Vol. 15, p. 368.

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

Contributors: 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
topics (OpenAlex): Genetic Associations and Epidemiology; Genetic and phenotypic traits in livestock; Gene expression and cancer classification
TL;DR: The proposed framework for a non-parametric Bayesian approach in the form of a Bayesian neural network is shown to be a powerful method for detecting causal SNPs while being computationally efficient enough to handle large datasets. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: ORCID, NC State University Libraries
Added: December 5, 2019

2014 journal article

Bayesian neural networks for detecting epistasis in genetic association studies

BMC Bioinformatics, 15.

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

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

2013 article

Evolution of Semantic Systems

Küppers, B.-O., Hahn, U., & Artmann, S. (2013, January 1). Evolution of Semantic Systems, pp. 127–150.

By: B. Küppers*, U. Hahn * & S. Artmann*

Contributors: J. Doyle 

topics (OpenAlex): Semantic Web and Ontologies; Evolutionary Algorithms and Applications
TL;DR: Researchers in philosophy, computer science, and the natural sciences who work on the analysis or development of semantic systems, ontologies, or similar complex information structures will find a broad discussion of topics ranging from underlying universal principles to representation and processing aspects to paradigmatic examples. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Source: ORCID
Added: December 6, 2019

2013 article

Mechanics and Mental Change

Doyle, J. (2013, January 1). Evolution of Semantic Systems, pp. 127–150.

By: J. Doyle n 

topics (OpenAlex): Logic, Reasoning, and Knowledge; AI-based Problem Solving and Planning; Complex Systems and Decision Making
TL;DR: This paper uses a simple kind of reasoning system from artificial intelligence to illustrate how mechanical concepts, including mental inertia, force, work, and constitutional elasticity, provide a new language and formal framework for analyzing and specifying limits on cognitive systems. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2012 article

Leveraging Multiple Mechanisms for Information Propagation

Wicker, A. W., & Doyle, J. (2012, January 1). Lecture Notes in Computer Science, pp. 1–2.

By: A. Wicker n & J. Doyle n 

Contributors: A. Wicker n & J. Doyle n 

topics (OpenAlex): Opinion Dynamics and Social Influence
TL;DR: A new model of social influence is developed that recognizes and leverages multiple influence mechanisms and multiple types of relations among individuals that increases expressivity and extensibility over that of existing related models and facilitates analysis of influence effects in a multitude of social contexts. (via Semantic Scholar)
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 article

UCON LEGAL

Gopalan, R., Antón, A., & Doyle, J. (2012, January 28). Proceedings of the 2nd ACM SIGHIT Symposium on International Health Informatics - IHI '12, pp. 227–236.

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

Contributors: R. Gopalan n, A. Antön  n & J. Doyle n 

topics (OpenAlex): Access Control and Trust; Privacy-Preserving Technologies in Data; Privacy, Security, and Data Protection
TL;DR: A usage control model is proposed, UCONLEGAL, which extends UCONABC with components to model purposes, cross-references, exceptions, conditions, and logs, and is employed to show how to express the access and usage rules the authors identified in the HIPAA Privacy Rule. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2010 article

The local geometry of multiattribute tradeoff preferences

McGeachie, M., & Doyle, J. (2010, December 3). Artificial Intelligence, Vol. 175, pp. 1122–1152.

By: M. McGeachie* & J. Doyle n 

Contributors: M. McGeachie* & J. Doyle n 

author keywords: Decision theory; Preference representation; Multiattribute tradeoffs; Ceteris paribus reasoning
topics (OpenAlex): Constraint Satisfaction and Optimization; Bayesian Modeling and Causal Inference; Rough Sets and Fuzzy Logic
TL;DR: Directional derivatives and other concepts from elementary differential geometry are used to interpret conditional multiattribute ceteris paribus preference comparisons that state bounds on quantitative tradeoff ratios, extending the familiar economic notion of marginal rate of substitution to multiple continuous or discrete attributes. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
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 

Contributors: J. Doyle 

www.scopus.com
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 

Contributors: A. Wicker & J. Doyle 

www.scopus.com
Source: ORCID
Added: December 6, 2019

2008 article

Semantic parameterization

Breaux, T. D., Antón, A. I., & Doyle, J. (2008, November 1). ACM Transactions on Software Engineering and Methodology, Vol. 18, pp. 1–27.

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

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

author keywords: Documentation; Standardization; Human Factors; Natural language; domain knowledge; formal specification; description logic
topics (OpenAlex): Advanced Software Engineering Methodologies; Software Engineering Research; Software Engineering Techniques and Practices
TL;DR: This article presents a systematic process called Semantic Parameterization for expressing natural language domain descriptions of goals as specifications in description logic, and allows engineers to automate inquiries using who, what, and where questions, completing the formalization of the ICM questions. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
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

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

www.scopus.com
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  ...

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

www.scopus.com
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 

Contributors: A. Wicker & J. Doyle 

www.scopus.com
Source: ORCID
Added: December 6, 2019

2006 article

Attitudes, outlook, and memory

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 251–275.

By: J. Doyle n 

topics (OpenAlex): Creativity in Education and Neuroscience; Academic and Historical Perspectives in Psychology; Cultural Differences and Values
Source: ORCID
Added: December 5, 2019

2006 article

Bibliography

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 429–442.

By: J. Doyle n 

topics (OpenAlex): Historical Economic and Social Studies
Source: ORCID
Added: December 5, 2019

2006 article

Dynamics

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 135–172.

By: J. Doyle n 

topics (OpenAlex): Scientific Research and Discoveries; Quantum chaos and dynamical systems; Experimental and Theoretical Physics Studies
Source: ORCID
Added: December 5, 2019

2006 article

Effectiveness

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 392–398.

By: J. Doyle n 

topics (OpenAlex): Historical Philosophy and Science; History and Theory of Mathematics
Source: ORCID
Added: December 5, 2019

2006 article

Extending Mechanics to Minds

Doyle, J. (2006, May 22). Cambridge University Press EBooks, Vol. 9780521861977, pp. 1–453.

By: J. Doyle n 

Contributors: J. Doyle n 

topics (OpenAlex): Cognitive Science and Education Research
TL;DR: The Metaphysics of Mechanics and Mechanical Minds, part I: Reconciling Natural and Mental Philosophy and the Conclusion of the Matter. (via Semantic Scholar)
Sources: ORCID, NC State University Libraries
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

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 399–404.

By: J. Doyle n 

topics (OpenAlex): Advanced Thermodynamics and Statistical Mechanics; Origins and Evolution of Life; Advanced Materials and Mechanics
Source: ORCID
Added: December 5, 2019

2006 article

Kinematics

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 88–134.

By: J. Doyle n 

topics (OpenAlex): Robotic Mechanisms and Dynamics
Source: ORCID
Added: December 5, 2019

2006 article

Learning

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 326–345.

By: J. Doyle n 

topics (OpenAlex): Design Education and Practice; Cognitive Science and Education Research
Source: ORCID
Added: December 5, 2019

2006 article

Materialism

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 373–378.

By: J. Doyle n 

topics (OpenAlex): History of Science and Medicine
Source: ORCID
Added: December 5, 2019

2006 article

Mechanical intelligence

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 3–9.

By: J. Doyle n 

topics (OpenAlex): Machine Learning in Materials Science; Force Microscopy Techniques and Applications
Source: ORCID
Added: December 5, 2019

2006 article

Mental varieties

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 225–240.

By: J. Doyle n 

topics (OpenAlex): Experimental Behavioral Economics Studies; Cognitive Science and Mapping; Innovation, Sustainability, Human-Machine Systems
Source: ORCID
Added: December 5, 2019

2006 article

Mind and body

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 241–250.

By: J. Doyle n 

topics (OpenAlex): Medieval and Classical Philosophy
Source: ORCID
Added: December 5, 2019

2006 article

Outline of the book

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. xix-xxii.

By: J. Doyle n 

topics (OpenAlex): International Law and Human Rights; Legal case studies and regulations; Legal principles and applications
Source: ORCID
Added: December 5, 2019

2006 article

Preface

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. xi-xviii.

By: J. Doyle n 

topics (OpenAlex): Economic Theory and Institutions
Source: ORCID
Added: December 5, 2019

2006 article

Rationality

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 295–325.

By: J. Doyle n 

topics (OpenAlex): Economic Theory and Institutions
Source: ORCID
Added: December 5, 2019

2006 article

Reasoning

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 276–294.

By: J. Doyle n 

topics (OpenAlex): Political Philosophy and Ethics; Philosophical Ethics and Theory; Classical Philosophy and Thought
Source: ORCID
Added: December 5, 2019

2006 article

Reductionism

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 379–391.

By: J. Doyle n 

topics (OpenAlex): Political Theory and Influence
Source: ORCID
Added: December 5, 2019

2006 article

Reflections

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 407–424.

By: J. Doyle n 

topics (OpenAlex): Poetry Analysis and Criticism; Modernist Literature and Criticism; Short Stories in Global Literature
Source: ORCID
Added: December 5, 2019

2006 article

System of Notation

Doyle, J. (2006, May 22). Extending Mechanics to Minds, pp. 425–428.

By: J. Doyle n 

topics (OpenAlex): History and Theory of Mathematics
Source: ORCID
Added: December 5, 2019

2006 article

The character of mechanical law

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 173–222.

By: J. Doyle n 

topics (OpenAlex): Mechanics and Biomechanics Studies
Source: ORCID
Added: December 5, 2019

2006 article

Uncertainty

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 346–370.

By: J. Doyle n 

topics (OpenAlex): Science Education and Pedagogy
Source: ORCID
Added: December 5, 2019

2006 article

What is mechanics?

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 71–87.

By: J. Doyle n 

topics (OpenAlex): Philosophy and History of Science
Source: ORCID
Added: December 5, 2019

2006 article

Why mechanics now?

Doyle, J. (2006, May 22). Cambridge University Press EBooks, pp. 47–68.

By: J. Doyle n 

topics (OpenAlex): Chaos, Complexity, and Education
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

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

www.scopus.com
Source: ORCID
Added: December 6, 2019

2004 article

Prospects for Preferences

Doyle, J. (2004, April 20). Computational Intelligence, Vol. 20, pp. 111–136.

By: J. Doyle n 

Contributors: J. Doyle n 

author keywords: decision theory; preference; utility; rationality; limited rationality; reasoning; learning; preference representation; preference structure; preference change
topics (OpenAlex): Logic, Reasoning, and Knowledge; Decision-Making and Behavioral Economics; Advanced Algebra and Logic
TL;DR: Prospects for theories and methods of preferences are examined, both in the specific sense of the preferences of the ideal rational agents considered in economics and decision theory and in the broader interplay between reasoning and rationality considered in philosophy, psychology, and artificial intelligence. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2004 article

Utility Functions for Ceteris Paribus Preferences

McGeachie, M., & Doyle, J. (2004, April 20). Computational Intelligence, Vol. 20, pp. 158–217.

By: M. McGeachie* & J. Doyle n 

Contributors: M. Mcgeachie* & J. Doyle n 

author keywords: qualitative decision theory; rationality; ceteris paribus preferences
topics (OpenAlex): Bayesian Modeling and Causal Inference; Logic, Reasoning, and Knowledge; Multi-Criteria Decision Making
TL;DR: An algorithm is presented that compiles a set of qualitative ceteris paribus preferences into an ordinal utility function and heuristics using utility independence and constraint‐based search to obtain efficient utility functions are presented. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2003 article

<title>Detection of intrusion across multiple sensors</title>

Long, W. J., Doyle, J., Burke, G., & Szolovits, P. (2003, August 7). (P. K. Willett & T. Kirubarajan, Eds.). Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE, Vol. 5107, pp. 141–149.

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

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

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

author keywords: intrusion detection; architecture; sensors; distributed monitoring
topics (OpenAlex): Network Security and Intrusion Detection; Anomaly Detection Techniques and Applications; Software System Performance and Reliability
TL;DR: The architecture enabling the creation, linking, and support of the monitors for sensing the data, abstracting and characterizing data, synchronizing data from different sources, detecting patterns, and displaying the results is discussed. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

2003 article

Exercising Qualitative Control in Autonomous Adaptive Survivable Systems

Doyle, J., & McGeachie, M. (2003, January 1). Lecture Notes in Computer Science, pp. 158–170.

By: J. Doyle n  & M. McGeachie*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Multi-Agent Systems and Negotiation; AI-based Problem Solving and Planning
TL;DR: This paper explains how to use qualitative preference specifications to exercise effective control over quantitative trust-based resource allocation by facilitating convenient specification and adaptation of the stable foundations of the trust manager's utility judgments. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
13. Climate Action (OpenAlex)
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

Contributors: J. Doyle  & M. McGeachie

www.scopus.com
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 

Contributors: M. McGeachie & J. Doyle 

www.scopus.com
Source: ORCID
Added: December 6, 2019

2002 article

What is Church's Thesis? An Outline*

Doyle, J. (2002, November 1). Minds and Machines, Vol. 12, pp. 519–520.

By: J. Doyle n 

Contributors: J. Doyle n 

topics (OpenAlex): Computability, Logic, AI Algorithms; Cellular Automata and Applications; DNA and Biological Computing
TL;DR: My suspicion is that physics is easily rich enough so that E2, the functions compatable in principle given Turing’s operations and equilibriating, include non-recursive functions. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
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)

Shrobe, H., & Doyle, J. (2000, January 1). Lecture Notes in Computer Science, pp. 40–49.

By: H. Shrobe & J. Doyle* 

topics (OpenAlex): AI-based Problem Solving and Planning; Scientific Computing and Data Management; Distributed systems and fault tolerance
TL;DR: The traditional approaches to building survivable systems assume a framework of absolute trust requiring a provably impenetrable and incorruptible Trusted Computing Base (TCB), but this work focuses on software systems that can provide useful services even when computational resource are compromised. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
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

Contributors: J. Doyle  & R. Thomason

www.scopus.com
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

Contributors: J. Doyle  & T. Dean

www.scopus.com
Source: ORCID
Added: December 6, 2019

1996 article

Cleaving (unto) artificial intelligence

Doyle, J. (1996, December 1). ACM Computing Surveys, Vol. 28, pp. 4-es.

By: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Multi-Agent Systems and Negotiation; AI-based Problem Solving and Planning
Source: ORCID
Added: December 5, 2019

1996 article

Editorial: Strategic directions in computing research

Wegner, P., & Doyle, J. (1996, December 1). ACM Computing Surveys, Vol. 28, pp. 565–574.

By: P. Wegner* & J. Doyle* 

Contributors: P. Wegner* & J. Doyle* 

topics (OpenAlex): Big Data and Business Intelligence
TL;DR: The reports in this issue balance the desire of researchers to undertake core research with the need to build bridges connecting theory and practice, and the tension between supply-driven core research and demand-driven applications research—focused on solving external problems—is a permanent part of the strategic landscape. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1996 article

Strategic directions in artificial intelligence

Doyle, J., & Dean, T. (1996, December 1). ACM Computing Surveys, Vol. 28, pp. 653–670.

By: J. Doyle*  & T. Dean*

Contributors: J. Doyle*  & T. Dean*

topics (OpenAlex): Computability, Logic, AI Algorithms; Artificial Intelligence in Games; Logic, Reasoning, and Knowledge
TL;DR: This report summarizes the major directions in artificial intelligence research, sets them in context relative to other areas of computing research, and gives a glimpse of the vision, depth, research partnerships, successes, and excitement of the field. (via Semantic Scholar)
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 

Ed(s):

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

1994 article

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

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

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Philosophy and Theoretical Science
TL;DR: In Kyburg (1993), Henry Kyburg describes the approach he intends to pursue in studying believing and reasoning-an approach based on the agent accepting conclusions on the basis of their probability relative to a body of background knowledge and evidence-and sketches some arguments for and against this approach in the course of describing his intent. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1994 article

Preface

Doyle, J., Sandewall, E., & Torasso, P. (1994, January 1). Principles of Knowledge Representation and Reasoning, p. ix.

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

topics (OpenAlex):
Source: ORCID
Added: December 5, 2019

1994 article

REASONED ASSUMPTIONS AND RATIONAL PSYCHOLOGY

Doyle, J. (1994, January 1). Fundamenta Informaticae, Vol. 20, pp. 35–73.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Bayesian Modeling and Causal Inference; Advanced Algebra and Logic; Semantic Web and Ontologies
TL;DR: This work presents a more direct mathematical development of nonmonotonic reasoning free of extraneous logical and epistemological assumptions, and argues that the insights gained exemplify the benefits obtained by approaching psychology as a subject for mathematical investigation through the discipline of rational psychology. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

1992 article

EPILEGOMENON

Sacks, E. P., & Doyle, J. (1992, May 1). Computational Intelligence, Vol. 8, pp. 326–335.

By: E. Sacks & J. Doyle* 

Contributors: E. Sacks & J. Doyle* 

topics (OpenAlex): Quantum chaos and dynamical systems; Molecular spectroscopy and chirality
TL;DR: Rather than attempt a comprehensive response to every point raised by the commentators, the authors restate their major points and principal arguments, saying exactly what they intended to say in their paper, but in a form they hope will be less conducive to misunderstanding. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1992 article

Modular Utility Representation for Decision-Theoretic Planning

Wellman, M. P., & Doyle, J. (1992, January 1). Elsevier EBooks, pp. 236–242.

By: M. Wellman * & J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Bayesian Modeling and Causal Inference; AI-based Problem Solving and Planning
TL;DR: This work seeks to use this utility-theoretic account to justify and improve existing mechanisms for specification of preference information, and to develop new representations exhibiting tractable specification and flexible composition of preference criteria. (via Semantic Scholar)
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 

Contributors: M. Wellman & J. Doyle 

www.scopus.com
Source: ORCID
Added: December 6, 2019

1992 article

PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS

Sacks, E. P., & Doyle, J. (1992, May 1). Computational Intelligence, Vol. 8, pp. 187–209.

By: E. Sacks * & J. Doyle* 

Contributors: E. Sacks * & J. Doyle* 

topics (OpenAlex): AI-based Problem Solving and Planning; Reservoir Engineering and Simulation Methods; Modeling, Simulation, and Optimization
TL;DR: Preliminary evidence suggests that expert knowledge and reasoning methods can be automated directly, without restriction to the accepted language, representation, and algorithm. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Source: ORCID
Added: December 5, 2019

1992 article

RATIONALITY AND ITS ROLES IN REASONING

Doyle, J. (1992, May 1). Computational Intelligence, Vol. 8, pp. 376–409.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Bayesian Modeling and Causal Inference; AI-based Problem Solving and Planning; Auction Theory and Applications
TL;DR: This work surveys the growing literature on how the basic notions of probability, utility, and rational choice, coupled with practical limitations on information and resources, influence the design and analysis of reasoning and representation systems. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1992 article

Rational Self-Government and Universal Default Logics

DOYLE, J., & WELLMAN, M. P. (1992, January 1). Elsevier EBooks, pp. 5–13.

By: J. Doyle*  & M. Wellman

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Epistemology, Ethics, and Metaphysics
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
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

Doyle, J. (1992, May 21). (P. Gärdenfors, Ed.). Cambridge University Press EBooks, pp. 29–51.

By: J. Doyle* 

Ed(s): P. Gärdenfors

topics (OpenAlex): Logic, Reasoning, and Knowledge; Multi-Agent Systems and Negotiation; Bayesian Modeling and Causal Inference
Source: ORCID
Added: December 5, 2019

1991 article

A logic of relative desire

Doyle, J., Shoham, Y., & Wellman, M. P. (1991, January 1). Lecture Notes in Computer Science, pp. 16–31.

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

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

topics (OpenAlex): Logic, Reasoning, and Knowledge; Multi-Agent Systems and Negotiation; AI-based Problem Solving and Planning
TL;DR: This work provides a relative interpretation of goals as qualitative statements about preferability, and develops a propositional logic of relative desire suitable for formalizing properties of planning and problem-solving methods. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities (OpenAlex)
Source: ORCID
Added: December 5, 2019

1991 article

Impediments to universal preference-based default theories

Doyle, J., & Wellman, M. P. (1991, May 1). Artificial Intelligence, Vol. 49, pp. 97–128.

By: J. Doyle*  & M. Wellman

Contributors: J. Doyle*  & M. Wellman

topics (OpenAlex): Logic, Reasoning, and Knowledge; Bayesian Modeling and Causal Inference; Game Theory and Applications
TL;DR: It is shown that the different categories of preferences conflict more than has been realized, and formal results from social choice theory are adapted to prove that every universal theory of default reasoning will violate at least one reasonable principle of rational reasoning. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Source: ORCID
Added: December 6, 2019

1991 article

Markov analysis of qualitative dynamics1

DOYLE, J. O. N., & SACKS, E. L. I. S. H. A. P. (1991, February 1). Computational Intelligence, Vol. 7, pp. 1–10.

By: J. Doyle*  & E. Sacks *

Contributors: J. Doyle*  & E. Sacks *

topics (OpenAlex): AI-based Problem Solving and Planning; Advanced Software Engineering Methodologies; Bayesian Modeling and Causal Inference
TL;DR: Methods of qualitative reasoning are extended to predict the relative likelihoods of possible qualitative behaviors by viewing the dynamics of a system as a Markov chain over its transition graph by adding qualitative or quantitative estimates of transition probabilities to each of the transitions. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1991 article

Rational control of reasoning in artificial intelligence

Doyle, J. (1991, January 1). Lecture Notes in Computer Science, pp. 19–48.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Computability, Logic, AI Algorithms; Reinforcement Learning in Robotics
TL;DR: It is shown how some of the means by which artificial reasoners tolerate and even exploit limitations in carrying out basic cognitive tasks may all be viewed as species of rationally guided or controlled reasoning, or more generally, as forms of rational self-government. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 5, 2019

1991 article

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

Doyle, J., & Patil, R. S. (1991, April 1). Artificial Intelligence, Vol. 48, pp. 261–297.

By: J. Doyle*  & R. Patil

Contributors: J. Doyle*  & R. Patil

topics (OpenAlex): Biomedical Text Mining and Ontologies; Semantic Web and Ontologies; Logic, Reasoning, and Knowledge
TL;DR: It is argued that logical soundness, completeness, and worst-case complexity are inadequate measures for evaluating the utility of representation services, and that this evaluation should employ the broader notions of utility and rationality found in decision theory. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1990 article

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

Doyle, J. (1990, November 1). ACM SIGART Bulletin, Vol. 2, pp. 77–78.

By: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge
TL;DR: This book represents a welcome departure from the past, as many readers in AI avoid looking at books on philosophy and artificial intelligence, at least after seeing one or two of the genre. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1990 article

Perceptive questions about computation and cognition

Doyle, J. (1990, December 1). Behavioral and Brain Sciences, Vol. 13, p. 661.

By: J. Doyle* 

topics (OpenAlex): Computability, Logic, AI Algorithms; Philosophy and Theoretical Science; Cognitive Science and Education Research
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Source: ORCID
Added: December 5, 2019

1989 article

Constructive belief and rational representation

Doyle, J. (1989, January 1). Computational Intelligence, Vol. 5, pp. 1–11.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; AI-based Problem Solving and Planning; Bayesian Modeling and Causal Inference
TL;DR: It is argued that a more illuminating view is that belief is the result of rational representation, and in this theory, the agent obtains its constructive beliefs by using its manifest beliefs and preferences to rationally choose the most useful conclusions indicated by the manifest beliefs. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 5, 2019

1987 article

Admissible State Semantics for Representational Systems

Doyle, J. (1987, January 1). The Knowledge Frontier, pp. 174–186.

By: J. Doyle* 

topics (OpenAlex): Semantic Web and Ontologies; Logic, Reasoning, and Knowledge; Natural Language Processing Techniques
Source: ORCID
Added: December 5, 2019

1987 article

Logic, rationality, and rational psychology

Doyle, J. (1987, February 1). Computational Intelligence, Vol. 3, pp. 175–176.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge
TL;DR: In summary, McDermott’s critique of nonmonotonic logic is myopic, and it may be the case that nonMonotonic inference does not help the logicist position, but McDermott has not made this case. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1985 article

Circumscription and implicit definability

Doyle, J. (1985, January 1). Journal of Automated Reasoning, Vol. 1, pp. 391–405.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Computability, Logic, AI Algorithms
TL;DR: This work explores some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic and suggests some implications for artificial intelligence practice. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1985 article

Expert Systems and the "Myth" of Symbolic Reasoning

Doyle, J. (1985, November 1). IEEE Transactions on Software Engineering, pp. 1386–1390.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): AI-based Problem Solving and Planning; Software Engineering Research; Logic, programming, and type systems
TL;DR: Elements of the artificial intelligence approach to expert systems offer great productivity advantages over traditional approaches to application systems development, even though the end result may be a program employing no AI techniques. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
8. Decent Work and Economic Growth (OpenAlex)
Source: ORCID
Added: December 6, 2019

1983 article

Admissible State Semantics for Representational Systems

Doyle, N. (1983, October 1). Computer, Vol. 16, pp. 119–123.

By: N. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Semantic Web and Ontologies; Logic, Reasoning, and Knowledge; Advanced Database Systems and Queries
TL;DR: This work indicates how many kinds of informal semantics can be transformed directly into formal semantics of no greater complexity. (via Semantic Scholar)
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 

Contributors: J. Doyle 

www.scopus.com
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 

Contributors: J. Doyle 

www.scopus.com
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.

Doyle, J. (1981, January 1). Elsevier EBooks, pp. 496–516.

By: J. Doyle* 

topics (OpenAlex): AI-based Problem Solving and Planning; Software Engineering Research; Scientific Computing and Data Management
Source: ORCID
Added: December 5, 2019

1981 article

A model for deliberation, action, and introspection

Doyle, J. (1981, January 31). ACM SIGART Bulletin, Vol. 1, pp. 10–10.

By: J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Computability, Logic, AI Algorithms
TL;DR: This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as to deciding what other actions to take. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 5, 2019

1980 article

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

Doyle, J., & London, P. (1980, April 1). ACM SIGART Bulletin, Vol. 4, pp. 7–22.

By: J. Doyle*  & P. London

topics (OpenAlex): Logic, Reasoning, and Knowledge; Bayesian Modeling and Causal Inference; Topic Modeling
TL;DR: An overview of research in an area loosely called belief revision, which includes the study of methods for representing models of environments as collections of beliefs and the development of formal theories of belief, is presented. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1980 article

Non-monotonic logic I

McDermott, D., & Doyle, J. (1980, April 1). Artificial Intelligence, Vol. 13, pp. 41–72.

By: D. McDermott* & J. Doyle* 

Contributors: D. McDermott* & J. Doyle* 

topics (OpenAlex): Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Semantic Web and Ontologies
TL;DR: A model and proof theories, a proof procedure, and applications for one non-monotonic logic are developed, and it is proved the completeness of the non-Monotonic predicate calculus and the decidability of theNon- monotonic sentential calculus. (via Semantic Scholar)
Source: ORCID
Added: December 6, 2019

1979 article

A truth maintenance system

Doyle, J. (1979, November 1). Artificial Intelligence, Vol. 12, pp. 231–272.

By: J. Doyle* 

Contributors: J. Doyle* 

topics (OpenAlex): Software Engineering Research; Logic, programming, and type systems; Scientific Computing and Data Management
TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined. (via Semantic Scholar)
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

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

www.scopus.com
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 

Contributors: J. Doyle 

www.scopus.com
Source: ORCID
Added: December 6, 2019

1977 article

AMORD explicit control of reasoning

Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977, August 1). ACM SIGPLAN Notices, Vol. 12, pp. 116–125.

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

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

topics (OpenAlex): AI-based Problem Solving and Planning; Semantic Web and Ontologies; Multi-Agent Systems and Negotiation
Source: ORCID
Added: December 5, 2019

1977 article

AMORD explicit control of reasoning

Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977, August 1). ACM SIGART Bulletin, Vol. 8, pp. 116–125.

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

topics (OpenAlex): AI-based Problem Solving and Planning; Logic, Reasoning, and Knowledge; Computability, Logic, AI Algorithms
Source: ORCID
Added: December 5, 2019

1977 article

AMORD explicit control of reasoning

Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977, January 1). Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages -, pp. 116–125.

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

Contributors: J. De Kleer *, J. Doyle* , G. Steele * & G. Sussinan*

topics (OpenAlex): AI-based Problem Solving and Planning; Semantic Web and Ontologies; Logic, Reasoning, and Knowledge
TL;DR: An approach to dealing with the construction of expert problem-solving systems based on making some knowledge which is usually implicitly part of an expert problem solver explicit, thus allowing this knowledge about control to be manipulated and reasoned about is described. (via Semantic Scholar)
Source: ORCID
Added: December 5, 2019

1976 article

Linear expected time of a simple union-find algorithm

Doyle, J., & Rivest, R. L. (1976, November 1). Information Processing Letters, Vol. 5, pp. 146–148.

By: J. Doyle*  & R. Rivest*

Contributors: J. Doyle*  & R. Rivest*

topics (OpenAlex): Metaheuristic Optimization Algorithms Research; Advanced Database Systems and Queries; Advanced Bandit Algorithms Research
TL;DR: This paper presents an analysis of a simple tree-structured disjoint set Union-Find algorithm, and shows that this algorithm requires between n and 2n steps on the average to execute a sequence of n Union and Find instructions, assuming that each pair of existing classes is equally likely to be merged by a Union instruction. (via Semantic Scholar)
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

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.