Automated Reasoning 2004 - Course Webpage

This page should provide almost all the information about the 2004 edition of the Automated Reasoning course. The following links are available:

!!! There is flyer describing why we think that this course could be interesting for you !!!

Contact

The course is taught by the following people

      Stefan Schlobach (schlobac@science.uva.nl)
      Maarten de Rijke (mdr@science.uva.nl)

Please contact the first lecturer if you have questions.

Aims

The aim of the course is to provide an overview of important trends in automated reasoning, from both a theoretical and experimental point of view.

The main characteristics of the course are

  • Application-driven approach to Automated Reasoning
    • XPath Reasoning as Model Checking
    • Controlled Medical Terminologies using Description Logic 
    • Knowledge Intensive Methods in open domain QA
  • many logics: propositional logic, first-order logic, modal logic

    • many provers/tools:   ZCHAFF, SPASS, NuSMV, RACER
both theoretical lectures and hands-on experience  we start from the necessary basic notions, but we will
also cover state-of-the-art issues in automated reasoning

Material

There is no single textbook that covers the material that we want to cover during this course. Instead, reading material is made available; please consult this page. For copyright reasons, access to the reading material may be restricted to clients from within the science.uva.nl domain. The papers will be accessible soon.
Please consult the schedule for links to the slides.

Format

 
The course has two parts, and
  • consists of weekly lectures (Thursday, 13.15, room C.206) and
  • lab sessions (Friday, 9.15.).
There will be no lecture at some of the dates because of public holidays. Please contact the course booklet for details. 

Assessment

We want to encourage the students to participate in the class as much as possible. For this purpose the assessment of the class is based on three elements, participation in class (including the presentation of a research paper), practical assessments. The course is organised in two interrelated parts. 
  • this course is worth 6 EC credits (3 per Par)
  • there are 2 lab assignments (one per Part)
  • assignments are done by teams of two people
  • each student presents a scientific paper in the course, to be chosen from a collection of papers in AR
  • There will be two take-home exams per Part
  • final mark takes into consideration all three results 

Practical Assignments

There two practical assignments contributing to the final marks with 40%. Assignements are done by two students in teams. 
      • Hendrik , Ruben
      • Gerben, Brammert
      • Inge, Evangelos
      • Frans, Marijn
      • Morton

Here's the pdf version of the second assignment, and some material:
  • fma-all.krss: a huge ontology (14M) , on which you are supposed to try your partitioning methods.
  • the material for the QA task is going to be send by email and will be added soon.

Results

Results will be send by email.

Registered Students