Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar8. IJCAI 1983: Karlsruhe, West Germany
Alan Bundy:
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983. William Kaufmann 1983
VOLUME 1
Automatic Programming
Keynote Address
Theorem Proving / Automatic Programming
- Uday S. Reddy, Bharat Jayaraman:
Theory of Linear Equations Applied to Program Transformation. IJCAI 1983: 10-16
Automatic Programming 1
- Peter M. D. Gray, David S. Moffat:
Manipulating Descriptions of Programs for Database Access. IJCAI 1983: 21-24 - Shamim A. Naqvi, Lawrence J. Henschen:
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28
Automatic Programming 2
- Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson:
Diagnostic Reasoning in Software Fault Localization. IJCAI 1983: 29-31
Expert Systems / Automatic Programming / Knowledge Representation
Cognitive Modelling
Panel
- Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes:
Under What Conditions Can a Machine Attribute Meanings to Symbols. IJCAI 1983: 44-48
Cognitive Modelling 2
- Benjamin Kuipers, Jerome P. Kassirer:
How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician. IJCAI 1983: 49-56
Cognitive Modelling 1
- András Márkus:
Shifting the Focus of Attention: The Way Agatha Christie Leads You On. IJCAI 1983: 66-68 - Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia:
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. IJCAI 1983: 72-74
Cognitive Modelling 3
- Stephanie Sage, Pat Langley:
Modeling Cognitive Development on the Balance Scale Task. IJCAI 1983: 94-96 - L. Konst, Bob J. Wielinga, Jan J. Elshout, Wouter N. H. Jansweijer:
Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics Problems. IJCAI 1983: 97-99
Expert Systems
Keynote Address
Panel
- Thomas P. Kehler, Peter Friedland, Harry E. Pople, René Reboh, Steve Rosenberg:
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). IJCAI 1983: 108-109
Expert Systems 1: Commercial Applications
- Gregg T. Vesonder, Salvatore J. Stolfo, John E. Zielinski, Frederick D. Miller, David H. Copp:
ACE: An Expert System for Telephone Cable Maintenance. IJCAI 1983: 116-121 - Reid G. Smith, James D. Baker:
The Dipmeter Advisor System - A Case Study in Commercial Expert System Development. IJCAI 1983: 122-129
Expert Systems 2: Plausible Inference
Expert Systems 4: Applications
- Mark S. Fox, Simon Lowenfeld, Pamela Kleinosky:
Techniques for Sensor-Based Diagnosis. IJCAI 1983: 158-163
Expert Systems 3: General
- Douglas B. Lenat, Alan Borning, David W. McDonald, Craig Taylor, Steven Weyer:
Knoesphere: Building Expert Systems With Encyclopedic Knowledge. IJCAI 1983: 167-169
Expert Systems 5
- Charles Kellogg:
Intelligent Assistants for Knowledge and Information Resources Management. IJCAI 1983: 170-172 - Riichiro Mizoguchi, Yukuo Isomoto, Osamu Kakusho:
Expert System as an Intelligent Assistant for Computer Users. IJCAI 1983: 173-175 - Thomas L. Williams, Paul J. Orgren, Carl L. Smith:
Diagnosis of Multiple Faults in a Nationwide Communications Network. IJCAI 1983: 179-181 - Donald W. Loveland, Marco Valtorta:
Detecting Ambiguity: An Example in Knowledge Evaluation. IJCAI 1983: 182-184 - Alain Bonnet, Claude Dahan:
Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique. IJCAI 1983: 185-189
Expert Systems 6: Plausible Reasoning
- Jin H. Kim, Judea Pearl:
A Computational Model for Causal and Diagnostic Reasoning in Inference Systems. IJCAI 1983: 190-193 - Richard M. Tong, Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune:
A Comparison of Uncertainty Calculi in an Expert System for Information Retrieval. IJCAI 1983: 194-197 - Peter C. Cheeseman:
A Method of Computing Generalized Bayesian Probability Values for Expert Systems. IJCAI 1983: 198-202 - Leonard P. Wesley:
Reasoning About Control: The Investigation of an Evidential Approach. IJCAI 1983: 203-206 - Richard R. Cantone, Frank J. Pipitone, W. Brent Lander, Michael P. Marrone:
Model-Based Probabilistic Reasoning for Electronics Troubleshooting. IJCAI 1983: 207-211 - Paul R. Cohen, Mark D. Lieberman:
A Report on FOLIO: An Expert Assistant for Portfolio Managers. IJCAI 1983: 212-214
Expert Systems 7: Languages and Structures, Especially for Time Dependent Reasoning
- Tom Bylander, Sanjay Mittal, B. Chandrasekaran:
CSRL: A Language for Expert Systems for Diagnosis. IJCAI 1983: 218-221 - Naoyuki Yamada, Hiroshi Motoda:
A Diagnosis Method of Dynamic System Using the Knowledge on System Description. IJCAI 1983: 225-229 - William J. Long, Thomas A. Russ:
A Control Structure for Time Dependent Reasoning. IJCAI 1983: 230-232 - Shoichi Masui, John P. McDermott, Alan Sobel:
Decision-Making in Time-Critical Situations. IJCAI 1983: 233-235
Expert Systems 8: Applications
- William B. Thompson, Paul E. Johnson, James B. Moen:
Recognition-Based Diagnostic Reasoning. IJCAI 1983: 236-238 - Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey:
CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. IJCAI 1983: 242-245 - José Cuena:
The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods. IJCAI 1983: 246-249 - H. Jaap van den Herik:
Representation of Experts' Knowledge in a Subdomain of Chess Intelligence. IJCAI 1983: 252-255
Expert Systems / Automatic Programming / Knowledge Representation
- Ryszard S. Michalski, Arthur B. Baskin:
Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE System. IJCAI 1983: 256-258 - Douglas B. Lenat, Albert Clarkson, Garo Kiremidjian:
An Expert System for Indications and Warning Analysis. IJCAI 1983: 259-262 - Takushi Tanaka:
Representation and Analysis of Electrical Circuits in a Deductive System. IJCAI 1983: 263-267
Knowledge Representation
Knowledge Representation 4: Exotic Logics
Knowledge Representation 5: Time and Space
- Jon Doyle:
A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies. IJCAI 1983: 309-314
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
Knowledge Representation 1: Frames and Semantic Networks
- Robert Meersman, Frans Van Assche:
Modelling and Manipulating Production Data Bases in Terms of Semantic Nets. IJCAI 1983: 325-329 - James G. Schmolze, Thomas A. Lipkis:
Classification in the KL-ONE Knowledge Representation System. IJCAI 1983: 330-332 - Amedeo Cappelli, Lorenzo Moretti, Carlo Vinchesi:
KL-Conc: A Language for Interacting With SI-Nets. IJCAI 1983: 333-336 - Ulrich Reimer, Udo Hahn:
A Formal Approach to the Semantics of a Frame Data Model. IJCAI 1983: 337-339
Knowledge Representation 2: Uncertainty, Non-Monotonic Logic and Timespace
- Paul R. Cohen, Milton R. Grinberg:
A Framework for Heuristic Reasoning About Uncertainty. IJCAI 1983: 355-357 - Claus-Rainer Rollinger:
How to Represent Evidence - Aspects of Uncertain Reasoning. IJCAI 1983: 358-361
Knowledge Representation 3: Knowledge and Belief
- Robert E. Filman, John Lamping, Fanya S. Montalvo:
Meta-Knowledge and Meta-Reasoning. IJCAI 1983: 365-369 - Anthony S. Maida:
Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. IJCAI 1983: 382-384
Knowledge Representation 6
- Jean-François Cloarec, Jean-François Cudelou:
An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. IJCAI 1983: 385-387 - Setsuo Ohsuga:
Predicate Logic Involving Data Structure as a Knowledge Representation Language. IJCAI 1983: 391-394
Expert Systems / Automatic Programming / Knowledge Representation
- Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI 1983: 405-408
Learning and Knowledge Acquisition
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
- Fritz Wysotzki:
Representation and Induction of Infinite Concepts and Recursive Action Sequences. IJCAI 1983: 409-414
Learning and Knowledge Acquisition 1
- Dennis F. Kibler, Bruce W. Porter:
Perturbation: A Means for Guiding Generalization. IJCAI 1983: 415-418 - Stephen F. Smith:
Flexible Learning of Problem Solving Heuristics Through Adaptive Search. IJCAI 1983: 422-425
Learning and Knowledge Acquisition 2
- Agustin A. Araya:
Learning by Controlled Transference of Knowledge Between Domains. IJCAI 1983: 439-443 - Russell Greiner, Michael R. Genesereth:
What's New? A Semantic Definition of Novelty. IJCAI 1983: 450-454 - Werner Emde, Christopher Habel, Claus-Rainer Rollinger:
The Discovery of the Equator or Concept Driven Learning. IJCAI 1983: 455-458
Learning and Knowledge Acquisition 3
- Pat Langley, Jan M. Zytkow, Gary L. Bradshaw, Herbert A. Simon:
Three Facets of Scientific Discovery. IJCAI 1983: 465-468
Learning and Knowledge Acquisition 4
- B. A. Shepherd:
An Appraisal of a Decision Tree Approach to Image Classification. IJCAI 1983: 473-475 - Toyoaki Nishida, Akira Kosaka, Shuji Doshita:
Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware Manual. IJCAI 1983: 482-486
Logic Programming
Keynote Address
Logic Programming 2: Theoretical
- Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd:
Completeness of the Negation as Failure Rule. IJCAI 1983: 500-506 - Masahiko Sato, Takafumi Sakurai:
Qute: A Prolog/Lisp Type Language for Logic Programming. IJCAI 1983: 507-513
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
Logic Programming 1
- Adrian Walker:
Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers. IJCAI 1983: 526-528 - Ehud Y. Shapiro:
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. IJCAI 1983: 529-532 - D. C. Dodson, Alan L. Rector:
"Logal": Algorithmic Control Structures for Prolog. IJCAI 1983: 536-538 - Simon Kasif, Madhur Kohli, Jack Minker:
PRISM: A Parallel Inference System for Problem Solving. IJCAI 1983: 544-546
Logic Programming 3
- Anneli Edman, Sten-Åke Tärnlund:
Mechanization of an Oracle in a Debugging System. IJCAI 1983: 553-555
Natural Language
Natural Language 1: Keynote Addresses
- Daniel N. Osherson, Michael Stob, Scott Weinstein:
Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. IJCAI 1983: 566-572
Natural Language 8
- Paul A. Martin, Douglas E. Appelt, Fernando C. N. Pereira:
Transportability and Generality in a Natural-Language Interface System. IJCAI 1983: 573-581 - Wolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O'Leary, Wolfgang Wahlster:
Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems. IJCAI 1983: 588-594
Natural Language 2: Generation - Theoretical, Including Semantics
- Gopalan Nadathur, Aravind K. Joshi:
Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. IJCAI 1983: 603-605
VOLUME 2
Natural Language 3: Generation - Theoretical, Including Semantics
- Anthony Jameson:
Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements. IJCAI 1983: 616-620
Natural Language 4: Speech Related Areas
- Joachim Mudler:
A System for Improving the Recognition of Fluently Spoken German Speech. IJCAI 1983: 633-635 - Sei-ichi Nakagawa:
A Recognition Method of Connected Spoken Words With Syntactical Constraints by Augmented Continuous DP Algorithm. IJCAI 1983: 639-642
Natural Language 5: Interfaces and Applications
- Wolfgang Wahlster, Heinz Marburger, Anthony Jameson, Stephan Busemann:
Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System. IJCAI 1983: 643-646 - Katharina Morik:
Demand and Requirements for Natural Language Systems - Results of an Inquiry. IJCAI 1983: 647-649 - Bonnie L. Webber, Eric Mays:
Varieties of User Misconceptions: Detection and Correction. IJCAI 1983: 650-652 - Jaime G. Carbonell, W. Mark Boggs, Michael L. Mauldin, Peter G. Anick:
The XCALIBUR Project: A Natural Language Interface to Expert Systems. IJCAI 1983: 653-656
Natural Language 6: Interfaces and Applications
- Richard I. Kittredge, Igor Mel'cuk:
Towards a Computable Model of Meaning-Text Relations Within a Natural Sublanguage. IJCAI 1983: 657-659 - R. Comino, Roberto Gemello, Giovanni Guida, Claudio Rullent, L. Sisto, Marco Somalvico:
Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Application to Data Base Query. IJCAI 1983: 663-667 - Philip J. Hayes, Jaime G. Carbonell:
A Framework for Processing Corrections in Task-Oriented Dialogues. IJCAI 1983: 668-670
Natural Language 7: Parsing, Grammar Implementation and Morphology
- Eero Hyvönen:
Graph Grammar Approach to Natural Language Parsing and Understanding. IJCAI 1983: 671-674
Natural Language 9: Parsing, Grammar Implementation and Morphology
Natural Language 10: Discourse, Dialogue, Etc.
- Akira Shimazu, Shozo Naito, Hirosato Nomura:
Japanese Language Semantic Analyzer Based on an Extended Case Frame Model. IJCAI 1983: 717-720 - Manfred Gehrke:
Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues. IJCAI 1983: 721-723 - Bernd Neumann, Hans-Joachim Novak:
Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences. IJCAI 1983: 724-726 - Werner Frey, Uwe Reyle, Christian Rohrer:
Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language. IJCAI 1983: 727-729 - John H. Clippinger Jr., David D. McDonald:
Why Good Writing Is Easier to Understand. IJCAI 1983: 730-732
Planning and Search
Planning and Search 3
- James F. Allen, Johannes A. G. M. Koomen:
Planning Using a Temporal World Model. IJCAI 1983: 741-747 - Daniel D. Corkill, Victor R. Lesser:
The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network. IJCAI 1983: 748-756
Planning and Search 1
- Ling Zhang, Bo Zhang:
The Statistical Inference Method in Heuristic Search Techniques. IJCAI 1983: 757-759 - Stephanie J. Cammarata, David McArthur, Randall Steeb:
Strategies of Cooperation in Distributed Problem Solving. IJCAI 1983: 767-770
Planning and Search 2
- Marco Valtorta:
A Result on the Computational Complexity of Heuristic Estimates for the A* Algorithm. IJCAI 1983: 777-779 - Malik Ghallab, Dennis G. Allard:
Aepsilon - An Efficient Near Admissible Heuristic Search Algorithm. IJCAI 1983: 789-791
Robotics
Robotics 2: Motion Planning and Tracking
- Rodney A. Brooks, Tomás Lozano-Pérez:
A Subdivision Algorithm Configuration Space for Findpath With Rotation. IJCAI 1983: 799-806 - Eugene Grechanovsky, I. Sh. Pinsker:
An Algorithm for Moving a Computer-Controlled Manipulator While Avoiding Obstacles. IJCAI 1983: 807-813
Robotics / Vision: Robot Programming
- Boalin Yin:
A Framework for Handling Vision Data in an Object Level Robot Language - RAPT. IJCAI 1983: 814-820
Robotics 1
- Maria L. Gini, Giuseppina C. Gini:
Towards Automatic Error Recovery in Robot Programs. IJCAI 1983: 821-823 - Mark H. Lee, David P. Barnes, Nigel W. Hardy:
Knowledge Based Error Recovery in Industrial Robots. IJCAI 1983: 824-826
Robotics 3: Mobile Robots and Programming
- Jean-Paul Laumond:
Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot. IJCAI 1983: 839-841 - D. F. Corner, A. Patricia Ambler, Robin J. Popplestone:
Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot. IJCAI 1983: 842-844
Systems Support
- Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.:
Lisp-in-Lisp: High Performance and Portability. IJCAI 1983: 845-849 - Salvatore J. Stolfo, Daniel P. Miranker, David Elliot Shaw:
Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence. IJCAI 1983: 850-854 - Sanjai Narain, David McArthur, Philip Klahr:
Large-Scale System Development in Several Lisp Environments. IJCAI 1983: 859-861
Theorem Proving
Theorem Proving 3: Keynote Address
Theorem Proving 2
- Tamás Gergely, Konstantin Vershinin:
Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. IJCAI 1983: 877-881 - Christoph Walther:
A Many-Sorted Calculus Based on Resolution and Paramodulation. IJCAI 1983: 882-891
Theorem Proving / Automatic Programming
- Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Remy:
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. IJCAI 1983: 909-915
Theorem Proving 1
- Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer:
Towards an Advanced Implementation of the Connection Method. IJCAI 1983: 920-922 - Yves Kodratoff, Jacqueline Castaing:
Trivializing the Proof of Trivial Theorems. IJCAI 1983: 930-932 - John A. Kalman, J. G. Peterson:
Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus. IJCAI 1983: 933-935
Theorem Proving 3
- Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted:
Associative-Commutative Rewriting. IJCAI 1983: 940-944
Vision
Vision 1: Motion and Correspondence
- Hans-Hellmut Nagel:
Constraints for the Estimation of Displacement Vector Fields From Image Sequences. IJCAI 1983: 945-951 - Charles E. Thorpe, Steven A. Shafer:
Correspondence in Line Drawings of Multiple Views of Objects. IJCAI 1983: 959-965
Vision 3: Surfaces and Shape
- Bruno Cernuschi-Frías, Ruud M. Bolle, David B. Cooper:
A New Conceptually Attractive and Computationally Effective Approach to Shape From Shading. IJCAI 1983: 966-968
Vision 4: Object Models and Recognition
- Olivier D. Faugeras, Jean Ponce:
Prism Trees: A Hierarchical Representation for 3-D Objects. IJCAI 1983: 982-988 - Robert B. Fisher:
Using Surfaces and Object Models to Recognize Partially Obscured Objects. IJCAI 1983: 989-995 - Olivier D. Faugeras, Martial Hebert:
A 3-D Recognition and Positioning Algorithm Using Geometrical Matching Between Primitive Surfaces. IJCAI 1983: 996-1002
Robotics / Vision: Robot Programming
- M. D. Diamond, N. Narasimhamurthi, S. Ganapathy:
Optimization Approaches to the Problem of Edge Linking With a Focus on Parallel Processing. IJCAI 1983: 1003-1009
Vision 2: Perceptual Organization
- Martin A. Fischler, Robert C. Bolles:
Perceptual Organization and the Curve Partitioning Problem. IJCAI 1983: 1014-1018
Vision 5: Motion Perception
- J. H. Rieger, Daryl T. Lawton:
Sensor Motion and Relative Depth From Difference Fields of Optic Flows. IJCAI 1983: 1027-1031 - Minoru Asada, Saburo Tsuji:
Inferring Motion of Cylindrical Object From Shape Information. IJCAI 1983: 1032-1034 - Jia-Qi Fang, Thomas S. Huang:
Estimating 3-0 Movement of a Rigid Object: Experimental Results. IJCAI 1983: 1035-1037 - Roger Y. Tsai:
3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective Views. IJCAI 1983: 1038-1042
Vision 6: Shape from Stereo, Shading and Contour
- Michael Kass:
A Computational Framework for the Visual Correspondence Problem. IJCAI 1983: 1043-1045 - Kemt A. Stevens:
The Line of Curvature Constraint and the Interpretation of 3-D Shape From Parallel Surface Contours. IJCAI 1983: 1057-1061 - Stephen T. Barnard, Alex Pentland:
Three-Dimensional Shape From Line Drawings. IJCAI 1983: 1062-1064
Vision 7: Integration of Information
- Bernhard H. Stuth, Dana H. Ballard, Christopher M. Brown:
Boundary Conditions in Multiple Intrinsic Images. IJCAI 1983: 1068-1072 - Demetri Terzopoulos:
The Role of Constraints and Discontinuities in Visible-Surface Reconstruction. IJCAI 1983: 1073-1077 - Jay Glicksman:
Using Multiple Information Sources in a Computational Vision System. IJCAI 1983: 1078-1080 - Christopher M. Brown, Matthew B. Curtiss, David B. Sher:
Advanced Hough Transform Implementations. IJCAI 1983: 1081-1085 - Joseph Naor, Shmuel Peleg:
Image Compression and Filtering Using Pyramid Data Structures. IJCAI 1983: 1086-1088
Vision 8: Object Modelling, Detection and Recognition
- Michael Potmesil:
Generating Models of Solid Objects by Matching 3D Surface Segments. IJCAI 1983: 1089-1093 - Hermann Tropf, I. Walter:
An ATN Model for 3-D Recognition of Solids in Single Images. IJCAI 1983: 1094-1098 - Andres Huertas, Ramakant Nevatia:
Detection of Buildings in Aerial Images Using Shape and Shadows. IJCAI 1983: 1099-1103 - Martin Herman, Takeo Kanade, Shigeru Kuroe:
The 3D MOSAIC Scene Understanding System. IJCAI 1983: 1108-1112 - Norihiro Abe, Fumihide Itho, Saburo Tsuji:
Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language. IJCAI 1983: 1113-1115
Vision 9: Systems and Applications
- Robert C. Bolles, Patrice Horaud, Marsja Jo Hannah:
3DPO: A Three-Dimensional Part Orientation System. IJCAI 1983: 1116-1120 - Augustin Lux, Viviane Souvignier:
PVV: A Goal-Oriented System for Industrial Vision. IJCAI 1983: 1121-1124 - Masahiko Yachida, T. Ichinose, Saburo Tsuji:
Model-Guided Monitoring of a Building Environment by a Mobile Robot. IJCAI 1983: 1125-1127 - Gabor T. Herman, Leon Axel, Ruzena Bajcsy, H. Kundel, R. LeVeen, Jayaram K. Udupa, G. Wolf:
Model Driven Visualization of Coronary Arteries. IJCAI 1983: 1128-1131
General
Computers and Thought Lecture
Distinguished Service Award
Invited Talks
- John Seely Brown, Johan de Kleer:
The Origin, Form, and Logic of Qualitative Physical Laws. IJCAI 1983: 1158-1169 - Stanley J. Rosenschein:
Natural-Language Processing: Crucible for Computational Theories of Cognition. IJCAI 1983: 1180-1186
Panels
- Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar:
Panel on the Fifth Generation Project. IJCAI 1983: 1192-1194 - Nils J. Nilsson, Sandra B. Cook, Alan C. Kay, Faye Duchin, Margaret A. Boden, Dennis Chamot:
Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income. IJCAI 1983: 1195-1198 - Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber:
A Panel on AI and Databases. IJCAI 1983: 1199
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint