aaai 1993 论文列表Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. |
A Fuzzy Controller for Flakey, the Robot.
Alessandro Saffiotti Nicolas Helft Kurt Konolige John D. Lowrance Karen L. Myers Daniela Musto Enrique H. Ruspini Leonard P. Wesley
Computer Vision Research at the University of Massachusetts.
Selective Perception for Robot Driving.
AIR-SOAR: Intelligent Multi-Level Control.
Winning the AAAI Robot Competition.
David Kortenkamp Marcus J. Huber Charles J. Cohen Ulrich Raschke Clint Bidlack Clare Bates Congdon Frank Koss Terry E. Weymouth
Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract).
A Demonstration of the "Circuit Fix-it Shoppe".
Artificial Intelligence as an Experimental Science (Abstract).
Tiger in a Cage: The Applications of Knowledge-based Systems (1993) - Abstract.
On the Qualitative Structure of Temporally Evolving Visual Motion Fields.
Learning Object Models from Appearance.
Range Estimation From Focus Using a Non-frontal Imaging Camera.
Polly: A Vision-Based Artificial Agent.
Learning Semantic Grammars with Constructive Inductive Logic Programming.
Automatically Constructing a Dictionary for Information Extraction Tasks.
KITSS: A Knowledge-Based Translation System for Test Scenarios.
A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis.
Estimating Probability Distributions over Hypotheses with Variable Unification.
Equations for Part-of-Speech Tagging.
Using an Annotated Language Corpus as a Virtual Stochastic Grammar.
Depth-First vs. Best-First Search: New Results.
Conjunctive Width Heuristics for Maximal Constraint Satisfaction.
Pruning Duplicate Nodes in Depth-First Search.
Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias.
Generating Effective Admissible Heuristics by Abstraction and Reconstitution.
Innovative Design as Systematic Search.
Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems.
Time-Saving Tips for Problem Solving with Incomplete Information.
Comprehensibility Improvement of Tabular Knowledge Bases.
Supporting and Optimizing Full Unification in a Forward Chaining Rule System.
Exploring the Structure of Rule Based Systems.
The Paradoxical Success of Fuzzy Logic.
The Frame Problem and Knowledge-Producing Actions.
The Semantics of Event Prevention.
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation.
Towards Knowledge-Level Analysis of Motion Planning.
All They Know About.
Reasoning about only Knowing with Many Agents.
Revision by Conditional Beliefs.
Abduction As Belief Revision: A Model of Preferred Explanations.
Model Simplification by Asymptotic Order of Magnitude Reasoning.
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices.
Understanding Linkages.
A Qualitative Method to Construct Phase Portraits.
Numerical Behavior Envelopes for Qualitative Models.
Ideal Physical Systems.
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design.
Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis.
Task Interdependencies in Design-to-time Real-time Scheduling.
Planning With Deadlines in Stochastic Domains.
A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance.
Real-Time Self-Explanatory Simulation.
Generating Quasi-symbolic Representation of Three-Dimensional Flow.
Efficient Reasoning in Qualitative Probabilistic Networks.
Numeric Reasoning with Relative Orders of Magnitude.
Qualitatively Describing Objects Using Spatial Prepositions.
On the Masking Effect.
Learning Plan Transformations from Self-Questions: A Memory-Based Approach.
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning.
Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds.
Postponing Threats in Partial-Order Planning.
Threat-Removal Strategies for Partial-Order Planning.
Granularity in Multi-Method Planning.
An Average Case Analysis of Planning.
Scientific Model-Building as Search in Matrix Spaces.
Learning from an Approximate Theory and Noisy Examples.
Learning Interface Agents.
Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation.
Algebraic Sematics for Cumulative Inference Operations.
Subnormal Modal Logics for Knowledge Representation.
Restricted Monotonicity.
Reasoning Precisely with Vague Concepts.
Generating Explicit Orderings for Non-monotonic Logics.
Propositional Logic of Context.
A Context-Based Framework for Default Logics.
Minimal Belief and Negation as Failure: A Feasible Approach.
Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors.
Efficient Heuristic Natural Language Parsing.
Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing.
Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System.
Corpus Analysis for Revision-Based Generation of Complex Sentences.
Communicative Acts for Generating Natural Language Arguments.
Bidirectional Chart Generation of Natural Language Texts.
Generating Argumentative Judgment Determiners.
Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks.
Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning.
OC1: A Randomized Induction of Oblique Decision Trees.
Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract).
Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems.
Case-Method: A Methodology for Building Large-Scale Case-Based Systems.
Massively Parallel Support for Computationally Effective Recognition Queries.
Matching 100, 000 Learned Rules.
A Conversational Model of Multimodal Interaction in Information Systems.
Building Models to Support Synthesis in Early Stage Product Design.
Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts.
Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering.
An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations.
IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments.
Agents Contracting Tasks in Non-Collaborative Environments.
A Fast First-Cut Protocol for Agent Coordination.
Solving the Really Hard Problems with Cooperative Search.
Overeager Reciprocal Rationality and Mixed Strategy Equilibria.
Quantitative Modeling of Complex Computational Task Environments.
A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks.
An Optimizing Method for Structuring Inferentially Linked Discourse.
Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control.
A Method for Development of Dialogue Managers for Natural Language Interfaces.
A Framework for Model-Based Repair.
An Epistemology for Clinically Significant Trends.
Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices.
Multiple Dimensions of Generalization In Model-Based Troubleshooting.
Extending Deep Structure.
A Constraint Decomposition Method for Spatio-Temporal Configuration Problems.
Slack-Based Heuristics for Constraint Satisfaction Scheduling.
Nondeterministic Lisp as a Substrate for Constraint Logic Programming.
Coping With Disjunctions in Temporal Constraint Satisfaction Problems.
Integrating Heuristics for Constraint Satisfaction Problems: A Case Study.
On the Consistency of General Constraint-Satisfaction Problems.
Arc-Consistency and Arc-Consistency Again.
Complexity Analysis of Real-Time Reinforcement Learning.
Learnability in Inductive Logic Programrning: Some Basic Results and Techniques.
Pac-Learning a Restricted Class of Recursive Logic Programs.
Cryptographic Limitations on Learning One-Clause Logic Programs.
A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge.
Case-Based Diagnostic Analysis in a Blackboard Architecture.
Representing and Using Procedural Knowledge to Build Geometry Proofs.
Projective Visualization: Acting from Experience.
An Empirical Study of Greedy Local Search for Satisfiability Testing.
The Breakout Method for Escaping from Local Minima.
Reasoning With Characteristic Models.
Towards an Understanding of Hill-Climbing Procedures for SAT.
Experimental Results on the Crossover Point in Satisfiability Problems.
Rough Resolution: A Refinement of Resolution to Remove Large Literals.
On the Adequateness of the Connection Method.
On Computing Minimal Models.