7. AAAI 1988:
St. Paul, Minnesota
Proceedings of the 7th National Conference on Artificial Intelligence. St. Paul,
MN, August 21-26, 1988. AAAI Press / The MIT Press, 1988, ISBN 0-262-51055-3
AI and Education
Automated Reasoning
Automatic Programming
Constraints
Planning
- John C. Hogge:
Prevention Techniques for a Temporal Planner.
43-48 BibTeX
- Thomas Dean, Mark S. Boddy:
An Analysis of Time-Dependent Planning.
49-54 BibTeX
- Edwin P. D. Pednault:
Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent Effects.
55-59 BibTeX
- Leslie Pack Kaelbling:
Goals as Parallel Program Specifications.
60-64 BibTeX
- Edmund H. Durfee, Victor R. Lesser:
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains.
65-71 BibTeX
- Thomas J. Laffey, Scott M. Weitzenkamp, Jackson Y. Read, Simon A. Kao, James L. Schmidt:
Intelligent Real-Time Monitoring.
72-76 BibTeX
- Peng Si Ow, Stephen F. Smith, Alfred Thirlez:
Reactive Plan Revision.
77-82 BibTeX
- Jose A. Ambros-Ingerson, Sam Steel:
Integrating Planning, Execution and Monitoring.
83-88 BibTeX
- Marianne Winslett:
Reasoning about Action Using a Possible Models Approach.
89-93 BibTeX
- Reid G. Simmons:
A Theory of Debugging Plans and Interpretations.
94-99 BibTeX
- John S. Anderson, Arthur M. Farley:
Plan Abstraction Based on Operator Generalization.
100-104 BibTeX
- Yasuyuki Maeda, Katsuya Shinohara:
Geometric Reasoning and Organized Optimization for Automated Process Planning.
105-110 BibTeX
Rule-Based Reasoning
Search
Theorem Proving
Truth Maintenance Systems
Uncertainty
Cognitive Modeling
Common Sense Reasoning
Qualitative Reasoning
Design
Diagnosis
Knowledge Representation
Knowledge Representation
Inheritance
Nonmonotonic Logic
Nonstandard Logics
Temporal Reasoning
Learning and Knowledge Acquisition
Learning
Analytic Learning
Empirical Learning
Formal Results in Learning
Knowledge Acquisition
Machine Architectures and Computer Languages for AI
Architectures and Languages for Problem Solving
Production Systems
Natural Language
Syntax
- Mary P. Harper:
Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence.
712-717 BibTeX
- Samuel S. Epstein:
Principle-Based Interpretation of Natural Language Quantifiers.
718-723 BibTeX
Speech
Dialogue
Robotics
Robotics
Integrated Robotics
User Interfaces
Vision
Invited Talks and Panels
Copyright © Sat May 16 22:55:28 2009
by Michael Ley (ley@uni-trier.de)