Jon Doyle

Affiliations:
  • North Carolina State University, Raleigh, USA


According to our database1, Jon Doyle authored at least 73 papers between 1976 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse.
ACM J. Data Inf. Qual., 2021

2018
Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control.
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

The Data Readiness Problem for Relational Databases.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017
Assessing Achievability of Queries and Constraints.
CoRR, 2017

A Framework for Assessing Achievability of Data-Quality Constraints.
CoRR, 2017

Probabilistic Multi-Agent Plan Recognition as Planning (P-Maprap): Recognizing Teams, Goals, and Plans from Action Sequences.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016
Coco: Runtime Reasoning about Conflicting Commitments.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences.
Proceedings of the Agents and Artificial Intelligence - 8th International Conference, 2016

Multi-Agent Plan Recognition as Planning (MAPRAP).
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Expressing and reasoning about conflicting norms in cybersecurity: poster.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015
An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics.
BioData Min., 2015

Understanding sanction under variable observability in a secure, collaborative environment.
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

Determining Query Readiness for Structured Data.
Proceedings of the Big Data Analytics and Knowledge Discovery, 2015

2014
Bayesian neural networks for detecting epistasis in genetic association studies.
BMC Bioinform., 2014

Metaphysical Conservatism and Mechanical Characteristics of Human Nature.
Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014

2012
UCON<sub>LEGAL</sub>: a usage control model for HIPAA.
Proceedings of the ACM International Health Informatics Symposium, 2012

2011
The local geometry of multiattribute tradeoff preferences.
Artif. Intell., 2011

Leveraging Multiple Mechanisms for Information Propagation - (Extended Abstract).
Proceedings of the Advanced Agent Technology, 2011

2008
Semantic parameterization: A process for modeling domain descriptions.
ACM Trans. Softw. Eng. Methodol., 2008

Cognitive Mechanics: Natural Intelligence Beyond Biology and Computation.
Proceedings of the Naturally-Inspired Artificial Intelligence, 2008

2007
AAAI-07 Workshop Reports.
AI Mag., 2007

Interest-Matching Comparisons using CP-nets.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
On Mechanization of Thought Processes (Extended Abstract).
Proceedings of the Proceedings, 2006

Extending mechanics to minds - the mechanical foundations of psychology and economics.
Cambridge University Press, ISBN: 978-0-521-86197-7, 2006

2005
DalTREC 2005 QA System Jellyfish: Mark-and-Match Approach to Question Answering.
Proceedings of the Fourteenth Text REtrieval Conference, 2005

2004
Utility Functions for Ceteris Paribus Preferences.
Comput. Intell., 2004

Prospects for Preferences.
Comput. Intell., 2004

2002
What is Church's Thesis? An Outline.
Minds Mach., 2002

AAAI 2002 Workshops.
AI Mag., 2002

Efficient Utility Functions for Ceteris Paribus Preferences.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

2000
Active Trust Management for Autonomous Adaptive Survivable Systems.
Proceedings of the Self-Adaptive Software, First International Workshop, 2000

1999
Background to Qualitative Decision Theory.
AI Mag., 1999

1997
Strategic Directions in Artificial Intelligence (Reprint).
AI Mag., 1997

1996
Editorial: Strategic Directions in Computing Research.
ACM Comput. Surv., 1996

Strategic Directions in Artificial Intelligence.
ACM Comput. Surv., 1996

Cleaving (Unto) Artificial Intelligence.
ACM Comput. Surv., 1996

1994
Reasoned Assumptions and Rational Psychology.
Fundam. Informaticae, 1994

Inference and Acceptance: Comment on Kyburg's "Believing on the Basis ofthe Evidence".
Comput. Intell., 1994

1992
Epilegomenon.
Comput. Intell., 1992

Rationality and its Roles in Reasoning.
Comput. Intell., 1992

1991
Markov analysis of qualitative dynamics.
Comput. Intell., 1991

Impediments to Universal Preference-Based Default Theories.
Artif. Intell., 1991

Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services.
Artif. Intell., 1991

Rational Belief Revision.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

A Logic of Relative Desire (Preliminary Report).
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Preferential Semantics for Goals.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
Rationality and its Roles in Reasoning (Extended Abstract).
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
Constructive belief and rational representation.
Comput. Intell., 1989

Rational control of reasoning in Artificial Intelligence.
Proceedings of the Logic of Theory Change, 1989

Stochastic Analysis of Qualitative Dynamics.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Big Problems for Artificial Intelligence - Guest Editorial.
AI Mag., 1988

Panel: Locality vs. Rationality.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Knowledge, Representation, and Rational Self-Government.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1985
Expert Systems and the "Myth'' of Symbolic Reasoning.
IEEE Trans. Software Eng., 1985

Circumscription and Implicit Definability.
J. Autom. Reason., 1985

Reasoned Assumptions and Pareto Optimality.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
Expert Systems Without Computers, or Theory and Trust in Artificial Intelligence.
AI Mag., 1984

1983
Admissible State Semantics for Representational Systems.
Computer, 1983

What Is Rational Psychology? Toward a Modern Mental Philosophy.
AI Mag., 1983

Methodological Simplicity in Expert System Construction: The Case of Judgments and Reasoned Assumptions.
AI Mag., 1983

What Should Artificial Intelligence Want from the Supercomputers?
AI Mag., 1983

The Ins and Outs of Reason Maintenance.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981
A model for deliberation, action, and introspection.
SIGART Newsl., 1981

1980
A selected descriptor-indexed bibliography to the literature on belief revision.
SIGART Newsl., 1980

Non-Monotonic Logic I.
Artif. Intell., 1980

1979
A Truth Maintenance System.
Artif. Intell., 1979

An Introduction to Non-Monotonic Logic.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

A Glimpse of Truth Maintenance.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977
AMORD explicit control of reasoning.
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

Truth Maintenance Systems for Problem Solving.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Linear Expected Time of a Simple Union-Find Algorithm.
Inf. Process. Lett., 1976


  Loading...