24 October:
If you are thinking of continuing your studies,
the following might be of interest.
The Logic Summer School is a highly recommended in-depth introduction to many aspects of logic important to computer science. It is now part of a wider school covering several AI topics. The school is held from Jan 26 until Feb 6 and the fee for students is very low.
The European Masters in Computational Logic is a two year degree taken in two of five European universities. There are scholarships available for non-European students.
24 October:
The slides for the last lecture are now available.
17 October:
The Description Logics assignment and lecture notes are now available.
13 October:
The Belief Revision assignment and lecture notes are now available.
22 September:
The Belief Revision lecture has been pushed back to 16 October,
to accommodate the second Boolean Satisfiability lecture this week.
22 September:
The Planning assignment is now available.
17 September:
Question 3 of the Global Constraints assignment has been revised.
Please check the last paragraph of that question. Also note that
the deadline for this assignment has been shifted to Friday at midday.
17 September:
The lecture notes for tomorrow's lecture are now available.
12 September:
The global constraints assignment is now available.
I have also fixed the link to the slides from Andrew's second lecture
and added the slides from George's second lecture
(even though he has not given it yet).
11 September:
George is ill today, so today's lecture will be on global constraints.
George's second lecture on SAT solving will be rescheduled.
Consequently, Question 2 of George's assignment will also be rescheduled,
but Question 1 is still due on 18 September.
29 August:
The sample answer for question 3.4 of Assignment 2 has been corrected.
You should already have received the third assignment by email from Andrew. It is also now posted on the website.
21 August:
Marks for the first assignment have been emailed out.
Sample solutions for the first two assignments are now available
on the Assignment page.
15 August:
I have slightly modified Q1 of the assignment, by correcting the syntax of
the queries (I had used an old syntax) and changing 20 to 30 in the queries.
14 August:
The slides from this week's lecture and Assignment 2 are now available.
13 August:
In my slides I have been using
:- use_module(library(fd)).
to load the Eclipse constraint solver library. However this is for an older version of Eclipse, and the appropriate command now is:- lib(ic).
as you will see in the documentation.
8 August:
The first assignment is now available.
Contact me if you have questions.
5 August:
We have not covered enough technical material for an assignment,
so there will not be an assignment due on August 7.
In the meantime, I suggest you explore the MiniZinc and Eclipse examples
in the lectures notes and in the respective distributions.
31 July:
Lecture notes are on the website.
The assignment will not be available until the weekend.
Eclipse is available on CSE machines at /home/eclps/bin/i386_linux/
For more details on using Eclipse and MiniZinc, look on the resources webpage.
23 July:
Announcements updated.
16 July:
Website revision complete.
15 July:
Website under revision.