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
- Cynthia A. Brown:
A Self-Modifying Theorem Prover.
38-41
- Norman Carver, Victor R. Lesser, Daniel L. McCue:
Focusing in Plan Recognition.
42-48
- Donald Cohen:
A Forward Inference Engine to Aid in Understanding Specifications.
56-60
- Henry W. Davis, Randy B. Pollack, Thomas Sudkamp:
Towards a Better Understanding of Bidirectional Search.
68-72
- Johan de Kleer:
Choices Without Backtracking.
79-85
- Johan de Kleer, Daniel G. Bobrow:
Qualitative Reasoning With Higher-Order Derivatives.
86-91
- Michael P. Georgeff:
A Theory of Action for MultiAgent Planning.
121-125
- Matthew L. Ginsberg:
Non-Monotonic Reasoning Using Dempster's Rule.
126-129
- Walter Hamscher, Randall Davis:
Diagnosing Circuits With State: An Inherently Underconstrained Problem.
142-147
- Eva Hudlicka, Victor R. Lesser:
Meta-Level Control Through Fault Detection and Diagnosis.
153-161
- Vipin Kumar:
A General Bottom-up Procedure for Searching And/Or Graphs.
182-187
- Guo-Jie Li, Benjamin W. Wah:
How to Cope With Anomalies in Parallel Approximate Branch-and-Bound Algorithms.
212-215
- George Politowski, Ira Pohl:
D-Node Retargeting in Bidirectional Heuristic Search.
274-277
- Raman Rajagopalan:
Qualitative Modeling in the Turbojet Engine Domain.
283-287
- Yoav Shoham, Drew V. McDermott:
Knowledge Inversion.
295-299
- Christoph Walther:
A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution.
330-334
- Brian C. Williams:
The Use of Continuity in a Qualitative Physics.
350-354
Cognitive Modeling
Expert Systems
- John H. Boose:
Personal Construct Theory and the Transfer of Human Expertise.
27-33
- William J. Clancey:
Classification Problem Solving.
49-55
- 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
- Donald W. Kosy, Ben P. Wise:
Self-Explanatory Financial Planning Models.
176-181
- Jasmina Pavlin, Daniel D. Corkill:
Selective Abstraction of AI System Activity.
264-268
- Thomas M. Strat:
Continuous Belief Functions for Evidential Reasoning.
308-313
Knowledge Representation
Learning
Natural Language
Perception
Robotics
Last update Sat May 25 23:25:43 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
