8. IJCAI 1983:
Karlsruhe, West Germany
Alan Bundy (Ed.):
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
Automatic Programming 1
Automatic Programming 2
Expert Systems / Automatic Programming / Knowledge Representation
Cognitive Modelling
Panel
Cognitive Modelling 2
Cognitive Modelling 1
Cognitive Modelling 3
Expert Systems
Keynote Address
Panel
Expert Systems 1:
Commercial Applications
Expert Systems 2:
Plausible Inference
- Henri Prade:
A Synthetic View of Approximate Reasoning Techniques.
130-136
- J. Ross Quinlan:
Consistency and Plausible Reasoning.
137-144
- René Reboh:
Extracting Useful Advice From Conflicting Expertise.
145-150
Expert Systems 4:
Applications
Expert Systems 3:
General
Expert Systems 5
Expert Systems 6:
Plausible Reasoning
Expert Systems 7:
Languages and Structures, Especially for Time Dependent Reasoning
Expert Systems 8:
Applications
Expert Systems / Automatic Programming / Knowledge Representation
Knowledge Representation
Knowledge Representation 4:
Exotic Logics
Knowledge Representation 5:
Time and Space
- Ernest Davis:
The Mercator Representation of Spatial Knowledge.
295-301
- Drew V. McDermott:
Generalizing Problem Reduction: A Logical Analysis.
302-308
- Jon Doyle:
A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies.
309-314
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
Knowledge Representation 1:
Frames and Semantic Networks
Knowledge Representation 2:
Uncertainty, Non-Monotonic Logic and Timespace
Knowledge Representation 3:
Knowledge and Belief
Knowledge Representation 6
Expert Systems / Automatic Programming / Knowledge Representation
Learning and Knowledge Acquisition
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
- Fritz Wysotzki:
Representation and Induction of Infinite Concepts and Recursive Action Sequences.
409-414
Learning and Knowledge Acquisition 1
Learning and Knowledge Acquisition 2
Learning and Knowledge Acquisition 3
Learning and Knowledge Acquisition 4
Logic Programming
Keynote Address
Logic Programming 2:
Theoretical
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
Logic Programming 1
Logic Programming 3
Natural Language
Natural Language 1:
Keynote Addresses
Natural Language 8
Natural Language 2:
Generation - Theoretical, Including Semantics
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.
616-620
- Karen Sparck Jones:
Shifting Meaning Representations.
621-623
- Peter Norvig:
Frame Activated Inferences in a Story Understanding Program.
624-626
- Ingeborg Steinacker, Harald Trost:
Structural Relations - A Case Against Case.
627-629
Natural Language 4:
Speech Related Areas
- Mary O'Kane:
The FOPHO Speech Recognition Project.
630-632
- Joachim Mudler:
A System for Improving the Recognition of Fluently Spoken German Speech.
633-635
- Kenneth Ward Church:
Allophonic and Phonotactic Constraints Are Useful.
636-638
- Sei-ichi Nakagawa:
A Recognition Method of Connected Spoken Words With Syntactical Constraints by Augmented Continuous DP Algorithm.
639-642
Natural Language 5:
Interfaces and Applications
Natural Language 6:
Interfaces and Applications
Natural Language 7:
Parsing, Grammar Implementation and Morphology
Natural Language 9:
Parsing, Grammar Implementation and Morphology
Natural Language 10:
Discourse, Dialogue, Etc.
Planning and Search
Planning and Search 3
Planning and Search 1
Planning and Search 2
Robotics
Robotics 2:
Motion Planning and Tracking
Robotics / Vision:
Robot Programming
- Boalin Yin:
A Framework for Handling Vision Data in an Object Level Robot Language-RAPT.
814-820
Robotics 1
Robotics 3:
Mobile Robots and Programming
Systems Support
Theorem Proving
Theorem Proving 3:
Keynote Address
- Larry Wos:
Automated Reasoning: Real Uses and Potential Uses.
867-876
Theorem Proving 2
Theorem Proving / Automatic Programming
Theorem Proving 1
Theorem Proving 3
Vision
Vision 1:
Motion and Correspondence
Vision 3:
Surfaces and Shape
Vision 4:
Object Models and Recognition
Robotics / Vision:
Robot Programming
Vision 2:
Perceptual Organization
Vision 5:
Motion Perception
Vision 6:
Shape from Stereo, Shading and Contour
- Michael Kass:
A Computational Framework for the Visual Correspondence Problem.
1043-1045
- A. Peter Blicher:
The Stereo Matching Problem From the Topological Viewpoint.
1046-1049
- K. Prazdny:
Computing Convergence Angle From Random Dot Stereograms.
1050-1052
- Anni R. Bruss:
Is What You See What You Get?
1053-1056
- Kemt A. Stevens:
The Line of Curvature Constraint and the Interpretation of 3-D Shape From Parallel Surface Contours.
1057-1061
- Stephen T. Barnard, Alex Pentland:
Three-Dimensional Shape From Line Drawings.
1062-1064
Vision 7:
Integration of Information
Vision 8:
Object Modelling, Detection and Recognition
Vision 9:
Systems and Applications
- Robert C. Bolles, Patrice Horaud, Marsja Jo Hannah:
3DPO: A Three-Dimensional Part Orientation System.
1116-1120
- Augustin Lux, Viviane Souvignier:
PVV: A Goal-Oriented System for Industrial Vision.
1121-1124
- Masahiko Yachida, T. Ichinose, Saburo Tsuji:
Model-Guided Monitoring of a Building Environment by a Mobile Robot.
1125-1127
- Gabor T. Herman, L. Axel, Ruzena Bajcsy, H. Kundel, R. LeVeen, Jayaram K. Udupa, G. Wolf:
Model Driven Visualization of Coronary Arteries.
1128-1131
- Fumiaki Tomita:
A Learning Vision System for 2D Object Recognition.
1132-1135
- Bir Bhanu:
Recognition of Occluded Objects.
1136-1138
General
Computers and Thought Lecture
Distinguished Service Award
Invited Talks
Panels
- Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar:
Panel on the Fifth Generation Project.
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.
1195-1198
- Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber:
A Panel on AI and Databases.
1199
Last update Sun May 26 02:30:40 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
