aaai 1986 论文列表Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science. |
Signal Matching Through Scale Space.
Linear Image Features in Stereopsis.
Constraint-Theorems on the Prototypification of Shape.
Parts: Structured Descriptions of Shape.
A Stereo Integral Equation.
Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective Projection.
A Stochastic Approach to Stereo Vision.
3-D Motion Recovery From Time-Varying Optical Flows.
Shape from Darkness: Deriving Surface Information from Dynamic Shadows.
Depth and Flow From Motion Energy.
On the Reconstruction of a Scene from Two Unregistered Images.
SIMD Tree Algorithms for Image Correlation.
Abstraction and Representation of Continuous Variables in Connectionist Networks.
Tactile Recognition by Probing: Identifying a Polygon on a Plane.
A Simple Motion Planning Algorithm for General Robot Manipulators.
Understanding Plan Ellipsis.
A Logical-Form and Knowledge-Base Design for Natural Language Generation.
Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring.
Are There Preference Trade-offs in Attachment Decisions?
Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing.
Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers.
A Neat Theory of Marker Passing.
Dual Frames: A New Tool for Semantic Parsing.
Dynamically Combining Syntax and Semantics in Natural Language Processing.
Learning by Failing to Explain.
Mapping Explanation-Based Generalization onto Soar.
Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures.
A Domain Independent Explanation-Based Generalizer.
The Role of Prior Causal Theories in Generalization.
Constructing and Refining Causal Explanations from an Inconsistent Domain Theory.
Not the Path to Perdition: The Utility of Similarity-Based Learning.
STAHLp: Belief Revision in Scientific Discovery.
A Case-Based Reasoning System for Subjective Assessment.
Factorization in Experiment Generation.
Generating Predictions to Aid the Scientific Discovery Process.
Conceptual Clustering Using Relational Information.
Beyond Incremental Processing: Tracking Concept Drift.
A Case Study of Incremental Concept Induction.
The FERMI System: Inducing Iterative Macro-Operators from Experience.
Quantifying the Inductive Bias in Concept Learning (Extended Abstract).
Preliminary Steps Toward the Automation of Induction.
Inductive Inference by Refinement.
Optimal Allocation of Very Limited Search Resources.
Selecting Appropriate Representations for Learning from Examples.
Discovering Functional Formulas through Changing Representation Base.
On Debugging Rule Sets When Reasoning Under Uncertainty.
Rule Refinement Using the Probabilistic Rule Generator.
A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems.
What Can Machines Know? On the Epistemic Properties of Machines.
Is Belief Revision Harder Than You Thought?
Self-Reference, Knowledge, Belief, and Modality.
A Viewpoint Distinction in the Representation of Propositional Attitudes.
Pointwise Circumscription: Preliminary Report.
The Logic of Persistence.
A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity.
Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories.
Propagating Temporal Constraints for Scheduling.
Constraint Propagation Algorithms for Temporal Reasoning.
A Representation for Temporal Sequence and Duration in Massively Parallel Networks.
A Representation for Collections of Temporal Intervals.
Time Representation: A Taxonomy of Internal Relations.
Primitives and Units for Time Specification.
On the Parallel Complexity of Some Constraint Satisfaction Problems.
A Four-Valued Semantics for Frame-Based Description Languages.
On the Logic of Probabilistic Dependencies.
Inference in a Topically Organized Semantic Net.
Default Reasoning, Nonmonotonic Logics, and the Frame Problem.
An Analysis of Tutorial Reasoning about Programming Bugs.
Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions.
Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models.
Debugging User Conceptions of Interpretation Processes.
Can a System Be Intelligent if It Never Gives a Damn?
Hypotheticals as Heuristic Device.
Quantitative Analysis of Analogy.
SNePS Considered as a Fully Intensional Propositional Semantic Network.
The Structure-Mapping Engine.
CHEF: A Model of Case-Based Planning.
Mixing Binary and Continuous Connection Schemes for Knowledge Access.
Uniform Parsing and Inferencing for Learning.
Editorial Comprehension in OpEd through Argument Units.
Multi-Valued Logics.
Implementation of and Experiments with a Variable Precision Logic Inference System.
Bayesian Inference without Point Estimates.
Advances in Rete Pattern Matching.
Causal and Plausible Reasoning in Expert Systems.
Using Decision Theory to Justify Heuristics.
A Framework for Comparing Alternative Formalisms for Plausible Reasoning.
Parallel Logical Inference and Energy Minimization.
An Integration of Resolution and Natural Deduction Theorem Proving.
Indefinite and GCWA Inference in Indefinite Deductive Databases.
Query Answering in Circumscriptive and Closed-World Theories.
Learning While Searching in Constraint-Satisfaction-Problems.
Joint and LPA*: Combination of Approximation and Search.
Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable.
Making Best Use of Available Memory When Searching Game Trees.
An Algorithmic Solution of N-Person Games.
Choosing Directions for Rules.
A Unified Theory of Heuristic Evaluation Functions and its Application to Learning.
Plausibility of Diagnostic Hypotheses: The Nature of Simplicity.
Reasoning about Multiple Faults.
A Reasoning Model Based on an Extended Dempster-Shafer Theory.
Commonsense Arithmetic Reasoning.
Interpreting Measurements of Physical Systems.
Doing Time: Putting Qualitative Reasoning on Firmer Ground.
Order of Magnitude Reasoning.
A Representation of Action Structures.
Generating Perception Requests and Expectations to Verify the Execution of Plans.
Planning with Abstraction.
The Representation of Events in Multiagent Domains.
An Adaptive Planner.
Incremental Planning to Control a Blackboard-based Problem Solver.
Cooperation without Communication.
Physics for Robots.
A Logic of Deliberation.
Generalized Plan Recognition.
Factual Knowledge For Developing Concurrent Programs.
Automatic Compilation of Logical Specifications into Efficient Programs.
Representing Actions with an Assumption-Based Truth Maintenance System.
Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover.
Reasoning with Simplifying Assumptions: A Methodology and Example.