aaai 1991 论文列表Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 1. |
Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System.
ACP: Reason Maintenance and Inference Control for Constraint Propagation Over Intervals.
The Common Order-Theoretic Structure of Version Spaces and ATMS's.
An Efficient First-Order Horn-Clause Abduction System Based on the ATMS.
Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief.
Explanation, Irrelevance, and Statistical Independence.
Combining Opinions About the Order of Rule Execution.
Concept Languages as Query Languages.
Deduction as Parsing: Tractable Classification in the KL-ONE Framework.
Integrating Rules in Term Subsumption Knowledge Representation Servers.
Is There any Need for Domain-Dependent Control Information?
A New Admissible Heuristic for Minimal-Cost Proofs.
Optimal Satisficing Tree Searches.
Depth-First Versus Best-First Search.
Mechanization of Analytic Reasoning About Sets.
Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics.
Step-Logic and the Three-Wise-Men Problem.
Incorporating Nonmonotonic Reasoning in Horn Clause Theories.
System-Z+: A Formalism for Reasoning with Variable-Strength Defaults.
Default Reasoning From Statistics.
Strong Introspection.
Default Logic, Propositional Logic, and Constraints.
Some Variations on Default Logic.
The P-Systems: A Systematic Classification of Logics of Nonmonotonicity.
A Logic and Time Nets for Probabilistic Inference.
A Critique of Yoav Shoham's Theory of Causal Reasoning.
Provably Correct Theories of Action (Preliminary Report).
A Logic of Situated Know-How.
Learning Meta Knowledge for Database Checking.
Formal Verification of Pure Production System Programs.
Verification of Multi-Level Rule-Based Expert Systems.
Using Abstraction to Automate Program Improvement by Transformation.
Control Issues in Parallel Rule-Firing Production Systems.
Implementation of Multiple Rule Firing Production Systems on Hypercube.
IXM2: A Parallel Associative Processor for Knowledge Processing.
Context Maintenance.
CATMS: An ATMS Which Avoids Label Explosions.
Using Attention in Belief Revision.
Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System.
Combining Qualitative and Quantitative Constraints in Temporal Reasoning.
Metric Constraints for Maintaining Appointments: Dates and Repeated Activities.
Temporal Reasoning During Plan Recognition.
Integrating Metric and Qualitative Temporal Reasoning.
On Generalized Interval Calculi.
Eliminating Interchangeable Values in Constraint Satisfaction Problems.
Arc-Consistency in Dynamic Constraint Satisfaction Problems.
Conditional Existence of Variables in Generalised Constraint Networks.
Toward an Intelligent Agent Flamework for Enterprise Integration.
Combining Specialized Reasoners and General Purpose Planners: A Case Study.
Sophisticated Cooperation in FA/C Distributed Problem Solving Systems.
A Dynamic Organizational Architecture for Adaptive Problem Solving.
The Function of Time in Cooperative Negotiations.
The Clarke Tax as a Consensus Mechanism Among Automated Agents.
The Utility of Communication in Coordinating Intelligent Agents.
A Probabilistic Model of Plan Recognition.
Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text.
High Performance Memory-Based Translation on IXM2 Massively Parallel Associative Memory Processor.
A Tabular Method for Island-Driven Context-Free Grammar Parsing.
ULINK: A Semantics-Driven Approach to Understanding Ungrammatical Input.
Tense Interpretation in the Context of Narrative.
From Syntax to Meaning in Natural Language Processing.
A Cognitively Plausible Approach to Understanding Complex Syntax.
Semantics-First Natural Language Processing.
Interpreting Prepositions Physically.
Generating Adjectives to Express the Speaker's Argumentative Intent.
Automatic Generation of Formatted Text.
Generating Interactive Explanations.
Piction: A System That Uses Captions to Label Human Faces in Newspaper Photographs.
A Tool for Achieving Consensus in Knowledge Representation.
Making Design Objects Relevant to the Task at Hand.
Planning Multimedia Explanations Using Communicative Acts.
Teaching Diagnostic Skills Using AI: An Architecture Suitable for Students and Teachers.
FITS: A Fraction Intelligent Tutoring System.
Student Modelling with Confluences.
Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel Problems.
The Roles of Adaptation in Case-Based Design.
Improving Rule-Based Systems Through Case-Based Reasoning.
Indexing Stories as Social Advice.
An Indexing Vocabulary for Case-Based Explanation.
Rules and Precedents as Complementary Warrants.