News from the Instructor
| Dec. 11: Since there was not assignment 3, if convenient for you, I will replace that missing mark by the best mark among assignments 1-2, the midterm and exam. |
| Dec. 05: The last lecture of the term was yesterday. The slides and recording are posted below. For the Exam: Most of it will be multiple choice. There will be a few questions for which you have to provide your very short answers. For that part make sure to carefully read the slides on ASP and those on the DLV system. |
| Nov. 05: Assignment 2 is posted here. |
| Nov. 04: This Monday there will be no lecture. I have to fly from France back to Canada. I will post the slides and recording during this weekend. Make sure to read/watch them before the lecture after that. You can email me and ask if you have questions. |
| Oct. 22: Here are some slides on the DLV system. It is for running ASP, which we will start presenting in the next lecture. Since ASP extends Datalog and Datalog with stratified negation, it can also use for those as well. Assignment 2 will be about using DLV to answer the queries of assignment 1. You will have less time for assignment 2 in comparison to assignment 1 since the former builds on thge latter. So, start becoming familiar with DLV. slides. |
| Oct. 21: Here is assignment 1 with the source files: assignment. sources. |
| Oct. 17: I am posting below, under Lectures, a second part of "slides5". Those are the last slides for Chapter 2. In a few days I will upload a recording where I will explain them. However, you should have noticed by now that my slides are fully self-contained, and can be read as a book. So, you can start reading. I need you to read those slides, because the upcoming assignment will turn around the full Chapter 2. |
| Oct. 17: After the Midterm, I insist on: (a) The importance of reading and understanding each lecture before joining the next one. (b) The importance of participating in class, and asking questions in particular. (c) Making sure you really understand the material, which involves, in particular, redoing yourself the examples shown in the slides, apart, of course, of solving the proposed exercises. (c) You can ask me anytime by sending an email, but do not wait until the last day to do so. (d) An important portion of the Exam will be similar to the Midterm. So, be prepared for a similar kind of questions. |
| Oct. 05: The Midterm will be on Oct. 16 at 18:00 in Room CB 2104. You will need only a pen, nothing else. The covered material includes all the slides posted up to today, as below. |
| Oct. 05: The combination of Thanksgiving and the Midterm will make us lose too much lecture time. I am posting below (under Lectures) some extra slides for your own mandatory reading. They are about things we have already discussed. So, you should not have problems understanding them. You can always reach out to me for questions or dicussion. |
| Oct. 02: We will use the DLV knowledge representation system. Dowload it from here, and install it. |
| Oct. 02: Students will have to hand in written assignments, and written reports based on papers. Specially for the latter, there will be guidelines to follow in terms of format and length (etc.). Also aesthetic aspects of the presentation will be considered for the evaluation. Documents have to look professional. Accordingly, assignments and reports have to be written using Latex. This document preparation system is de facto standard for serious technical/scientific document writing. Latex can be run under Windows, Mac, Linux, etc. So, the first task is to find and install Latex in your computer. It is free. I use MikTex on Windows, but there are alternatives. To edit Latex files (and from there run Latex), I use WinEdt, but again, there are alternatives. Here you can find a Latex manual. Embedded figures have to look professional too (no scanned hand-drawn figures, please). I use MS Powerpoint, but whatever works is fine. A zip file containing a sample article with sources and output (in pdf format) can be found here. Use this template for the assignments. THIS IS ONLY A TEMPLATE, NOT AN ASSIGNMENT YET. |
| Sept. 23: I decided not to upload a second part for the part lecture. Better if I cover this Monday the stuff myself. However, please do read the slides posted so far. |
| Sept. 15: Remember that this Monday 18th there is no lecture. I will post the slides and a recording for that lecture any time soon. |
| Sept. 15: Non-mandatory reading: These are the slides for a course on Computational Logic I taught a few times at Carleton University. They have interesting stuff and many more details on logic. There is some overlap with this term's course only at the beginning, and at the end (of these slides). |
| Sept. 15: This may be of interest for you. A presentation by the Startup "RelationalAI" on Knowledge Graphs. I have been involved in RelationalAI. |
| September 12: I have received this from the Paul Menton Center: "The Paul Menton Centre for Students with Disabilities is seeking a volunteer notetaker for this class, COMP4900 F. This volunteer role is very easy for you to do and volunteers who successfully fulfill the requirements of the role are eligible to receive a letter of appreciation and a CCR credit at the end of the semester. Volunteers must take notes for all lectures and have them uploaded within 72 hours of the lecture date. Notes can be typed and uploaded directly using your personal computer, or handwritten notes can be scanned and uploaded to the Ventus portal. If you are interested in this opportunity please visit the PMC Volunteer Notetaking Portal at https://ventus.carleton.ca/notetaker/ to learn how to sign up. For more information or assistance please email volunteer.notetaking@carleton.ca"." |
| September 10: If you haven't received a mail from me with instructions for zoom, send me an email with your university email address. |
| September 06: Zoom link coming soon here. |
| September 06: The Syllabus is here. |
Lectures
| Slides 10, Dec. 04: Slides. Recording. This is the last lecture of the term. |
| Slides 9, Nov. 20: Slides. Recording. |
| Slides 8, Nov. 13: Slides. Recording. |
| Slides 7-2, Nov. 05: Slides Second Part. Recording Second Part. |
| Slides 7-1, Nov. 04: Slides First Part. Recording First Part. |
| Slides 6, Oct. 30: Slides. Recording. |
| Slides 5, Part 2, Oct. 17: Slides. |
| Slides 5, Oct. 05: Slides. |
| Lecture 4, Oct. 2: Slides. Recording. |
| Lecture 3, Sept. 25: Slides. Recording. I posted the last pages of the chapter, but I will go through them in the next lecture. |
| Lecture 2, Sept. 18: Slides First Part. Recording First Part. |
| Lecture 1, Sep. 11: Slides. Recording. |
| Lecture 0 . This Chapter 0 is initial, mandatory personal reading. Only a few technical issues will be revisited in Chapter 1. |