Fundamentals of artificial intelligence : an advanced course
W. Bibel ... [et al.] ; edited by W. Bibel and Ph. Jorrand.
Springer study ed.
Berlin : Springer-Verlag, ©1987.
v, 313 págs. : ilustraciones ; 25 cm.
ISBN: 3540182659
"Elaborated and harmonized versions of [the] lectures [from] the first Advanced Course in Artificial Intelligence that was held in Vignieu, France, in July 1985".
"Second printing of vol. 232 of the series Lecture notes in computer science ... 1986".
Incluye referencias bibliográficas.
Reseña: MathSciNet, 87j:68094
Contenido
- James P. Delgrande and John Mylopoulos, Knowledge representation: features of knowledge
- Gérard Huet, Deduction and computation
- Mark E. Stickel, An introduction to automated deduction
- Alan W. Biermann, Fundamental mechanisms in machine learning and inductive inference
- Wolfgang Bibel, Methods of automated reasoning. A tutorial
- Philippe Jorrand, Term rewriting as a basis for the design of a functional and parallel programming language. A case study: the language FP2
- Ehud Shapiro, Concurrent Prolog: a progress report.