Advanced Course: Fundamentals of Artificial Intelligence 1985

Wolfgang Bibel, Philippe Jorrand (Eds.): Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985. Lecture Notes in Computer Science 232 Springer 1986, ISBN 3-540-16782-X BibTeX

@proceedings{DBLP:conf/ac/1985ai,
  editor    = {Wolfgang Bibel and
               Philippe Jorrand},
  title     = {Fundamentals of Artificial Intelligence: An Advanced Course,
               held in Vignieu, France, July 1985},
  booktitle = {Advanced Course: Fundamentals of Artificial Intelligence},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {232},
  year      = {1986},
  isbn      = {3-540-16782-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Knowledge Representation

James P. Delgrande, John Mylopoulos: Knowledge Representation: Features of Knowledge. 3-36 BibTeX

Knowledge Processing

Gérard P. Huet: Deduction and Computation. 38-74 BibTeX
Mark E. Stickel: An Introduction to Automated Deduction. 75-132 BibTeX
Alan W. Biermann: Fundamental Mechanisms in Machine Learning and Inductive Inference. 133-169 BibTeX
Wolfgang Bibel: Methods of Automated Reasoning. 171-217 BibTeX

Knowledge Programming

Philippe Jorrand: Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2. 221-276 BibTeX
Ehud Y. Shapiro: Concurrent Prolog: A Progress Report. 277-313 BibTeX