dblp.uni-trier.de www.uni-trier.de

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

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

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

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

Natural Language 4: Speech Related Areas

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

Robotics 1

Robotics 3: Mobile Robots and Programming

Systems Support

Theorem Proving

Theorem Proving 3: Keynote Address

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

Vision 7: Integration of Information

Vision 8: Object Modelling, Detection and Recognition

Vision 9: Systems and Applications

General

Computers and Thought Lecture

Distinguished Service Award

Invited Talks

Panels

Copyright © Mon Nov 2 20:50:09 2009 by Michael Ley (ley@uni-trier.de)