| 1983 | "Logal": Algorithmic Control Structures for Prolog. D. C. Dodson, Alan L. Rector |
| 1983 | 3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective Views. Roger Y. Tsai |
| 1983 | 3DPO: A Three-Dimensional Part Orientation System. Robert C. Bolles, Radu Patrice Horaud, Marsja Jo Hannah |
| 1983 | A Malik Ghallab, Dennis G. Allard |
| 1983 | A 3-D Recognition and Positioning Algorithm Using Geometrical Matching Between Primitive Surfaces. Olivier D. Faugeras, Martial Hebert |
| 1983 | A Breadth-First Parsing Model. John Bear |
| 1983 | A Case Study of Knowledge Representation in UC. David N. Chin |
| 1983 | A Comparison of Uncertainty Calculi in an Expert System for Information Retrieval. Richard M. Tong, Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune |
| 1983 | A Computational Framework for the Visual Correspondence Problem. Michael Kass |
| 1983 | A Computational Model for Causal and Diagnostic Reasoning in Inference Systems. Jin H. Kim, Judea Pearl |
| 1983 | A Constrained Mechanism for Procedural Learning. Stellan Ohlsson |
| 1983 | A Control Structure for Time Dependent Reasoning. William J. Long, Thomas A. Russ |
| 1983 | A Deductive Model of Belief. Kurt Konolige |
| 1983 | A Description and Reasoning of Plant Controllers in Temporal Logic. Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi |
| 1983 | A Deterministic Parser With Broad Coverage. Robert C. Berwick |
| 1983 | A Deterministic Syntactic-Semantic Parser. Gérard Sabah, Mohamed Rady |
| 1983 | A Diagnosis Method of Dynamic System Using the Knowledge on System Description. Naoyuki Yamada, Hiroshi Motoda |
| 1983 | A Distributed Control System for the CMU Rover. Alberto Elfes, Sarosh Talukdar |
| 1983 | A Formal Approach to the Semantics of a Frame Data Model. Ulrich Reimer, Udo Hahn |
| 1983 | A Framework for Handling Vision Data in an Object Level Robot Language - RAPT. Boalin Yin |
| 1983 | A Framework for Heuristic Reasoning About Uncertainty. Paul R. Cohen, Milton R. Grinberg |
| 1983 | A Framework for Processing Corrections in Task-Oriented Dialogues. Philip J. Hayes, Jaime G. Carbonell |
| 1983 | A Learning System Which Accommodates Feature Interactions. Larry A. Rendell |
| 1983 | A Learning Vision System for 2D Object Recognition. Fumiaki Tomita |
| 1983 | A Logical Model of Knowledge. Martin Nilsson |
| 1983 | A Many-Sorted Calculus Based on Resolution and Paramodulation. Christoph Walther |
| 1983 | A Method of Computing Generalized Bayesian Probability Values for Expert Systems. Peter C. Cheeseman |
| 1983 | A Modular Parser for French. Eric Wehrli |
| 1983 | A New Conceptually Attractive and Computationally Effective Approach to Shape From Shading. Bruno Cernuschi-Frías, Ruud M. Bolle, David B. Cooper |
| 1983 | A PROLOG Implementation of Lexical Functional Grammar. Uwe Reyle, Werner Frey |
| 1983 | A Panel on AI and Databases. Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber |
| 1983 | A Parallel Processor Algorithm for Robot Route Planning. C. M. Witkowski |
| 1983 | A Perspective on Automatic Programming. David R. Barstow |
| 1983 | A Pragmatic Knowledge Acquisition Methodology. Mark D. Grover |
| 1983 | A Problem Reduction Approach to Program Synthesis. Douglas R. Smith |
| 1983 | A Recognition Method of Connected Spoken Words With Syntactical Constraints by Augmented Continuous DP Algorithm. Sei-ichi Nakagawa |
| 1983 | A Report on FOLIO: An Expert Assistant for Portfolio Managers. Paul R. Cohen, Mark D. Lieberman |
| 1983 | A Result on the Computational Complexity of Heuristic Estimates for the A* Algorithm. Marco Valtorta |
| 1983 | A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies. Jon Doyle |
| 1983 | A Subdivision Algorithm Configuration Space for Findpath With Rotation. Rodney A. Brooks, Tomás Lozano-Pérez |
| 1983 | A Superposition Oriented Theorem Prover. Laurent Fribourg |
| 1983 | A Synthetic View of Approximate Reasoning Techniques. Henri Prade |
| 1983 | A System for Improving the Recognition of Fluently Spoken German Speech. Joachim Mudler |
| 1983 | A Unification Algorithm for Infinite Trees. Kuniaki Mukai |
| 1983 | A Universal Weak Method: Summary of Results. John E. Laird, Allen Newell |
| 1983 | A Wrinkle on Satisficing Search Problems. Jeffrey A. Barnett, Don Cohen |
| 1983 | ACE: An Expert System for Telephone Cable Maintenance. Gregg T. Vesonder, Salvatore J. Stolfo, John E. Zielinski, Frederick D. Miller, David H. Copp |
| 1983 | AI Research in China: A Review. Jiang Xinsong, Song Guoning, Chen Yu |
| 1983 | AI, Where It Has Been and Where It Is Going. Arthur L. Samuel |
| 1983 | AND Parallelism in Logic Programs. John S. Conery, Dennis F. Kibler |
| 1983 | Acquiring Schemata Through Understanding and Generalizing Plans. Gerald DeJong |
| 1983 | Activation-Based Parsing. Mark A. Jones |
| 1983 | Adjusting Bias in Concept Learning. Paul E. Utgoff |
| 1983 | Admissible Hypotheses and Enhanced Learning. G. M. K. Hunt |
| 1983 | Advanced Hough Transform Implementations. Christopher M. Brown, Matthew B. Curtiss, David B. Sher |
| 1983 | Algorithms for Learning Logical Formulas. Joël Quinqueton, Jean Sallantin |
| 1983 | Allophonic and Phonotactic Constraints Are Useful. Kenneth Ward Church |
| 1983 | An ATN Model for 3-D Recognition of Solids in Single Images. Hermann Tropf, I. Walter |
| 1983 | An Algorithm for Moving a Computer-Controlled Manipulator While Avoiding Obstacles. Eugene Grechanovsky, Ilia Pinsker |
| 1983 | An Appraisal of a Decision Tree Approach to Image Classification. B. A. Shepherd |
| 1983 | An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. Jean-François Cloarec, Jean-François Cudelou |
| 1983 | An Expert System for Indications and Warning Analysis. Douglas B. Lenat, Albert Clarkson, Garo Kiremidjian |
| 1983 | An Extremum Principle for Shape From Contour. Michael Brady, Alan L. Yuille |
| 1983 | An Indirect Approach to Types of Speech Acts. Jeremy Eilman |
| 1983 | An Object-Oriented Parser for Text Understanding. Brian Phillips |
| 1983 | Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence. Salvatore J. Stolfo, Daniel P. Miranker, David Elliot Shaw |
| 1983 | Articles and Resource Control. Janusz S. Bien |
| 1983 | Artificial Intelligence and Macro-Economy, An Application. Jean-Luis Roos |
| 1983 | Artificial Intelligence in the Classroom. Wynne Bell |
| 1983 | Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income. Nils J. Nilsson, Sandra B. Cook, Alan C. Kay, Faye Duchin, Margaret A. Boden, Dennis Chamot |
| 1983 | Associative-Commutative Rewriting. Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted |
| 1983 | Automated Reasoning: Real Uses and Potential Uses. Larry Wos |
| 1983 | Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language. Werner Frey, Uwe Reyle, Christian Rohrer |
| 1983 | Automatic Programming From Data Types Decomposition Patterns. Christian Gresse |
| 1983 | Automatic Programming Using Abstract Data Types. Gérard D. Guiho |
| 1983 | Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems. Wolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O'Leary, Wolfgang Wahlster |
| 1983 | Boundary Conditions in Multiple Intrinsic Images. Bernhard H. Stuth, Dana H. Ballard, Christopher M. Brown |
| 1983 | Building Libraries in Prolog. Alan R. Feuer |
| 1983 | CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey |
| 1983 | CSRL: A Language for Expert Systems for Diagnosis. Tom Bylander, Sanjay Mittal, B. Chandrasekaran |
| 1983 | Characterizing Search Spaces. Roy Rada |
| 1983 | Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy |
| 1983 | Classification in the KL-ONE Knowledge Representation System. James G. Schmolze, Thomas A. Lipkis |
| 1983 | Completeness of the Negation as Failure Rule. Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd |
| 1983 | Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus. John A. Kalman, J. G. Peterson |
| 1983 | Computing Convergence Angle From Random Dot Stereograms. K. Prazdny |
| 1983 | Concept Formation From Very Large Training Sets. Richard A. O'Keefe |
| 1983 | Concurrent Programming of Intelligent Robots. Yutaka Kanayama |
| 1983 | Consistency and Plausible Reasoning. J. Ross Quinlan |
| 1983 | Constraints for the Estimation of Displacement Vector Fields From Image Sequences. Hans-Hellmut Nagel |
| 1983 | Correspondence in Line Drawings of Multiple Views of Objects. Charles E. Thorpe, Steven A. Shafer |
| 1983 | Creating a Story-Telling Universe. Michael Lebowitz |
| 1983 | Decision-Making in Time-Critical Situations. Shoichi Masui, John P. McDermott, Alan Sobel |
| 1983 | Demand and Requirements for Natural Language Systems - Results of an Inquiry. Katharina Morik |
| 1983 | Demonizing Production Systems. Giuliano Pacini, Franco Turini |
| 1983 | Descriptions as Constraints in Object-Oriented Representation. Luc Steels |
| 1983 | Detecting Ambiguity: An Example in Knowledge Evaluation. Donald W. Loveland, Marco Valtorta |
| 1983 | Detection of Buildings in Aerial Images Using Shape and Shadows. Andres Huertas, Ramakant Nevatia |
| 1983 | Diagnosis of Multiple Faults in a Nationwide Communications Network. Thomas L. Williams, Paul J. Orgren, Carl L. Smith |
| 1983 | Diagnostic Reasoning in Software Fault Localization. Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson |
| 1983 | Dynamic World Simulation for Planning With Multiple Agents. Sharon Wood |
| 1983 | Environmental Labelings in Low-Level Image Understanding. John R. Kender |
| 1983 | Equality Reasoning in Clause Graphics. Karl-Hans Bläsius |
| 1983 | Equality for Prolog. William A. Kornfeld |
| 1983 | Estimating 3-0 Movement of a Rigid Object: Experimental Results. Jia-Qi Fang, Thomas S. Huang |
| 1983 | Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences. Bernd Neumann, Hans-Joachim Novak |
| 1983 | Examples in Legal Reasoning: Legal Hypotheticals. Edwina L. Rissland |
| 1983 | Expert System as an Intelligent Assistant for Computer Users. Riichiro Mizoguchi, Yukuo Isomoto, Osamu Kakusho |
| 1983 | Extracting Knowledge From Expert Systems. John P. McDermott |
| 1983 | Extracting Useful Advice From Conflicting Expertise. René Reboh |
| 1983 | Flexible Learning of Problem Solving Heuristics Through Adaptive Search. Stephen F. Smith |
| 1983 | Focus Constraints on Language Generation. Kathleen R. McKeown |
| 1983 | Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. Daniel N. Osherson, Michael Stob, Scott Weinstein |
| 1983 | Fractal-Based Description. Alex Pentland |
| 1983 | Frame Activated Inferences in a Story Understanding Program. Peter Norvig |
| 1983 | General Approach to Nonmonotonic Logics. Witold Lukaszewicz |
| 1983 | Generalizing Problem Reduction: A Logical Analysis. Drew V. McDermott |
| 1983 | Generating Models of Solid Objects by Matching 3D Surface Segments. Michael Potmesil |
| 1983 | Generation in a Natural Language Interface. Paul S. Jacobs |
| 1983 | Generation of Japanese Sentences From Conceptual Representation. Shun Ishizaki |
| 1983 | Global Optimization of a Consistent Labeling. Marc Berthod |
| 1983 | Graph Grammar Approach to Natural Language Parsing and Understanding. Eero Hyvönen |
| 1983 | HPRL: A Language for Building Expert Systems. Steven Rosenberg |
| 1983 | How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician. Benjamin Kuipers, Jerome P. Kassirer |
| 1983 | How to Represent Evidence - Aspects of Uncertain Reasoning. Claus-Rainer Rollinger |
| 1983 | Image Compression and Filtering Using Pyramid Data Structures. Joseph Naor, Shmuel Peleg |
| 1983 | Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements. Anthony Jameson |
| 1983 | Industrial Strength Knowledge Bases: Issues and Experiences - Knowledge Base Stability, Memory: Unitorm or Structured, Integrity, Knowledge Acquisition and the User Interface, Joint Knowledge Base Development, Intertaces to Databases (Panel). Thomas P. Kehler, Peter Friedland, Harry E. Pople, René Reboh, Steve Rosenberg |
| 1983 | Inferring Motion of Cylindrical Object From Shape Information. Minoru Asada, Saburo Tsuji |
| 1983 | Integrating Logic Programs and Schemata. Bradley P. Allen, J. Mark Wright |
| 1983 | Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE System. Ryszard S. Michalski, Arthur B. Baskin |
| 1983 | Integrating Prolog Into the Poplog Environment. Chris Mellish, Steve Hardy |
| 1983 | Intelligent Assistants for Knowledge and Information Resources Management. Charles Kellogg |
| 1983 | Intensions as Such: An Outline. John A. Barnden |
| 1983 | Is What You See What You Get? Anni R. Bruss |
| 1983 | Japanese Language Semantic Analyzer Based on an Extended Case Frame Model. Akira Shimazu, Shozo Naito, Hirosato Nomura |
| 1983 | KL-Conc: A Language for Interacting With SI-Nets. Amedeo Cappelli, Lorenzo Moretti, Carlo Vinchesi |
| 1983 | Knoesphere: Building Expert Systems With Encyclopedic Knowledge. Douglas B. Lenat, Alan Borning, David W. McDonald, Craig Taylor, Steven Weyer |
| 1983 | Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. Anthony S. Maida |
| 1983 | Knowledge Based Error Recovery in Industrial Robots. Mark H. Lee, David P. Barnes, Nigel W. Hardy |
| 1983 | Knowledge Oriented Learning. Paul D. Scott, Robert C. Vogt |
| 1983 | Large-Scale System Development in Several Lisp Environments. Sanjai Narain, David McArthur, Philip Klahr |
| 1983 | Learning Effective Search Heuristics. Pat Langley |
| 1983 | Learning Equation Solving Methods From Examples. Bernard Silver |
| 1983 | Learning Word Meanings From Examples. Robert C. Berwick |
| 1983 | Learning and Problem Solving. Tom M. Mitchell |
| 1983 | Learning by Controlled Transference of Knowledge Between Domains. Agustin A. Araya |
| 1983 | Learning to Program. John R. Anderson |
| 1983 | Lisp-in-Lisp: High Performance and Portability. Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr. |
| 1983 | Logic Modelling of Cognitive Reasoning. Göran Hagert, Åke Hansson |
| 1983 | Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. Ehud Y. Shapiro |
| 1983 | Machine Perception of Linear Structure. Martin A. Fischler, Helen C. Wolf |
| 1983 | Manipulating Descriptions of Programs for Database Access. Peter M. D. Gray, David S. Moffat |
| 1983 | Measurement Interpretation in Qualitative Process Theory. Kenneth D. Forbus |
| 1983 | Mechanization of an Oracle in a Debugging System. Anneli Edman, Sten-Åke Tärnlund |
| 1983 | Medical Plan-Analysis: The Attending System. Perry L. Miller |
| 1983 | Memory and Inference. Robert Wilensky |
| 1983 | Meta-Knowledge and Meta-Reasoning. Robert E. Filman, John Lamping, Fanya S. Montalvo |
| 1983 | Model Driven Visualization of Coronary Arteries. Gabor T. Herman, Leon Axel, Ruzena Bajcsy, Harold L. Kundel, R. LeVeen, Jayaram K. Udupa, G. Wolf |
| 1983 | Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot. Jean-Paul Laumond |
| 1983 | Model-Based Probabilistic Reasoning for Electronics Troubleshooting. Richard R. Cantone, Frank J. Pipitone, W. Brent Lander, Michael P. Marrone |
| 1983 | Model-Guided Monitoring of a Building Environment by a Mobile Robot. Masahiko Yachida, T. Ichinose, Saburo Tsuji |
| 1983 | Modeling Cognitive Development on the Balance Scale Task. Stephanie Sage, Pat Langley |
| 1983 | Modelling and Manipulating Production Data Bases in Terms of Semantic Nets. Robert Meersman, Frans Van Assche |
| 1983 | Motives and Emotions in a General Learning System. J. G. (Iain) Wallace |
| 1983 | Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. Gopalan Nadathur, Aravind K. Joshi |
| 1983 | Narrative Complexity Based on Summarization Algorithms. Wendy G. Lehnert |
| 1983 | Natural-Language Processing: Crucible for Computational Theories of Cognition. Stanley J. Rosenschein |
| 1983 | Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. Tamás Gergely, Konstantin Vershinin |
| 1983 | Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique. Alain Bonnet, Claude Dahan |
| 1983 | On A* as a Special Case of Ordered Search. Marcel Schoppers |
| 1983 | On Seeing Things, Again. Alan K. Mackworth |
| 1983 | On the Requirements of Future Expert Systems. Ron Sauers, Rick Walsh |
| 1983 | Optimal Searches From AND and OR Nodes. Jeffrey A. Barnett |
| 1983 | Optimization Approaches to the Problem of Edge Linking With a Focus on Parallel Processing. M. D. Diamond, N. Narasimhamurthi, S. Ganapathy |
| 1983 | Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System. Wolfgang Wahlster, Heinz Marburger, Anthony Jameson, Stephan Busemann |
| 1983 | PRISM: A Parallel Inference System for Problem Solving. Simon Kasif, Madhur Kohli, Jack Minker |
| 1983 | PVV: A Goal-Oriented System for Industrial Vision. Augustin Lux, Viviane Souvignier |
| 1983 | Panel on the Fifth Generation Project. Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar |
| 1983 | Perceptual Organization and the Curve Partitioning Problem. Martin A. Fischler, Robert C. Bolles |
| 1983 | Permissions and Obligations. L. Thorne McCarty |
| 1983 | Perturbation: A Means for Guiding Generalization. Dennis F. Kibler, Bruce W. Porter |
| 1983 | Phrase Structure Grammars and Natural Languages. Gerald Gazdar |
| 1983 | Planning Perlocutionary Acts. Gabriella Airenti, Bruno G. Bara, Marco Colombetti |
| 1983 | Planning Using a Temporal World Model. James F. Allen, Johannes A. G. M. Koomen |
| 1983 | Predicate Logic Involving Data Structure as a Knowledge Representation Language. Setsuo Ohsuga |
| 1983 | Prism Trees: A Hierarchical Representation for 3-D Objects. Olivier D. Faugeras, Jean Ponce |
| 1983 | Procedural Expert Systems. Michael P. Georgeff, Umberto Bonollo |
| 1983 | Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983 Alan Bundy |
| 1983 | Program Transtormations for VLSI. Jack Mostow |
| 1983 | Prolog in Ten Figures. Alain Colmerauer |
| 1983 | Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers. Adrian Walker |
| 1983 | Providing Help and Advice in Task Oriented Systems. Timothy W. Finin |
| 1983 | Q-TRANS: Query Translation Into English. Eva-Maria M. Mueckstein |
| 1983 | Qute: A Prolog/Lisp Type Language for Logic Programming. Masahiko Sato, Takafumi Sakurai |
| 1983 | Reasoning About Control: The Investigation of an Evidential Approach. Leonard P. Wesley |
| 1983 | Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot. D. F. Corner, A. Patricia Ambler, Robin J. Popplestone |
| 1983 | Reasoning in Multiple Belief Spaces. João P. Martins, Stuart C. Shapiro |
| 1983 | Reasoning in Time and Space. Jitendra Malik, Thomas O. Binford |
| 1983 | Recognition of Occluded Objects. Bir Bhanu |
| 1983 | Recognition-Based Diagnostic Reasoning. William B. Thompson, Paul E. Johnson, James B. Moen |
| 1983 | Relative Efficiency of Alpha-Beta Implementations. T. Anthony Marsland |
| 1983 | Representation and Analysis of Electrical Circuits in a Deductive System. Takushi Tanaka |
| 1983 | Representation and Induction of Infinite Concepts and Recursive Action Sequences. Fritz Wysotzki |
| 1983 | Representation in a Domain-Independent Planner. David E. Wilkins |
| 1983 | Representation of Empirically Derived Causal Relationships. Robert L. Blum |
| 1983 | Representation of Experts' Knowledge in a Subdomain of Chess Intelligence. H. Jaap van den Herik |
| 1983 | Representation of Temporal Knowledge. E. Yu Kandrashina |
| 1983 | Resolving Observer Motion by Object Tracking. John Hallam |
| 1983 | STROBE: Support for Structured Object Knowledge Representation. Reid G. Smith |
| 1983 | Scale-Space Filtering. Andrew P. Witkin |
| 1983 | Searching to Variable Depth in Computer Chess. Hermann Kaindl |
| 1983 | Semantic Code Analysis. Walter G. Wilson, Chester C. John |
| 1983 | Semantic Networks as Abstract Data Types. Werner Dilger, Wolfgang Womann |
| 1983 | Semantic Paramodulation for Horn Sets. William McCune, Lawrence J. Henschen |
| 1983 | Semantical Considerations on Nonmonotonic Logic. Robert C. Moore |
| 1983 | Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics Problems. L. Konst, Bob J. Wielinga, Jan J. Elshout, Wouter N. H. Jansweijer |
| 1983 | Sensor Motion and Relative Depth From Difference Fields of Optic Flows. Joachim H. Rieger, Daryl T. Lawton |
| 1983 | Sentence Disambiguation by a Shift-Reduce Parsing Technique. Stuart M. Shieber |
| 1983 | Shifting Meaning Representations. Karen Sparck Jones |
| 1983 | Shifting the Focus of Attention: The Way Agatha Christie Leads You On. András Márkus |
| 1983 | Simulating Non-Deductive Reasoning. James W. Hearne |
| 1983 | Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1983 | Some Issues in Generation From a Semantic Representation. Laurence Danlos |
| 1983 | Strategies of Cooperation in Distributed Problem Solving. Stephanie J. Cammarata, David McArthur, Randall Steeb |
| 1983 | Structural Relations - A Case Against Case. Ingeborg Steinacker, Harald Trost |
| 1983 | Structure Based Control Strategy. C. M. Lou, J. Wang |
| 1983 | Symbolic Execution of the Gist Specification Language. Donald Cohen |
| 1983 | Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues. Manfred Gehrke |
| 1983 | Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. Shamim A. Naqvi, Lawrence J. Henschen |
| 1983 | TELEGRAM: A Grammar Formalism for Language Planning. Douglas E. Appelt |
| 1983 | TERMINATOR. Grigoris Antoniou, Hans Jürgen Ohlbach |
| 1983 | Techniques for Sensor-Based Diagnosis. Mark S. Fox, Simon Lowenfeld, Pamela Kleinosky |
| 1983 | Temporal Reasoning and Termination of Programs. Luis Fariñas del Cerro |
| 1983 | The 3D MOSAIC Scene Understanding System. Martin Herman, Takeo Kanade, Shigeru Kuroe |
| 1983 | The Dipmeter Advisor System - A Case Study in Commercial Expert System Development. Reid G. Smith, James D. Baker |
| 1983 | The Discovery of the Equator or Concept Driven Learning. Werner Emde, Christopher Habel, Claus-Rainer Rollinger |
| 1983 | The FOPHO Speech Recognition Project. Mary O'Kane |
| 1983 | The Ins and Outs of Reason Maintenance. Jon Doyle |
| 1983 | The Line of Curvature Constraint and the Interpretation of 3-D Shape From Parallel Surface Contours. Kemt A. Stevens |
| 1983 | The Mercator Representation of Spatial Knowledge. Ernest Davis |
| 1983 | The Origin, Form, and Logic of Qualitative Physical Laws. John Seely Brown, Johan de Kleer |
| 1983 | The Role of Constraints and Discontinuities in Visible-Surface Reconstruction. Demetri Terzopoulos |
| 1983 | The Statistical Inference Method in Heuristic Search Techniques. Ling Zhang, Bo Zhang |
| 1983 | The Stereo Matching Problem From the Topological Viewpoint. A. Peter Blicher |
| 1983 | The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network. Daniel D. Corkill, Victor R. Lesser |
| 1983 | The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods. José Cuena |
| 1983 | The Viewer's Place in Theories of Vision. R. I. D. Cowie |
| 1983 | The XCALIBUR Project: A Natural Language Interface to Expert Systems. Jaime G. Carbonell, W. Mark Boggs, Michael L. Mauldin, Peter G. Anick |
| 1983 | Theory of Linear Equations Applied to Program Transformation. Uday S. Reddy, Bharat Jayaraman |
| 1983 | Three Facets of Scientific Discovery. Pat Langley, Jan M. Zytkow, Gary L. Bradshaw, Herbert A. Simon |
| 1983 | Three-Dimensional Shape From Line Drawings. Stephen T. Barnard, Alex Pentland |
| 1983 | Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language. Norihiro Abe, Fumihide Itho, Saburo Tsuji |
| 1983 | Towards Automatic Error Recovery in Robot Programs. Maria L. Gini, Giuseppina C. Gini |
| 1983 | Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware Manual. Toyoaki Nishida, Akira Kosaka, Shuji Doshita |
| 1983 | Towards a Computable Model of Meaning-Text Relations Within a Natural Sublanguage. Richard I. Kittredge, Igor Mel'cuk |
| 1983 | Towards an Advanced Implementation of the Connection Method. Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer |
| 1983 | Transportability and Generality in a Natural-Language Interface System. Paul A. Martin, Douglas E. Appelt, Fernando C. N. Pereira |
| 1983 | Trivializing the Proof of Trivial Theorems. Yves Kodratoff, Jacqueline Castaing |
| 1983 | Two-Level Model for Morphological Analysis. Kimmo Koskenniemi |
| 1983 | Under What Conditions Can a Machine Attribute Meanings to Symbols. Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes |
| 1983 | Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Application to Data Base Query. R. Comino, Roberto Gemello, Giovanni Guida, Claudio Rullent, L. Sisto, Marco Somalvico |
| 1983 | Understanding Stories Through Morals and Remindings. Michael G. Dyer |
| 1983 | Using Examples to Generate Instantiations of Set Variables. W. W. Bledsoe |
| 1983 | Using Multiple Information Sources in a Computational Vision System. Jay Glicksman |
| 1983 | Using Surfaces and Object Models to Recognize Partially Obscured Objects. Robert B. Fisher |
| 1983 | Varieties of User Misconceptions: Detection and Correction. Bonnie L. Webber, Eric Mays |
| 1983 | W-JS: A Modal Logic of Knowledge. Xiwen Ma, Weide Guo |
| 1983 | What Is Perceptual Organization For? Andrew P. Witkin, Jay M. Tenenbaum |
| 1983 | What's New? A Semantic Definition of Novelty. Russell Greiner, Michael R. Genesereth |
| 1983 | Why Good Writing Is Easier to Understand. John H. Clippinger Jr., David D. McDonald |
| 1983 | Word Formation in Natural Language Processing Systems. Roy J. Byrd |