| 1984 | A Forward Inference Engine to Aid in Understanding Specifications. Donald Cohen |
| 1984 | A General Bottom-up Procedure for Searching And/Or Graphs. Vipin Kumar |
| 1984 | A Logic of Implicit and Explicit Belief. Hector J. Levesque |
| 1984 | A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Christoph Walther |
| 1984 | A Model of Lexical Access of Ambiguous Words. Garrison W. Cottrell |
| 1984 | A Production Rule System for Message Summarization. Elaine Marsh, Henry Hamburger, Ralph Grishman |
| 1984 | A Representation for Image Curves. David H. Marimont |
| 1984 | A Self-Modifying Theorem Prover. Cynthia A. Brown |
| 1984 | A Self-Organizing Retrieval System for Graphs. Robert Levinson |
| 1984 | A Semantic Process for Syntactic Disambiguation. Graeme Hirst |
| 1984 | A Set-Theoretic Framework for the Processing of Uncertain Knowledge. Shin-Yee Lu, Harry E. Stephanou |
| 1984 | A System of Plans for Connected Speech Recognition. Renato De Mori, Yu F. Mong |
| 1984 | A Theory of Action for MultiAgent Planning. Michael P. Georgeff |
| 1984 | An Interactive Computer-Based Tutor for LISP. Robert G. Farrell, John R. Anderson, Brian J. Reiser |
| 1984 | Automated Cognitive Modeling. Pat Langley, Stellan Ohlsson |
| 1984 | Choices Without Backtracking. Johan de Kleer |
| 1984 | Classification Problem Solving. William J. Clancey |
| 1984 | Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks. Matthew Morgenstern |
| 1984 | Constraint Limited Generalization: Acquiring Procedures From Examples. Peter M. Andreae |
| 1984 | Constraint-Based Generalization: Learning Game-Playing Plans From Single Examples. Steven Minton |
| 1984 | Context-Dependent Transitions in Tutoring Discourse. Beverly Park Woolf, David D. McDonald |
| 1984 | Continuous Belief Functions for Evidential Reasoning. Thomas M. Strat |
| 1984 | D-Node Retargeting in Bidirectional Heuristic Search. George Politowski, Ira Pohl |
| 1984 | Diagnosing Circuits With State: An Inherently Underconstrained Problem. Walter Hamscher, Randall Davis |
| 1984 | Domain Independent Object Description and Decomposition. Tod S. Levitt |
| 1984 | Efficient Multiresolution Algorithms for Computing Lightness, Shape-From-Shading, and Optical Flow. Demetri Terzopoulos |
| 1984 | Explaining and Arguing With Examples. Edwina L. Rissland, Eduardo M. Valcarce, Kevin D. Ashley |
| 1984 | Expressiveness of Languages. Jock D. Mackinlay, Michael R. Genesereth |
| 1984 | Fingerprints Theorems. Alan L. Yuille, Tomaso A. Poggio |
| 1984 | Five Parallel Algorithms for Production System Execution on the DADO Machine. Salvatore J. Stolfo |
| 1984 | Focusing in Plan Recognition. Norman Carver, Victor R. Lesser, Daniel L. McCue |
| 1984 | Frame Selection in Parsing. Steven L. Lytinen |
| 1984 | Generalization Heuristics for Theorems Related to Recursively Defined Functions. S. Kamal Abdali, Jan Vytopil |
| 1984 | Generalization for Explanation-Based Schema Acquisition. Paul O'Rorke |
| 1984 | Hardware and Software Architectures for Efficient AI. Michael F. Deering |
| 1984 | How to Cope With Anomalies in Parallel Approximate Branch-and-Bound Algorithms. Guo-Jie Li, Benjamin W. Wah |
| 1984 | Implicit Ordering of Defaults in Inheritance Systems. David S. Touretzky |
| 1984 | Initial Assessment of Architectures for Production Systems. Charles Forgy, Anoop Gupta, Allen Newell, Robert G. Wedig |
| 1984 | Intention-Based Diagnosis of Programming Errors. W. Lewis Johnson, Elliot Soloway |
| 1984 | Knowledge Inversion. Yoav Shoham, Drew V. McDermott |
| 1984 | Learning About Systems That Contain State Variables. Thomas G. Dietterich |
| 1984 | Learning Operator Transformations. Bruce W. Porter, Dennis F. Kibler |
| 1984 | Learning Problem Classes by Means of Experimentation and Generalization. Agustin A. Araya |
| 1984 | Likelihood, Probability, and Knowledge. Joseph Y. Halpern, David A. McAllester |
| 1984 | Living Up To Expectations: Computing Expert Responses. Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel |
| 1984 | Maintaining Diversity in Genetic Search. Michael L. Mauldin |
| 1984 | Meta-Level Control Through Fault Detection and Diagnosis. Eva Hudlicka, Victor R. Lesser |
| 1984 | Non-Monotonic Reasoning Using Dempster's Rule. Matthew L. Ginsberg |
| 1984 | Path Relaxation: Path Planning for a Mobile Robot. Charles E. Thorpe |
| 1984 | Personal Construct Theory and the Transfer of Human Expertise. John H. Boose |
| 1984 | Phenomenologically Plausible Parsing. David L. Waltz, Jordan B. Pollack |
| 1984 | Proceedings of the National Conference on Artificial Intelligence. Austin, TX, USA, August 6-10, 1984. Ronald J. Brachman |
| 1984 | Processing Entailments and Accessing Facts in a Uniform Frame System. Anthony S. Maida |
| 1984 | Qualitative Modeling in the Turbojet Engine Domain. Raman Rajagopalan |
| 1984 | Qualitative Reasoning With Higher-Order Derivatives. Johan de Kleer, Daniel G. Bobrow |
| 1984 | Reconstructing a Visible Surface. Andrew Blake |
| 1984 | Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure. Gavan Duffy, John C. Mallery |
| 1984 | Selective Abstraction of AI System Activity. Jasmina Pavlin, Daniel D. Corkill |
| 1984 | Self-Explanatory Financial Planning Models. Donald W. Kosy, Ben P. Wise |
| 1984 | Shading Into Texture. Alex Pentland |
| 1984 | Syntax Programming. Stefan Feyock |
| 1984 | Task Frames in Robot Manipulation. Dana H. Ballard |
| 1984 | The Shape of Subjective Contours. Jon A. Webb, Edward Pervin |
| 1984 | The Tractability of Subsumption in Frame-Based Description Languages. Ronald J. Brachman, Hector J. Levesque |
| 1984 | The Use of Continuity in a Qualitative Physics. Brian C. Williams |
| 1984 | Three Findpath Problems. Richard S. Wallace |
| 1984 | Towards Chunking as a General Learning Mechanism. John E. Laird, Paul S. Rosenbloom, Allen Newell |
| 1984 | Towards a Better Understanding of Bidirectional Search. Henry W. Davis, Randy B. Pollack, Thomas A. Sudkamp |
| 1984 | Very-High-Level Programming of Knowledge Representation Schemes. Stephen J. Westfold |
| 1984 | YES/MVS: A Continuous Real Time Expert System. 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 |