COMP 3400 Computational Logic and Automated Reasoning

 

 

News from the Instructor


Jan 18: This is a relatively old presentation I made for a general audience that touches several topics we discussed in class today and others that will show up in class later on. It is interesting, non-mandatory reading. For your computational culture and joy.
Jan 18: Here you can find links to download the reasoning systems we will use (in this order): Otter/Mace/Prover9, SWI Prolog, DLV.
Jan 17: The lecture posted yesterday evening was just replaced by a new version.
Jan 12: TA office hours will take place in HP 4125.
Jan 12: A classmate enrolled with the Paul Menton Center needs a note taker. Any volunteer? Here is the note sent by the PMC: ""Currently the PMC is seeking a volunteer notetaker for this class, COMP 3400 (A). This volunteer service is very easy for you to do and has many rewards. Volunteers must take notes for all lectures and have them uploaded within 48 hours of the lecture date. Notes can be typed or handwritten notes can be scanned and uploaded via Carleton Central. Volunteers who upload all notes in a timely manner will be eligible for a letter of appreciation and CCR credit at the end of the term. If this is an opportunity you would like to take advantage of please email volunteer_notetaking@carleton.ca with your name, student number and complete course code, or you can stop by our office in 501 University Centre."
Jan 12: For those who have never gone through a (proper) database course, here you will find a review of relational databases. It is non-mandatory reading, and this course does not require having taken a course on databases. However, this course combines well with such a course and you may benefit from the combined perspective on knowledge representation.
Jan 12: The lecture posted yesterday evening was just replaced by a new version.
Jan 09: Lecture slides have been posted, including some extra slides not shown in class. All of them have to be read (always). Also: Carefully read the whole syllabus.
Jan 05: TA office hours: Zahra Hassanzadeh; Wednesdays 3:00-4:30 (every week). Jordan Li; Fridays 14:00-15:30 (not every week, and will be announced in advance).
Jan 05: Students will have to hand in written assignments, and they have to look professional (an aspect that will be considered in the mark). Accordingly, documents must be prepared with Latex, producing as output a document in PDF format that has to be submitted. Latex is the de facto standard for writing technical/scientific documents.
Latex can be run under Windows, Mac, Linux, etc. So, the first task is to download Latex and install it on your computer. It is free. I use MikTex on Windows, but there are alternatives. It is better to produce Latex documents and run them through an appropriate editor. A free one is Texmaker (there are others). I use WinEdt, which is not free (there is a trial version), but am very happy with it.
Start familiarizing yourself with Latex before you have to do the first assignment. Here you can find a Latex manual (there are many on-line).
A zip file containing a sample article with the style you will use for your reports/assignments can be found here.