4. AAAI 1984:
Austin, TX
Ronald J. Brachman (Ed.):
Proceedings of the National Conference on Artificial Intelligence. Austin,
TX,
August 6-10,
1984. AAAI Press,
1984,
ISBN 0-262-51053-7
AI and Education
AI Architectures
Automated Reasoning
- S. Kamal Abdali, Jan Vytopil:
Generalization Heuristics for Theorems Related to Recursively Defined Functions.
1-5 BibTeX
- Cynthia A. Brown:
A Self-Modifying Theorem Prover.
38-41 BibTeX
- Norman Carver, Victor R. Lesser, Daniel L. McCue:
Focusing in Plan Recognition.
42-48 BibTeX
- Donald Cohen:
A Forward Inference Engine to Aid in Understanding Specifications.
56-60 BibTeX
- Henry W. Davis, Randy B. Pollack, Thomas Sudkamp:
Towards a Better Understanding of Bidirectional Search.
68-72 BibTeX
- Johan de Kleer:
Choices Without Backtracking.
79-85 BibTeX
- Johan de Kleer, Daniel G. Bobrow:
Qualitative Reasoning With Higher-Order Derivatives.
86-91 BibTeX
- Michael P. Georgeff:
A Theory of Action for MultiAgent Planning.
121-125 BibTeX
- Matthew L. Ginsberg:
Non-Monotonic Reasoning Using Dempster's Rule.
126-129 BibTeX
- Walter Hamscher, Randall Davis:
Diagnosing Circuits With State: An Inherently Underconstrained Problem.
142-147 BibTeX
- Eva Hudlicka, Victor R. Lesser:
Meta-Level Control Through Fault Detection and Diagnosis.
153-161 BibTeX
- Vipin Kumar:
A General Bottom-up Procedure for Searching And/Or Graphs.
182-187 BibTeX
- Guo-Jie Li, Benjamin W. Wah:
How to Cope With Anomalies in Parallel Approximate Branch-and-Bound Algorithms.
212-215 BibTeX
- George Politowski, Ira Pohl:
D-Node Retargeting in Bidirectional Heuristic Search.
274-277 BibTeX
- Raman Rajagopalan:
Qualitative Modeling in the Turbojet Engine Domain.
283-287 BibTeX
- Yoav Shoham, Drew V. McDermott:
Knowledge Inversion.
295-299 BibTeX
- Christoph Walther:
A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution.
330-334 BibTeX
- Brian C. Williams:
The Use of Continuity in a Qualitative Physics.
350-354 BibTeX
Cognitive Modeling
Expert Systems
- John H. Boose:
Personal Construct Theory and the Transfer of Human Expertise.
27-33 BibTeX
- William J. Clancey:
Classification Problem Solving.
49-55 BibTeX
- James H. Griesmer, Se June Hong, Maurice Karnaugh, John K. Kastner, Marshall I. Schor, Robert L. Ennis, David A. Klein, Keith R. Milliken, Hugo M. Van Woerkom:
YES/MVS: A Continuous Real Time Expert System.
130-136 BibTeX
- Donald W. Kosy, Ben P. Wise:
Self-Explanatory Financial Planning Models.
176-181 BibTeX
- Jasmina Pavlin, Daniel D. Corkill:
Selective Abstraction of AI System Activity.
264-268 BibTeX
- Thomas M. Strat:
Continuous Belief Functions for Evidential Reasoning.
308-313 BibTeX
Knowledge Representation
Learning
Natural Language
Perception
Robotics
Copyright © Sat May 16 22:55:27 2009
by Michael Ley (ley@uni-trier.de)
