| 1983 | A Chess Program That Chunks. Murray Campbell, Hans J. Berliner |
| 1983 | A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF. Nelleke Aiello |
| 1983 | A Design Method for Relaxation Labeling Applications. Robert A. Hummel |
| 1983 | A Doubly Layered, Genetic Penetrance Learning System. Larry A. Rendell |
| 1983 | A Model of Learning by Incremental Analogical Reasoning and Debugging. Mark H. Burstein |
| 1983 | A New Inference Method for Frame-Based Expert Systems. James A. Reggia, Dana S. Nau, Pearl Y. Wang |
| 1983 | A Problem-Solver for Making Advice Operational. Jack Mostow |
| 1983 | A Production System for Learning Plans From an Expert. D. Paul Benjamin, Malcolm C. Harrison |
| 1983 | A Rule-Based Approach to Information Retrieval: Some Results and Comments. Richard M. Tong, Daniel G. Shapiro, Brian P. McCune, Jeffrey S. Dean |
| 1983 | A Theorem-Prover for a Decidable Subset of Default Logic. Philippe Besnard, Rene Quiniou, Patrice Quinton |
| 1983 | A Theory of Game Trees. Chun-Hung Tzeng, Paul Walton Purdom Jr. |
| 1983 | A Variational Approach to Edge Detection. John F. Canny |
| 1983 | Abstract Explanations of Strategy in a Diagnostic Consultation System. Diane Warner Hasling |
| 1983 | An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation. Elaine Pettit, Kathleen M. Swigger |
| 1983 | An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach. Eswaran Subrahmanian |
| 1983 | An Automatic Algorithm Designer: An Initial Implementation. Elaine Kant, Allen Newell |
| 1983 | An Intelligent Aid for Circuit Redesign. Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich |
| 1983 | An Iterative Method for Reconstructing Convex Polyhedra From External Guassian Images. James J. Little |
| 1983 | An Object-Oriented Simulator for the Apiary. Henry Lieberman |
| 1983 | An Overview of Meta-Level Architecture. Michael R. Genesereth |
| 1983 | An Overview of the Penman Text Generation System. William C. Mann |
| 1983 | Analysis of Physiological Behavior Using a Causal Model Based on First Principles. John C. Kunz |
| 1983 | Analyzing the Roles of Descriptions and Actions in Open Systems. Carl Hewitt, Peter de Jong |
| 1983 | Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping. Tokuji Okada, Takeo Kanade |
| 1983 | Communication and Interaction in Multi-Agent Planning. Michael P. Georgeff |
| 1983 | Constraining a Deterministic Parser. Joan Bachenko, Donald Hindle, Eileen Fitzpatrick |
| 1983 | Data Dependencies on Inequalities. Drew V. McDermott |
| 1983 | Default Reasoning Using Monotonic Logic: A Modest Proposal. Jane Terry Nutter |
| 1983 | Default Reasoning as Likelihood Reasoning. Elaine Rich |
| 1983 | Derivational Analogy and Its Role in Problem Solving. Jaime G. Carbonell |
| 1983 | Deterministic and Bottom-Up Parsing in Prolog. Edward P. Stabler Jr. |
| 1983 | Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle. Randall Davis |
| 1983 | Episodic Learning. Dennis F. Kibler, Bruce W. Porter |
| 1983 | Expert System Consultation Control Strategy. James R. Slagle, Michael W. Gaynor |
| 1983 | Find-Path for a PUMA-Class Robot. Rodney A. Brooks |
| 1983 | Finding All of the Solutions to a Problem. David E. Smith |
| 1983 | Generating Hypotheses to Explain Prediction Failures. Steven Salzberg |
| 1983 | Human Procedural Skill Acquisition: Theory, Model and Psychological Validation. Kurt VanLehn |
| 1983 | IMPULSE: A Display Oriented Editor for STROBE. Eric Schoen, Reid G. Smith |
| 1983 | Improving the Expressiveness of Many Sorted Logic. Anthony G. Cohn |
| 1983 | Inference-Driven Semantic Analysis. Martha Stone Palmer |
| 1983 | Intelligent Control Using Integrity Constraints. Madhur Kohli, Jack Minker |
| 1983 | Interactive Script Instantiation. Michael J. Pazzani |
| 1983 | KRYPTON: Integrating Terminology and Assertion. Ronald J. Brachman, Hector J. Levesque, Richard Fikes |
| 1983 | Knowledge-Based Programming Using Abstract Data Types. Gordon S. Novak |
| 1983 | Learning Operator Semantics by Analogy. Sarah A. Douglas, Thomas P. Moran |
| 1983 | Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry |
| 1983 | Learning by Re-Expressing Concepts for Efficient Recognition. Richard M. Keller |
| 1983 | Learning: The Construction of A Posteriori Knowledge Structures. Paul D. Scott |
| 1983 | MCHART: A Flexible, Modular Chart Parsing System. Henry S. Thompson |
| 1983 | Mapping Between Semantic Representations Using Horn Clauses. Ralph M. Weischedel |
| 1983 | Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines. Scott E. Fahlman, Geoffrey E. Hinton, Terrence J. Sejnowski |
| 1983 | Model-Based Interpretation of Range Imagery. Darwin T. Kuan, Robert J. Drazovich |
| 1983 | Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation. Benjamin Kuipers |
| 1983 | Non-Minimax Search Strategies for Use Against Fallible Opponents. Andrew L. Reibman, Bruce W. Ballard |
| 1983 | On Inheritance Hierarchies With Exceptions. David W. Etherington, Raymond Reiter |
| 1983 | Operator Decomposability: A New Type of Problem Structure. Richard E. Korf |
| 1983 | Perceptual Organization as a Basis for Visual Recognition. David G. Lowe, Thomas O. Binford |
| 1983 | Phonotactic and Lexical Constraints in Speech Recognition. Daniel P. Huttenlocher, Victor W. Sue |
| 1983 | Planning and Goal Interaction: The Use of Past Solutions in Present Situations. Kristian J. Hammond |
| 1983 | Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach. Jasmina Pavlin |
| 1983 | Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983. Michael R. Genesereth |
| 1983 | Proving the Correctness of Digital Hardware Designs. Harry G. Barrow |
| 1983 | QE-III: A Formal Approach to Natural Language Ouerying. James Clifford |
| 1983 | RESEARCHER: An Overview. Michael Lebowitz |
| 1983 | Reasoning About State From Causation and Time in a Medical Domain. William J. Long |
| 1983 | Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing. Paul O'Rorke |
| 1983 | Recursion in TEXT and Its Use in Language Generation. Kathleen R. McKeown |
| 1983 | Repairing Miscommunication: Relaxation in Reference. Bradley A. Goodman |
| 1983 | Rule Based Strategies for Image Interpretation. Terry E. Weymouth, J. S. Griffith, Allen R. Hanson, Edward M. Riseman |
| 1983 | STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior. Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook |
| 1983 | Schema Selection and Stochastic Inference in Modular Environments. Paul Smolensky |
| 1983 | Six Problems for Story Understanders. Peter Norvig |
| 1983 | Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities. Bernard Nudel |
| 1983 | Specification-Based Computing Environments. Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches |
| 1983 | Surface Constraints From Linear Extents. John R. Kender |
| 1983 | TALIB: An IC Layout Design Assistant. Jin Kim, John P. McDermott |
| 1983 | The Advantages of Abstract Control Knowledge in Expert System Design. William J. Clancey |
| 1983 | The Bayesian Basis of Common Sense Medical Diagnosis. Eugene Charniak |
| 1983 | The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures. Vipin Kumar, Laveen N. Kanal |
| 1983 | The Decomposition of a Large Domain: Reasoning About Machines. Craig Stanfill |
| 1983 | The Denotational Semantics of Horn Clauses as a Production System. Jean-Louis Lassez, Michael J. Maher |
| 1983 | The Design of a Legal Analysis Program. Anne v. d. L. Gardner |
| 1983 | The GIST Behavior Explainer. William R. Swartout |
| 1983 | The Optimality of A* Revisited. Rina Dechter, Judea Pearl |
| 1983 | The Use of Qualitative and Quantitative Simulations. Reid G. Simmons |
| 1983 | Theory Resolution: Building in Nonequational Theories. Mark E. Stickel |
| 1983 | Three Dimensions of Design Development. Neil M. Goldman |
| 1983 | Tracking User Goals in an Information-Seeking Environment. Sandra Carberry |
| 1983 | Two Results Concerning Ambiguity in Shape From Shading. Michael J. Brooks |
| 1983 | Using Structural and Functional Information in Diagnostic Design. Walter Hamscher |
| 1983 | Why AM and Eurisko Appear to Work. Douglas B. Lenat, John Seely Brown |
| 1983 | YAPS: A Production Rule System Meets Objects. Elizabeth Allen |