2021 journal article
Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse
ACM JOURNAL OF DATA AND INFORMATION QUALITY, 13(3).
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
Ed(s): L. Jia & C. Morisset
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.
Contributors: J. Jiang n, R. Chirkova n, n & A. Rosenthal *
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
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).
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
Contributors: C. Argenta &
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
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
2016 conference paper
Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making
2016 ieee international professional communication conference (ipcc).
2015 journal article
An investigation of gene-gene interactions in dose-response studies with Bayesian nonparametrics
BioData Mining, 8(1).
Contributors: A. Beam, A. Motsinger-Reif n & n
2015 chapter
Determining Query Readiness for Structured Data
In Big Data Analytics and Knowledge Discovery (Vol. 9263, pp. 3–14).
Contributors: F. Alborzi n, R. Chirkova n, n & Y. Fathi n
2015 conference paper
Determining query readiness for structured data
Big data analytics and knowledge discovery, 9263, 3–14.
2015 journal article
Fast Hamiltonian Monte Carlo Using GPU Computing
JOURNAL OF COMPUTATIONAL AND GRAPHICAL STATISTICS, 25(2), 536–548.
Contributors: A. Beam, S. Ghosh* & *
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.
Contributors: H. Du n, B. Narron n, N. Ajmeri n , E. Berglund n , n & M. Singh n
Event: the 2015 Symposium and Bootcamp at United States
2014 journal article
Bayesian neural networks for detecting epistasis in genetic association studies
BMC Bioinformatics, 15(1), 368.
Contributors: A. Beam *, A. Motsinger-Reif n & n
2013 article
Mechanics and Mental Change
Evolution of Semantic Systems, pp. 127–150.
2013 chapter
2012 article
Leveraging Multiple Mechanisms for Information Propagation
Advanced Agent Technology, pp. 1–2.
2012 conference paper
Leveraging multiple mechanisms for information propagation
Advanced agent technology, 7068, 1–2.
2012 conference paper
UCON LEGAL
Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.
2010 journal article
The local geometry of multiattribute tradeoff preferences
ARTIFICIAL INTELLIGENCE, 175(7-8), 1122–1152.
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
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
2008 journal article
Semantic Parameterization: A Process for Modeling Domain Descriptions
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18(2).
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
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
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
2006 article
Attitudes, outlook, and memory
Extending Mechanics to Minds, pp. 251–275.
2006 article
Bibliography
Extending Mechanics to Minds, pp. 429–442.
2006 article
Dynamics
Extending Mechanics to Minds, pp. 135–172.
2006 article
Effectiveness
Extending Mechanics to Minds, pp. 392–398.
2006 book
Extending Mechanics to Minds
In Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics (Vol. 9780521861977, pp. 1–453).
2006 book
Extending mechanics to minds: The mechanical foundations of psychology and economics
Cambridge; New York: Cambridge University Press.
2006 article
Finitism
Extending Mechanics to Minds, pp. 399–404.
2006 article
Kinematics
Extending Mechanics to Minds, pp. 88–134.
2006 article
Learning
Extending Mechanics to Minds, pp. 326–345.
2006 article
Materialism
Extending Mechanics to Minds, pp. 373–378.
2006 article
Mechanical intelligence
Extending Mechanics to Minds, pp. 3–9.
2006 article
Mental varieties
Extending Mechanics to Minds, pp. 225–240.
2006 article
Mind and body
Extending Mechanics to Minds, pp. 241–250.
2006 article
Outline of the book
Extending Mechanics to Minds, pp. xix-xxii.
2006 article
Preface
Extending Mechanics to Minds, pp. xi-xviii.
2006 article
Rationality
Extending Mechanics to Minds, pp. 295–325.
2006 article
Reasoning
Extending Mechanics to Minds, pp. 276–294.
2006 article
Reductionism
Extending Mechanics to Minds, pp. 379–391.
2006 article
Reflections
Extending Mechanics to Minds, pp. 407–424.
2006 article
System of Notation
Extending Mechanics to Minds, pp. 425–428.
2006 article
The character of mechanical law
Extending Mechanics to Minds, pp. 173–222.
2006 article
Uncertainty
Extending Mechanics to Minds, pp. 346–370.
2006 article
What is mechanics?
Extending Mechanics to Minds, pp. 71–87.
2006 article
Why mechanics now?
Extending Mechanics to Minds, pp. 47–68.
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
2004 article
Prospects for preferences
Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 111–136.
2004 article
Utility functions for ceteris paribus preferences
McGeachie, M., & Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 158–217.
2003 conference paper
<title>Detection of intrusion across multiple sensors</title>
In P. K. Willett & T. Kirubarajan (Eds.), System Diagnosis and Prognosis: Security and Condition Monitoring Issues III (Vol. 5107, pp. 141–149).
Contributors: W. Long *, n , G. Burke* & P. Szolovits *
Ed(s): P. Willett & T. Kirubarajan
2003 article
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
Self-Adaptive Software: Applications, pp. 158–170.
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.
Ed(s): P. R. Laddaga & H. Shrobe
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
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
2002 article
What is Church's thesis? An outline
Doyle, J. (2002, November). MINDS AND MACHINES, Vol. 12, pp. 519–520.
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.
Ed(s): H. P. Robertson & R. Laddaga
2000 article
Active Trust Management for Autonomous Adaptive Survivable Systems (ATM’s for AAss’s)
Self-Adaptive Software, pp. 40–49.
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
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
1996 journal article
Cleaving (unto) artificial intelligence
CSUR, 28(4es), 4-es.
1996 journal article
Editorial: Strategic directions in computing research
CSUR, 28(4), 565–574.
Contributors: P. Wegner * & *
1996 journal article
1995 chapter
A truth maintenance system
In Computation and intelligence: Collected readings. Menlo Park, CA: AAAI Press.
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.
1994 article
Preface
Principles of Knowledge Representation and Reasoning, p. ix.
1994 journal article
Reasoned assumptions and rational psychology
Fundamenta Informaticae, 20(1-3), 35–73.
1992 journal article
1992 article
Modular Utility Representation for Decision-Theoretic Planning
Artificial Intelligence Planning Systems, pp. 236–242.
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
1992 journal article
PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS
Computational Intell, 8(2), 187–209.
Contributors: E. Sacks * & *
1992 journal article
1992 article
Rational Self-Government and Universal Default Logics
Economics and Cognitive Science, pp. 5–13.
1992 chapter
Rational self-government and universal default logics
In P. Bourgine & B. Walliser (Eds.), Economics and cognitive science. Oxford: Pergamon Press.
Ed(s): . P. Bourgine & B. Walliser
1992 article
Reason maintenance and belief revision: Foundations versus coherence theories
(P. Gärdenfors, Ed.). Belief Revision, pp. 29–51.
Ed(s): P. Gärdenfors
1991 article
A logic of relative desire
Methodologies for Intelligent Systems, pp. 16–31.
Contributors: , Y. Shoham* & M. Wellman * *
1991 journal article
Impediments to universal preference-based default theories
Artificial Intelligence, 49(1-3), 97–128.
1991 journal article
Markov analysis of qualitative dynamics
Computational Intell, 7(1), 1–10.
Contributors: & E. Sacks * *
1991 article
Rational control of reasoning in artificial intelligence
The Logic of Theory Change, pp. 19–48.
1991 journal article
Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services
Artificial Intelligence, 48(3), 261–297.
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.
1990 journal article
Perceptive questions about computation and cognition
Behav Brain Sci, 13(04), 661.
1989 journal article
1987 article
Admissible State Semantics for Representational Systems
The Knowledge Frontier, pp. 174–186.
1987 journal article
1985 journal article
1985 journal article
Expert Systems and the “Myth” of Symbolic Reasoning
IEEE Transactions on Software Engineering, SE-11(11), 1386–1390.
1983 article
Admissible State Semantics for Representational Systems
Computer, Vol. 16, pp. 119–123.
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
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
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.
1981 journal article
A model for deliberation, action, and introspection
SIGART Bull., 1(75), 10–10.
1980 journal article
A selected descriptor-indexed bibliography to the literature on belief revision
SIGART Bull., 4(71), 7–22.
1980 journal article
1979 journal article
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
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
1977 journal article
AMORD explicit control of reasoning
SIGPLAN Not., 12(8), 116–125.
Contributors: J. Kleer *, * , G. Steele * & G. Sussman*
1977 journal article
AMORD explicit control of reasoning
SIGART Bull., 8(64), 116–125.
1977 conference paper
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages -, 116–125.
Contributors: J. De Kleer *, * , G. Steele * & G. Sussinan
1976 journal article
Linear expected time of a simple union-find algorithm
Information Processing Letters, 5(5), 146–148.
Updated: April 8th, 2015 11:36
2001 - present
1990 - 2001
1988 - 1990
1984 - 1988
1981 - 1984
1980 - 1981
Updated: April 8th, 2015 11:39
1975 - 1980
1975 - 1977
1972 - 1974
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© (2024) 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.