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
- Robert G. Farrell:
Facilitating Self-Education by Questioning Assumptive Reasoning.
2-7
Automated Reasoning
Automatic Programming
Constraints
Planning
- John C. Hogge:
Prevention Techniques for a Temporal Planner.
43-48
- Thomas Dean, Mark S. Boddy:
An Analysis of Time-Dependent Planning.
49-54
- Edwin P. D. Pednault:
Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent Effects.
55-59
- Leslie Pack Kaelbling:
Goals as Parallel Program Specifications.
60-64
- Edmund H. Durfee, Victor R. Lesser:
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains.
65-71
- Thomas J. Laffey, Scott M. Weitzenkamp, Jackson Y. Read, Simon A. Kao, James L. Schmidt:
Intelligent Real-Time Monitoring.
72-76
- Peng Si Ow, Stephen F. Smith, Alfred Thirlez:
Reactive Plan Revision.
77-82
- Jose A. Ambros-Ingerson, Sam Steel:
Integrating Planning, Execution and Monitoring.
83-88
- Marianne Winslett:
Reasoning about Action Using a Possible Models Approach.
89-93
- Reid G. Simmons:
A Theory of Debugging Plans and Interpretations.
94-99
- John S. Anderson, Arthur M. Farley:
Plan Abstraction Based on Operator Generalization.
100-104
- Yasuyuki Maeda, Katsuya Shinohara:
Geometric Reasoning and Organized Optimization for Automated Process Planning.
105-110
Rule-Based Reasoning
- Eric Horvitz:
Reasoning under Varying and Uncertain Resource Constraints.
111-116
- James Bowen, Jianchu Kang:
Conflict Resolution in Fuzzy Forward-Chaining Production Systems.
117-121
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
- Steven Minton:
Quantitative Results Concerning the Utility of Explanation-Based Learning.
564-569
- Thomas Ellman:
Approximate Theory Formation: An Explanation-Based Approach.
570-574
- Michael S. Braverman, Stuart J. Russell:
IMEX: Overcoming Intactability In Explanation Based Learning.
575-579
- Jonathan Amsterdam:
Some Philosophical Problems with Formal Learning Theory.
580-584
- Allen Ginsberg:
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy.
585-589
- Allen Ginsberg:
Theory Revision via Prior Operationalization.
590-595
Empirical Learning
Formal Results in Learning
Knowledge Acquisition
- David C. Wilkins:
Knowledge Base Refinement Using Apprenticeship Learning Techniques.
646-653
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
- Samuel S. Epstein:
Principle-Based Interpretation of Natural Language Quantifiers.
718-723
Speech
Dialogue
Robotics
Robotics
Integrated Robotics
User Interfaces
Vision
Invited Talks and Panels
- Michael L. Brodie:
Future Intelligent Information Systems: AI and Database Technologies Working Together.
844-845
- Harold Cohen:
How to Draw Three People in a Botanical Garden.
846-
Copyright © Sun Mar 14 22:54:08 2010
by Michael Ley (ley@uni-trier.de)
