default search action
4th AAAI 1984: Austin, TX
- Ronald J. Brachman:
Proceedings of the National Conference on Artificial Intelligence. Austin, TX, USA, August 6-10, 1984. AAAI Press 1984, ISBN 0-262-51053-7
AI and Education
- Robert G. Farrell, John R. Anderson, Brian J. Reiser:
An Interactive Computer-Based Tutor for LISP. 106-109 - W. Lewis Johnson, Elliot Soloway:
Intention-Based Diagnosis of Programming Errors. 162-168 - Beverly Park Woolf, David D. McDonald:
Context-Dependent Transitions in Tutoring Discourse. 355-361
AI Architectures
- Michael F. Deering:
Hardware and Software Architectures for Efficient AI. 73-78 - Stefan Feyock:
Syntax Programming. 110-115 - Charles Forgy, Anoop Gupta, Allen Newell, Robert G. Wedig:
Initial Assessment of Architectures for Production Systems. 116-120 - Salvatore J. Stolfo:
Five Parallel Algorithms for Production System Execution on the DADO Machine. 300-307
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 A. 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
- Garrison W. Cottrell:
A Model of Lexical Access of Ambiguous Words. 61-67 - Pat Langley, Stellan Ohlsson:
Automated Cognitive Modeling. 193-197 - Edwina L. Rissland, Eduardo M. Valcarce, Kevin D. Ashley:
Explaining and Arguing With Examples. 288-294 - David L. Waltz, Jordan B. Pollack:
Phenomenologically Plausible Parsing. 335-339
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
- Ronald J. Brachman, Hector J. Levesque:
The Tractability of Subsumption in Frame-Based Description Languages. 34-37 - Joseph Y. Halpern, David A. McAllester:
Likelihood, Probability, and Knowledge. 137-141 - Hector J. Levesque:
A Logic of Implicit and Explicit Belief. 198-202 - Robert Levinson:
A Self-Organizing Retrieval System for Graphs. 203-206 - Shin-Yee Lu, Harry E. Stephanou:
A Set-Theoretic Framework for the Processing of Uncertain Knowledge. 216-221 - Anthony S. Maida:
Processing Entailments and Accessing Facts in a Uniform Frame System. 233-236 - Jock D. Mackinlay, Michael R. Genesereth:
Expressiveness of Languages. 226-232 - Matthew Morgenstern:
Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks. 255-259 - David S. Touretzky:
Implicit Ordering of Defaults in Inheritance Systems. 322-325 - Stephen J. Westfold:
Very-High-Level Programming of Knowledge Representation Schemes. 344-349
Learning
- Peter M. Andreae:
Constraint Limited Generalization: Acquiring Procedures From Examples. 6-10 - Agustin A. Araya:
Learning Problem Classes by Means of Experimentation and Generalization. 11-15 - Thomas G. Dietterich:
Learning About Systems That Contain State Variables. 96-100 - John E. Laird, Paul S. Rosenbloom, Allen Newell:
Towards Chunking as a General Learning Mechanism. 188-192 - Michael L. Mauldin:
Maintaining Diversity in Genetic Search. 247-250 - Steven Minton:
Constraint-Based Generalization: Learning Game-Playing Plans From Single Examples. 251-254 - Paul O'Rorke:
Generalization for Explanation-Based Schema Acquisition. 260-263 - Bruce W. Porter, Dennis F. Kibler:
Learning Operator Transformations. 278-282
Natural Language
- Gavan Duffy, John C. Mallery:
Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure. 101-105 - Graeme Hirst:
A Semantic Process for Syntactic Disambiguation. 148-152 - Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel:
Living Up To Expectations: Computing Expert Responses. 169-175 - Steven L. Lytinen:
Frame Selection in Parsing. 222-225 - Elaine Marsh, Henry Hamburger, Ralph Grishman:
A Production Rule System for Message Summarization. 243-246
Perception
- Andrew Blake:
Reconstructing a Visible Surface. 23-26 - Renato de Mori, Yu F. Mong:
A System of Plans for Connected Speech Recognition. 92-95 - Tod S. Levitt:
Domain Independent Object Description and Decomposition. 207-211 - David H. Marimont:
A Representation for Image Curves. 237-242 - Alex Pentland:
Shading Into Texture. 269-273 - Demetri Terzopoulos:
Efficient Multiresolution Algorithms for Computing Lightness, Shape-From-Shading, and Optical Flow. 314-317 - Jon A. Webb, Edward Pervin:
The Shape of Subjective Contours. 340-343 - Alan L. Yuille, Tomaso A. Poggio:
Fingerprints Theorems. 362-365
Robotics
- Dana H. Ballard:
Task Frames in Robot Manipulation. 16-22 - Charles E. Thorpe:
Path Relaxation: Path Planning for a Mobile Robot. 318-321 - Richard S. Wallace:
Three Findpath Problems. 326-329
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-28 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: