Lecture Schedule for Higher-Order Logic Programming

A rough sketch of the lecture schedule for this course can be obtained by following the pointers below. References for each lecture are also indicated, with links to online versions of the papers where these were available. Not all the literature mentioned will be covered in class. References annotated as (Main) contain necessary material, unannotated references contain relevant material that will be touched upon and references with the annotation (Aux) are listed only for further reading and will not be discussed in class.

Note that this lecture schedule is only a tentative one and will be modified based on student interest and the actual pace that we are able to establish. (Motivated students: Please let the professor know soon of any special topics related to the title of the course that you are interested in.) Note also that the lectures will be delivered in seminar style, i.e. they will tend to overview topics, skipping details such as proofs. Details will usually be found in the references and it is a good idea to familiarize yourself with the listed literature for a lecture before the lecture.

There will be nine (9) lectures in all. The topics and reference lists for each can be obtained by selecting the relevant item below.

Last updated on April 27, 1995 by gopalan@takapoto.pms.informatik.uni-muenchen.de