8. IJCAI 1983: Karlsruhe, West Germany

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