Temas Avanzados en Computación Lógica
(Doctorado 1997-98)
Welcome to the home page of ``Temas Avanzados en Computación
Lógica,'' a one-semester course on advanced topics in
computional logic covering both theory and practice. This course is
part of the
Ph.D. program of the
Department of Artificial Intelligence, School of Computer Science, Technical University of Madrid. This
course is essentially aimed as an introduction to several research
topics in the area.
The course is taught this year by:
who are members of the CLIP
(Computational Logic, Implementation and Parallelism) research
group.
Please note that this information is all under (permanent?)
construction. Comments, questions, raves, rants, etc., as well as
administrative questions regarding e.g. grading, changes in the
schedule, etc., regarding this course should be directed by email to
<bueno@fi.upm.es>. <herme@fi.upm.es>.
Note to web surfers: You are welcome to use all or part of this
course material, but if you do so we ask you to please quote the
origin. We would also very much appreciate if you let us know that
you are using it and send us any errors you may find by email to <herme@fi.upm.es>. Thanks
in advance.
Main information on the course:
Course Slides (in English):
On-line versions of the course slides. The principal pointers
point to the html versions, suitable for WWW browsing. The ps
pointers point to the full size postscript versions, suitable for
viewing on-line with, for example, ghostscript/ghostview. The
smallps pointers point to the reduced postscript versions (two
or more slides per page), which are suitable for printing. Note that
some slides may have not been updated yet for this academic year, and
that any file may be (hopefully) improved at any time.
Last modified: Fri Nov 13 14:27:42 1998
<logalg@dia.fi.upm.es>