aaai 1984 论文列表
Proceedings of the National Conference on Artificial Intelligence. Austin, TX, USA, August 6-10, 1984.
|
Three Findpath Problems.
Path Relaxation: Path Planning for a Mobile Robot.
Task Frames in Robot Manipulation.
Fingerprints Theorems.
The Shape of Subjective Contours.
Efficient Multiresolution Algorithms for Computing Lightness, Shape-From-Shading, and Optical Flow.
Shading Into Texture.
A Representation for Image Curves.
Domain Independent Object Description and Decomposition.
A System of Plans for Connected Speech Recognition.
Reconstructing a Visible Surface.
A Production Rule System for Message Summarization.
Frame Selection in Parsing.
Living Up To Expectations: Computing Expert Responses.
A Semantic Process for Syntactic Disambiguation.
Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure.
Learning Operator Transformations.
Generalization for Explanation-Based Schema Acquisition.
Constraint-Based Generalization: Learning Game-Playing Plans From Single Examples.
Maintaining Diversity in Genetic Search.
Towards Chunking as a General Learning Mechanism.
Learning About Systems That Contain State Variables.
Learning Problem Classes by Means of Experimentation and Generalization.
Constraint Limited Generalization: Acquiring Procedures From Examples.
Very-High-Level Programming of Knowledge Representation Schemes.
Implicit Ordering of Defaults in Inheritance Systems.
Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks.
Expressiveness of Languages.
Processing Entailments and Accessing Facts in a Uniform Frame System.
A Set-Theoretic Framework for the Processing of Uncertain Knowledge.
A Self-Organizing Retrieval System for Graphs.
A Logic of Implicit and Explicit Belief.
Likelihood, Probability, and Knowledge.
The Tractability of Subsumption in Frame-Based Description Languages.
Continuous Belief Functions for Evidential Reasoning.
Selective Abstraction of AI System Activity.
Self-Explanatory Financial Planning Models.
YES/MVS: A Continuous Real Time Expert System.
Classification Problem Solving.
Personal Construct Theory and the Transfer of Human Expertise.
Phenomenologically Plausible Parsing.
Explaining and Arguing With Examples.
Automated Cognitive Modeling.
A Model of Lexical Access of Ambiguous Words.
The Use of Continuity in a Qualitative Physics.
A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution.
Knowledge Inversion.
Qualitative Modeling in the Turbojet Engine Domain.
D-Node Retargeting in Bidirectional Heuristic Search.
How to Cope With Anomalies in Parallel Approximate Branch-and-Bound Algorithms.
A General Bottom-up Procedure for Searching And/Or Graphs.
Meta-Level Control Through Fault Detection and Diagnosis.
Diagnosing Circuits With State: An Inherently Underconstrained Problem.
Non-Monotonic Reasoning Using Dempster's Rule.
A Theory of Action for MultiAgent Planning.
Qualitative Reasoning With Higher-Order Derivatives.
Choices Without Backtracking.
Towards a Better Understanding of Bidirectional Search.
A Forward Inference Engine to Aid in Understanding Specifications.
Focusing in Plan Recognition.
A Self-Modifying Theorem Prover.
Generalization Heuristics for Theorems Related to Recursively Defined Functions.
Five Parallel Algorithms for Production System Execution on the DADO Machine.
Initial Assessment of Architectures for Production Systems.
Syntax Programming.
Hardware and Software Architectures for Efficient AI.
Context-Dependent Transitions in Tutoring Discourse.
Intention-Based Diagnosis of Programming Errors.
An Interactive Computer-Based Tutor for LISP.
