IJCAI 1983
271 papers
3DPO: A Three-Dimensional Part Orientation System
Robert C. Bolles, Radu Patrice Horaud, Marsja Jo Hannah A Panel on AI and Databases
Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder, Salvatore J. Stolfo, John E. Zielinski, Frederick D. Miller, David H. Copp Advanced Hough Transform Implementations
Christopher M. Brown, Matthew B. Curtiss, David B. Sher AI Research in China: A Review
Jiang Xinsong, Song Guoning, Chen Yu AND Parallelism in Logic Programs
John S. Conery, Dennis F. Kibler 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 Associative-Commutative Rewriting
Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted Boundary Conditions in Multiple Intrinsic Images
Bernhard H. Stuth, Dana H. Ballard, Christopher M. Brown Completeness of the Negation as Failure Rule
Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd Decision-Making in Time-Critical Situations
Shoichi Masui, John P. McDermott, Alan Sobel Demonizing Production Systems
Giuliano Pacini, Franco Turini Diagnostic Reasoning in Software Fault Localization
Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson Equality for Prolog
William A. Kornfeld KL-Conc: A Language for Interacting with SI-Nets
Amedeo Cappelli, Lorenzo Moretti, Carlo Vinchesi Knoesphere: Building Expert Systems with Encyclopedic Knowledge
Douglas B. Lenat, Alan Borning, David W. McDonald, Craig Taylor, Steven Weyer Knowledge Oriented Learning
Paul D. Scott, Robert C. Vogt Lisp-in-Lisp: High Performance and Portability
Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr. Meta-Knowledge and Meta-Reasoning
Robert E. Filman, John Lamping, Fanya S. Montalvo Model Driven Visualization of Coronary Arteries
Gabor T. Herman, Leon Axel, Ruzena Bajcsy, Harold L. Kundel, R. LeVeen, Jayaram K. Udupa, G. Wolf Model-Based Probabilistic Reasoning for Electronics Troubleshooting
Richard R. Cantone, Frank J. Pipitone, W. Brent Lander, Michael P. Marrone Panel on the Fifth Generation Project
Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar Planning Perlocutionary Acts
Gabriella Airenti, Bruno G. Bara, Marco Colombetti Planning Using a Temporal World Model
James F. Allen, Johannes A. G. M. Koomen Procedural Expert Systems
Michael P. Georgeff, Umberto Bonollo Reasoning in Multiple Belief Spaces
João P. Martins, Stuart C. Shapiro Reasoning in Time and Space
Jitendra Malik, Thomas O. Binford Recognition-Based Diagnostic Reasoning
William B. Thompson, Paul E. Johnson, James B. Moen Semantic Code Analysis
Walter G. Wilson, Chester C. John Semantic Paramodulation for Horn Sets
William McCune, Lawrence J. Henschen Techniques for Sensor-Based Diagnosis
Mark S. Fox, Simon Lowenfeld, Pamela Kleinosky TERMINATOR
Grigoris Antoniou, Hans Jürgen Ohlbach The 3D MOSAIC Scene Understanding System
Martin Herman, Takeo Kanade, Shigeru Kuroe The Discovery of the Equator or Concept Driven Learning
Werner Emde, Christopher Habel, Claus-Rainer Rollinger The XCALIBUR Project: A Natural Language Interface to Expert Systems
Jaime G. Carbonell, W. Mark Boggs, Michael L. Mauldin, Peter G. Anick Three Facets of Scientific Discovery
Pat Langley, Jan M. Zytkow, Gary L. Bradshaw, Herbert A. Simon Under What Conditions Can a Machine Attribute Meanings to Symbols
Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes Why Good Writing Is Easier to Understand
John H. Clippinger Jr., David D. McDonald