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
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
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
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
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