default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJon Doyle
Person information
- affiliation: North Carolina State University, Raleigh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j36]Rada Chirkova, Jon Doyle
, Juan L. Reutter:
Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse. ACM J. Data Inf. Qual. 13(3): 15:1-15:15 (2021)
2010 – 2019
- 2018
- [c36]Rada Chirkova, Jon Doyle, Juan L. Reutter:
The Data Readiness Problem for Relational Databases. AMW 2018 - [c35]Jiaming Jiang, Rada Chirkova, Jon Doyle, Arnon Rosenthal:
Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control. SACMAT 2018: 217-219 - 2017
- [c34]Chris Argenta, Jon Doyle:
Probabilistic Multi-Agent Plan Recognition as Planning (P-Maprap): Recognizing Teams, Goals, and Plans from Action Sequences. ICAART (2) 2017: 575-582 - [i2]Rada Chirkova, Jon Doyle, Juan L. Reutter:
A Framework for Assessing Achievability of Data-Quality Constraints. CoRR abs/1703.09141 (2017) - [i1]Rada Chirkova, Jon Doyle, Juan L. Reutter:
Assessing Achievability of Queries and Constraints. CoRR abs/1712.03438 (2017) - 2016
- [c33]Jiaming Jiang, Nirav Ajmeri, Rada Chirkova, Jon Doyle, Munindar P. Singh:
Expressing and reasoning about conflicting norms in cybersecurity: poster. HotSoS 2016: 63-64 - [c32]Chris Argenta, Jon Doyle:
Multi-Agent Plan Recognition as Planning (MAPRAP). ICAART (2) 2016: 141-148 - [c31]Chris Argenta, Jon Doyle:
Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences. ICAART (Revised Selected Papers) 2016: 212-228 - [c30]Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh:
Coco: Runtime Reasoning about Conflicting Commitments. IJCAI 2016: 17-23 - 2015
- [j35]Andrew L. Beam, Alison A. Motsinger-Reif, Jon Doyle:
An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics. BioData Min. 8: 6 (2015) - [c29]Farid Alborzi, Rada Chirkova, Jon Doyle, Yahya Fathi:
Determining Query Readiness for Structured Data. DaWaK 2015: 3-14 - [c28]Hongying Du, Bennett Narron, Nirav Ajmeri, Emily Berglund, Jon Doyle, Munindar P. Singh:
Understanding sanction under variable observability in a secure, collaborative environment. HotSoS 2015: 12:1-12:10 - 2014
- [j34]Andrew L. Beam, Alison A. Motsinger-Reif, Jon Doyle:
Bayesian neural networks for detecting epistasis in genetic association studies. BMC Bioinform. 15: 368 (2014) - [c27]Brian J. Dellinger, Jon Doyle:
Metaphysical Conservatism and Mechanical Characteristics of Human Nature. AAAI Fall Symposia 2014 - 2012
- [c26]Ramya Gopalan, Annie I. Antón, Jon Doyle:
UCONLEGAL: a usage control model for HIPAA. IHI 2012: 227-236 - 2011
- [j33]Michael McGeachie, Jon Doyle:
The local geometry of multiattribute tradeoff preferences. Artif. Intell. 175(7-8): 1122-1152 (2011) - [c25]Andrew W. Wicker, Jon Doyle:
Leveraging Multiple Mechanisms for Information Propagation - (Extended Abstract). AAMAS Workshops 2011: 1-2
2000 – 2009
- 2008
- [j32]Travis D. Breaux, Annie I. Antón, Jon Doyle:
Semantic parameterization: A process for modeling domain descriptions. ACM Trans. Softw. Eng. Methodol. 18(2): 5:1-5:27 (2008) - [c24]Jon Doyle:
Cognitive Mechanics: Natural Intelligence Beyond Biology and Computation. AAAI Fall Symposium: Naturally-Inspired Artificial Intelligence 2008: 35-37 - 2007
- [j31]Sarabjot Singh Anand, Daniel Bahls, Catherina Burghart, Mark H. Burstein, Huajun Chen, John Collins, Thomas G. Dietterich, Jon Doyle, Chris Drummond, William Elazmeh, Christopher W. Geib, Judy Goldsmith, Hans W. Guesgen, Jim Hendler, Dietmar Jannach, Nathalie Japkowicz, Ulrich Junker, Gal A. Kaminka, Alfred Kobsa, Jérôme Lang, David B. Leake, Lundy Lewis, Gerard Ligozat, Sofus A. Macskassy, Drew V. McDermott, Ted Metzler, Bamshad Mobasher, Ullas Nambiar, Zaiqing Nie, Klas Orsvärn, Barry O'Sullivan, David V. Pynadath, Jochen Renz, Rita V. Rodríguez, Thomas Roth-Berghofer, Stefan Schulz, Rudi Studer, Yimin Wang, Michael P. Wellman:
AAAI-07 Workshop Reports. AI Mag. 28(4): 119-128 (2007) - [c23]Andrew W. Wicker, Jon Doyle:
Interest-Matching Comparisons using CP-nets. AAAI 2007: 1914-1915 - 2006
- [b1]Jon Doyle:
Extending mechanics to minds - the mechanical foundations of psychology and economics. Cambridge University Press 2006, ISBN 978-0-521-86197-7, pp. I-XXI, 1-453 - [c22]Jon Doyle:
On Mechanization of Thought Processes (Extended Abstract). KR 2006: 2 - 2005
- [c21]Tony Abou-Assaleh, Nick Cercone, Jon Doyle, Vlado Keselj, Chris Whidden:
DalTREC 2005 QA System Jellyfish: Mark-and-Match Approach to Question Answering. TREC 2005 - 2004
- [j30]Jon Doyle:
Prospects for Preferences. Comput. Intell. 20(2): 111-136 (2004) - [j29]Michael McGeachie, Jon Doyle:
Utility Functions for Ceteris Paribus Preferences. Comput. Intell. 20(2): 158-217 (2004) - 2002
- [j28]M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat:
AAAI 2002 Workshops. AI Mag. 23(4): 113-121 (2002) - [j27]Jon Doyle:
What is Church's Thesis? An Outline. Minds Mach. 12(4): 519-520 (2002) - [c20]Michael McGeachie, Jon Doyle:
Efficient Utility Functions for Ceteris Paribus Preferences. AAAI/IAAI 2002: 279-284 - 2001
- [c19]Jon Doyle, Michael McGeachie:
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems. IWSAS 2001: 158-170 - 2000
- [c18]Howard E. Shrobe, Jon Doyle:
Active Trust Management for Autonomous Adaptive Survivable Systems. IWSAS 2000: 40-49
1990 – 1999
- 1999
- [j26]Jon Doyle, Richmond H. Thomason:
Background to Qualitative Decision Theory. AI Mag. 20(2): 55-68 (1999) - 1997
- [j25]Jon Doyle, Thomas L. Dean:
Strategic Directions in Artificial Intelligence (Reprint). AI Mag. 18(1): 87-101 (1997) - 1996
- [j24]Jon Doyle:
Cleaving (Unto) Artificial Intelligence. ACM Comput. Surv. 28(4es): 4 (1996) - [j23]Peter Wegner, Jon Doyle:
Editorial: Strategic Directions in Computing Research. ACM Comput. Surv. 28(4): 565-574 (1996) - [j22]Jon Doyle, Thomas L. Dean:
Strategic Directions in Artificial Intelligence. ACM Comput. Surv. 28(4): 653-670 (1996) - [e2]Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro:
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996. Morgan Kaufmann 1996, ISBN 1-55860-421-9 [contents] - 1994
- [j21]Jon Doyle:
Inference and Acceptance: Comment on Kyburg's "Believing on the Basis ofthe Evidence". Comput. Intell. 10: 46-48 (1994) - [j20]Jon Doyle:
Reasoned Assumptions and Rational Psychology. Fundam. Informaticae 20(1/2/3): 35-73 (1994) - [e1]Jon Doyle, Erik Sandewall, Pietro Torasso:
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994. Morgan Kaufmann 1994, ISBN 1-55860-328-X [contents] - 1992
- [j19]Elisha Sacks, Jon Doyle:
Epilegomenon. Comput. Intell. 8: 326-335 (1992) - [j18]Jon Doyle:
Rationality and its Roles in Reasoning. Comput. Intell. 8: 376-40 (1992) - 1991
- [j17]Jon Doyle, Ramesh S. Patil:
Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services. Artif. Intell. 48(3): 261-297 (1991) - [j16]Jon Doyle, Michael P. Wellman:
Impediments to Universal Preference-Based Default Theories. Artif. Intell. 49(1-3): 97-128 (1991) - [j15]Jon Doyle, Elisha Sacks:
Markov analysis of qualitative dynamics. Comput. Intell. 7: 1-10 (1991) - [c17]Michael P. Wellman, Jon Doyle:
Preferential Semantics for Goals. AAAI 1991: 698-703 - [c16]Jon Doyle, Yoav Shoham, Michael P. Wellman:
A Logic of Relative Desire (Preliminary Report). ISMIS 1991: 16-31 - [c15]Jon Doyle:
Rational Belief Revision. KR 1991: 163-174 - 1990
- [c14]Jon Doyle:
Rationality and its Roles in Reasoning (Extended Abstract). AAAI 1990: 1093-1100
1980 – 1989
- 1989
- [j14]Jon Doyle:
Constructive belief and rational representation. Comput. Intell. 5: 1-11 (1989) - [c13]Jon Doyle, Elisha Sacks:
Stochastic Analysis of Qualitative Dynamics. IJCAI 1989: 1187-1192 - [c12]Jon Doyle, Michael P. Wellman:
Impediments to Universal Preference-Based Default Theories. KR 1989: 94-102 - [c11]Jon Doyle:
Rational control of reasoning in Artificial Intelligence. The Logic of Theory Change 1989: 19-48 - 1988
- [j13]Jon Doyle:
Big Problems for Artificial Intelligence - Guest Editorial. AI Mag. 9(1): 19-22 (1988) - [c10]Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore:
Panel: Locality vs. Rationality. TARK 1988: 343 - [c9]Jon Doyle:
Knowledge, Representation, and Rational Self-Government. TARK 1988: 345-354 - 1985
- [j12]Jon Doyle:
Circumscription and Implicit Definability. J. Autom. Reason. 1(4): 391-405 (1985) - [j11]Jon Doyle:
Expert Systems and the "Myth'' of Symbolic Reasoning. IEEE Trans. Software Eng. 11(11): 1386-1390 (1985) - [c8]Jon Doyle:
Reasoned Assumptions and Pareto Optimality. IJCAI 1985: 87-90 - 1984
- [j10]Jon Doyle:
Expert Systems Without Computers, or Theory and Trust in Artificial Intelligence. AI Mag. 5(2): 59-63 (1984) - [c7]Jon Doyle:
Circumscription and Implicit Definability. NMR 1984: 57-69 - 1983
- [j9]Jon Doyle:
Methodological Simplicity in Expert System Construction: The Case of Judgments and Reasoned Assumptions. AI Mag. 4(2): 39-43 (1983) - [j8]Jon Doyle:
What Is Rational Psychology? Toward a Modern Mental Philosophy. AI Mag. 4(3): 50-53 (1983) - [j7]Jon Doyle:
What Should Artificial Intelligence Want from the Supercomputers? AI Mag. 4(4): 33-35 (1983) - [j6]Jon Doyle:
Admissible State Semantics for Representational Systems. Computer 16(10): 119-123 (1983) - [c6]Jon Doyle:
A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies. IJCAI 1983: 309-314 - [c5]Jon Doyle:
The Ins and Outs of Reason Maintenance. IJCAI 1983: 349-351 - 1981
- [j5]Jon Doyle:
A model for deliberation, action, and introspection. SIGART Newsl. 75: 10 (1981) - 1980
- [j4]Drew V. McDermott, Jon Doyle:
Non-Monotonic Logic I. Artif. Intell. 13(1-2): 41-72 (1980) - [j3]Jon Doyle, Philip London:
A selected descriptor-indexed bibliography to the literature on belief revision. SIGART Newsl. 71: 7-22 (1980)
1970 – 1979
- 1979
- [j2]Jon Doyle:
A Truth Maintenance System. Artif. Intell. 12(3): 231-272 (1979) - [c4]Jon Doyle:
A Glimpse of Truth Maintenance. IJCAI 1979: 232-237 - [c3]Drew V. McDermott, Jon Doyle:
An Introduction to Non-Monotonic Logic. IJCAI 1979: 562-567 - 1977
- [c2]Jon Doyle:
Truth Maintenance Systems for Problem Solving. IJCAI 1977: 247 - [c1]Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman:
AMORD explicit control of reasoning. Artificial Intelligence and Programming Languages 1977: 116-125 - 1976
- [j1]Jon Doyle, Ronald L. Rivest:
Linear Expected Time of a Simple Union-Find Algorithm. Inf. Process. Lett. 5(5): 146-148 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
