Advanced Course: Fundamentals of Artificial Intelligence

Keyphrases

Publications

volume 232, 1986

Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985 Advanced Course: Fundamentals of Artificial Intelligence 232 (1986)

1985

Ehud Shapiro
Concurrent Prolog: A Progress Report. Advanced Course: Fundamentals of Artificial Intelligence (1985)
James P. Delgrande, John Mylopoulos
Knowledge Representation: Features of Knowledge. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Gérard P. Huet
Deduction and Computation. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Alan W. Biermann
Fundamental Mechanisms in Machine Learning and Inductive Inference. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Mark E. Stickel
An Introduction to Automated Deduction. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Wolfgang Bibel
Methods of Automated Reasoning. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Philippe Jorrand
Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2. Advanced Course: Fundamentals of Artificial Intelligence (1985)