Works (105)
Updated: April 4th, 2024 09:35
2021 journal article
Ensuring Data Readiness for Quality Requirements with Help from Procedure Reuse
ACM JOURNAL OF DATA AND INFORMATION QUALITY, 13(3).
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
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
Ed(s): L. Jia & C. Morisset
Source: ORCID
Added: January 7, 2021
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*
author keywords: Attribute-based access control; security; policy formalism; logical models
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
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
Source: ORCID
Added: December 6, 2019
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).
author keywords: Multi-agent systems; Plan recognition
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
Contributors: C. Argenta &
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
Source: ORCID
Added: December 6, 2019
2016 journal article
Fast Hamiltonian Monte Carlo Using GPU Computing
JOURNAL OF COMPUTATIONAL AND GRAPHICAL STATISTICS, 25(2), 536–548.
Contributors: A. Beam, S. Ghosh* & *
author keywords: GPU; Hamiltonian Monte Carlo; MCMC; Multinomial regression
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)
arxiv.org (repository)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
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
Source: ORCID
Added: December 6, 2019
2016 conference paper
Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making
2016 ieee international professional communication conference (ipcc).
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 Goal Categories
8. Decent Work and Economic Growth
(OpenAlex)
Sources: NC State University Libraries, NC State University Libraries
Added: August 6, 2018
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
author keywords: Dose-response; Epistasis; Bayesian nonparametric; Neural network; Machine learning
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 Goal Categories
3. Good Health and Well-being
(Web of Science)
Sources: ORCID, NC State University Libraries, 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).
Contributors: F. Alborzi n, R. Chirkova n, n & Y. Fathi n
author keywords: Big data quality; Big data analytics and user interfaces; Data readiness level; Data quality measurement; Data quality improvement
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 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.
Source: 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.
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
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 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
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
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 Goal Categories
3. Good Health and Well-being
(Web of Science)
Sources: ORCID, NC State University Libraries, NC State University Libraries
Added: August 6, 2018
2013 article
Mechanics and Mental Change
Evolution of Semantic Systems, pp. 127–150.
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
2013 chapter
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)
Source: ORCID
Added: December 6, 2019
2012 article
Leveraging Multiple Mechanisms for Information Propagation
Advanced Agent Technology, pp. 1–2.
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.
Source: NC State University Libraries
Added: August 6, 2018
2012 conference paper
UCON LEGAL
Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.
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
2011 journal article
The local geometry of multiattribute tradeoff preferences
ARTIFICIAL INTELLIGENCE, 175(7-8), 1122–1152.
author keywords: Decision theory; Preference representation; Multiattribute tradeoffs; Ceteris paribus reasoning
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
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
Source: ORCID
Added: December 6, 2019
2008 journal article
Semantic Parameterization: A Process for Modeling Domain Descriptions
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 18(2).
author keywords: Documentation; Standardization; Human Factors; Natural language; domain knowledge; formal specification; description logic
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
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
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
Source: ORCID
Added: December 6, 2019
2006 article
Attitudes, outlook, and memory
Extending Mechanics to Minds, pp. 251–275.
Source: ORCID
Added: December 5, 2019
2006 article
Bibliography
Extending Mechanics to Minds, pp. 429–442.
Source: ORCID
Added: December 5, 2019
2006 article
Dynamics
Extending Mechanics to Minds, pp. 135–172.
Source: ORCID
Added: December 5, 2019
2006 article
Effectiveness
Extending Mechanics to Minds, pp. 392–398.
Source: ORCID
Added: December 5, 2019
2006 book
Extending Mechanics to Minds
In Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics (Vol. 9780521861977, pp. 1–453).
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.
Source: NC State University Libraries
Added: August 6, 2018
2006 article
Finitism
Extending Mechanics to Minds, pp. 399–404.
Source: ORCID
Added: December 5, 2019
2006 article
Kinematics
Extending Mechanics to Minds, pp. 88–134.
Source: ORCID
Added: December 5, 2019
2006 article
Learning
Extending Mechanics to Minds, pp. 326–345.
Source: ORCID
Added: December 5, 2019
2006 article
Materialism
Extending Mechanics to Minds, pp. 373–378.
Source: ORCID
Added: December 5, 2019
2006 article
Mechanical intelligence
Extending Mechanics to Minds, pp. 3–9.
Source: ORCID
Added: December 5, 2019
2006 article
Mental varieties
Extending Mechanics to Minds, pp. 225–240.
Source: ORCID
Added: December 5, 2019
2006 article
Mind and body
Extending Mechanics to Minds, pp. 241–250.
Source: ORCID
Added: December 5, 2019
2006 article
Outline of the book
Extending Mechanics to Minds, pp. xix-xxii.
Source: ORCID
Added: December 5, 2019
2006 article
Preface
Extending Mechanics to Minds, pp. xi-xviii.
Source: ORCID
Added: December 5, 2019
2006 article
Rationality
Extending Mechanics to Minds, pp. 295–325.
Source: ORCID
Added: December 5, 2019
2006 article
Reasoning
Extending Mechanics to Minds, pp. 276–294.
Source: ORCID
Added: December 5, 2019
2006 article
Reductionism
Extending Mechanics to Minds, pp. 379–391.
Source: ORCID
Added: December 5, 2019
2006 article
Reflections
Extending Mechanics to Minds, pp. 407–424.
Source: ORCID
Added: December 5, 2019
2006 article
System of Notation
Extending Mechanics to Minds, pp. 425–428.
Source: ORCID
Added: December 5, 2019
2006 article
The character of mechanical law
Extending Mechanics to Minds, pp. 173–222.
Source: ORCID
Added: December 5, 2019
2006 article
Uncertainty
Extending Mechanics to Minds, pp. 346–370.
Source: ORCID
Added: December 5, 2019
2006 article
What is mechanics?
Extending Mechanics to Minds, pp. 71–87.
Source: ORCID
Added: December 5, 2019
2006 article
Why mechanics now?
Extending Mechanics to Minds, pp. 47–68.
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
Source: ORCID
Added: December 6, 2019
2004 article
Prospects for preferences
Doyle, J. (2004, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 111–136.
author keywords: decision theory; preference; utility; rationality; limited rationality; reasoning; learning; preference representation; preference structure; preference change
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, May). COMPUTATIONAL INTELLIGENCE, Vol. 20, pp. 158–217.
author keywords: qualitative decision theory; rationality; ceteris paribus preferences
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 Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
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
author keywords: intrusion detection; architecture; sensors; distributed monitoring
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
Self-Adaptive Software: Applications, pp. 158–170.
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 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.
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
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
Source: ORCID
Added: December 6, 2019
2002 article
What is Church's thesis? An outline
Doyle, J. (2002, November). MINDS AND MACHINES, Vol. 12, pp. 519–520.
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.
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)
Self-Adaptive Software, pp. 40–49.
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 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
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
Source: ORCID
Added: December 6, 2019
1996 journal article
Cleaving (unto) artificial intelligence
CSUR, 28(4es), 4-es.
Source: ORCID
Added: December 5, 2019
1996 journal article
Editorial: Strategic directions in computing research
CSUR, 28(4), 565–574.
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 journal article
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.
Source: NC State University Libraries
Added: August 6, 2018
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.
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
Principles of Knowledge Representation and Reasoning, p. ix.
Source: ORCID
Added: December 5, 2019
1994 journal article
Reasoned assumptions and rational psychology
Fundamenta Informaticae, 20(1-3), 35–73.
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 journal article
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
Artificial Intelligence Planning Systems, pp. 236–242.
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
Source: ORCID
Added: December 6, 2019
1992 journal article
PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS
Computational Intell, 8(2), 187–209.
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)
Source: ORCID
Added: December 5, 2019
1992 journal article
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
Economics and Cognitive Science, pp. 5–13.
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.
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
(P. Gärdenfors, Ed.). Belief Revision, pp. 29–51.
Ed(s): P. Gärdenfors
Source: ORCID
Added: December 5, 2019
1991 article
A logic of relative desire
Methodologies for Intelligent Systems, pp. 16–31.
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 Goal Categories
11. Sustainable Cities and Communities
(OpenAlex)
Source: ORCID
Added: December 5, 2019
1991 journal article
Impediments to universal preference-based default theories
Artificial Intelligence, 49(1-3), 97–128.
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 Goal Categories
10. Reduced Inequalities
(OpenAlex)
Source: ORCID
Added: December 6, 2019
1991 journal article
Markov analysis of qualitative dynamics
Computational Intell, 7(1), 1–10.
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
The Logic of Theory Change, pp. 19–48.
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 Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: ORCID
Added: December 5, 2019
1991 journal article
Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services
Artificial Intelligence, 48(3), 261–297.
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 journal article
Book review: Philosophical Logic and Artificial Intelligence. Edited by Richmond H. Thomason (Kluwer Academic Publishers, 1989)
SIGART Bull., 2(1), 77–78.
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 journal article
Perceptive questions about computation and cognition
Behav Brain Sci, 13(04), 661.
UN Sustainable Development Goal Categories
4. Quality Education
(OpenAlex)
Source: ORCID
Added: December 5, 2019
1989 journal article
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 Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: ORCID
Added: December 5, 2019
1987 article
Admissible State Semantics for Representational Systems
The Knowledge Frontier, pp. 174–186.
Source: ORCID
Added: December 5, 2019
1987 journal article
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 journal article
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 journal article
Expert Systems and the “Myth” of Symbolic Reasoning
IEEE Transactions on Software Engineering, SE-11(11), 1386–1390.
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 Goal Categories
8. Decent Work and Economic Growth
(OpenAlex)
Source: ORCID
Added: December 6, 2019
1983 article
Admissible State Semantics for Representational Systems
Computer, Vol. 16, pp. 119–123.
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
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
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.
Readings in Artificial Intelligence, pp. 496–516.
Source: ORCID
Added: December 5, 2019
1981 journal article
A model for deliberation, action, and introspection
SIGART Bull., 1(75), 10–10.
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 Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: ORCID
Added: December 5, 2019
1980 journal article
A selected descriptor-indexed bibliography to the literature on belief revision
SIGART Bull., 4(71), 7–22.
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 journal article
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 journal article
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
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
Source: ORCID
Added: December 6, 2019
1977 journal article
AMORD explicit control of reasoning
SIGPLAN Not., 12(8), 116–125.
Contributors: J. Kleer*, * , G. Steele * & G. Sussman*
Source: ORCID
Added: December 5, 2019
1977 journal article
AMORD explicit control of reasoning
SIGART Bull., 8(64), 116–125.
Source: ORCID
Added: December 5, 2019
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
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 journal article
Linear expected time of a simple union-find algorithm
Information Processing Letters, 5(5), 146–148.
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© (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.
