8. AAAI 1990:
Boston, Massachusetts
Proceedings of the 8th National Conference on Artificial Intelligence. Boston,
Massachusetts, July 29 - August 3, 1990. AAAI Press / The MIT Press,
1990, ISBN 0-262-51057-X, 2 Volumes
Automated Reasoning
Constraint Satisfaction Problems
Distributed and Parallel Systems
Distributed Artificial Intelligence
Evidential Reasoning
Planning
Search
Theorem Proving and Program Synthesis
Truth Maintenance Systems
- Johan de Kleer:
Exploiting Locality in a TMS.
264-271
- Kave Eshghi:
Computing Stable Models by Using the ATMS.
272-277
- Ulrich Junker, Kurt Konolige:
Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System.
278-283
- Louiqa Raschid:
Maintaining Consistency in a Stratified Production System Program.
284-289
Cognitive Modeling
Case-Based Reasoning
Commonsense Reasoning
Model-Based Diagnosis and Design
Qualitative Modeling of Physical Systems
Reasoning with Multiple Models
Education & Artificial Intelligence
Intelligent Interfaces
Multimedia
Plan Recognition
Knowledge Acquisition
Expert System Design Methodologies
Knowledge Representation
Causality and Introspection
- Hector Geffner:
Causal Theories for Nonmonotonic Reasoning.
524-530
- Gerhard Lakemeyer:
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection.
531-537
- Leora Morgenstern:
A Formal Theory of Multiple Agent Nonmonotonic Reasoning.
538-544
- Eunok Paek:
A Circumscriptive Theory for Causal and Evidential Support.
545-549
Complexity and Expressiveness
Connectionism
Default Representations
Inheritance
Representation and Uncertainty
Architectures
Temporal and Spatial Reasoning
Machine Learning
Inductive Learning
- Wray L. Buntine:
Myths and Legends in Learning Classification Rules.
736-742
- William W. Cohen:
Learning from Textbook Knowledge: A Case Study.
743-748
- Usama M. Fayyad, Keki B. Irani:
What Should Be Minimized in a Decision Tree?
749-754
- Alan M. Frisch, C. David Page Jr.:
Generalization with Taxonomic Information.
755-761
- Robert M. Fung, Stuart L. Crawford:
Constructor: A System for the Induction of Probabilistic Models.
762-769
- Dan Geiger, Azaria Paz, Judea Pearl:
Learning Causal Trees from Dependence Information.
770-776
- Allen Ginsberg:
Theory Reduction, Theory Revision, and Retranslation.
777-782
- Lawrence O. Hall, Steve G. Romaniuk:
A Hybrid Connectionist, Symbolic Learning System.
783-788
- Hiroaki Kitano:
Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic Algorithms.
789-795
- Pattie Maes, Rodney A. Brooks:
Learning to Coordinate Behaviors.
796-802
- Christopher J. Matheus:
Adding Domain Knowledge to SBL Through Feature Construction.
803-808
- Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka:
Inductive Learning in Probabilistic Domain.
809-814
- Dirk Ourston, Raymond J. Mooney:
Changing the Rules: A Comprehensive Approach to Theory Refinement.
815-820
- Paul S. Rosenbloom, Jans Aasman:
Knowledge Level and Inductive Uses of Chunking (EBL).
821-827
- Cullen Schaffer:
A Proven Domain-Independent Scientific Function-Finding Algorithm.
828-833
- Wei-Min Shen:
Complementary Discrimination Learning: A Duality Between Generalization and Discrimination.
834-839
- David B. Skalak, Edwina L. Rissland:
Inductive Learning in a Mixed Paradigm Setting.
840-847
- Benjamin D. Smith, Paul S. Rosenbloom:
Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces.
848-853
- Ming Tan, Jeffrey C. Schlimmer:
Two Case Studies in Cost-Sensitive Concept Acquisition.
854-860
- Geoffrey G. Towell, Jude W. Shavlik, Michiel O. Noordewier:
Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks.
861-866
- Marc B. Vilain, Phyllis Koton, Melissa P. Chase:
On Analytical and Similarity-Based Classification.
867-874
- Larry Watanabe, Larry A. Rendell:
Effective Generalization of Relational Descriptions.
875-881
- Richard C. Yee, Sharad Saxena, Paul E. Utgoff, Andrew G. Barto:
Explaining Temporal Differences to Create Useful Concepts for Evaluating States.
882-888
- Jan M. Zytkow, Jieming Zhu, Abul Hussam:
Automated Discovery in a Chemistry Laboratory.
889-894
Learning and Problem Solving
Natural Language
Discourse
- Julia Hirschberg:
Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech.
952-957
- Yasuhiro Katagiri:
Structure of Perspectivity: A Case of Japanese Reflexive Pronoun "zibun".
958-963
- John Levine:
PRAGMA - A Flexible Bidirectional Dialogue System.
964-969
- M. David Sadek:
Logical Task Modelling for Man-Machine Dialogue.
970-975
Interpretation
Robotics
- Jens Christensen:
A Hierarchical Planner that Generates Its Own Hierarchies.
1004-1009
- Thomas Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, Margaret Randazza:
Coping with Uncertainty in a Control System for Navigation and Exploration.
1010-1015
- Melinda T. Gervasio:
Learning General Completable Reactive Plans.
1016-1021
- John E. Laird, Paul S. Rosenbloom:
Integrating, Execution, Planning, and Learning in Soar for External Environments.
1022-1029
- Yves Lespérance, Hector J. Levesque:
Indexical Knowledge in Robot Plans.
1030-1037
- Yanxi Liu, Robin J. Popplestone:
Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification.
1038-1044
- Peter K. Malkin, Sanjaya Addanki:
LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation.
1045-1050
- Tom M. Mitchell:
Becoming Increasingly Reactive.
1051-1058
Vision
Invited Talks & Panels
Panel:
AI and Software Engineering
- Robert Balzer:
AI and Software Engineering: Will the Twain Ever Meet?
1123-1125
- Richard Fikes:
AI and Software Engineering - Managing Exploratory Programming.
1126-1127
- Mark S. Fox:
Looking for the AI in Software Engineering: An Applications Perspective.
1128-1129
- John P. McDermott:
Developing Software is like Talking to Eskimos about Snow.
1130-1133
- Elliot Soloway:
The Techies vs. the Non-techies: Today's Two Cultures.
1134
Panel:
User Modeling and User Interfaces
Copyright © Tue Feb 9 19:19:15 2010
by Michael Ley (ley@uni-trier.de)
