welcome: please sign in


Departmental Links

External Links

Knowledge Management - Academic year 2013/2014

Course information

Lecturer: Mario Alviano

Notice board

Course material

Programme (in short)

  1. Classical Logic
    • Propositional logic
    • First-order logic
    • Calculi
  2. Semantic Web
    • Description Logics, RDF, RDF-S and OWL
    • XML, DTD and XML Schema
    • XPath and XSLT


  1. Introduction: presentation, handout

  2. Propositional Logic - Syntax and Semantics: presentation, handout

  3. Propositional Logic - Properties, Normal Forms, Computation: presentation, handout

  4. Propositional Logic - Exercises: presentation, handout

  5. Propositional Logic - Computer exercises: presentation, handout

  6. Propositional Logic - Resolution and DPLL: presentation, handout

  7. Propositional Logic - Propositional Tableau and Sequent Calculus: presentation, handout

  8. First-Order Logic - Syntax and semantics: presentation, handout

  9. First-Order Logic - Semantic notions and sequent calculus: presentation, handout

  10. First-Order Logic - Normal forms: presentation, handout

  11. First-Order Logic - Computer exercises: presentation, handout

  12. First-Order Logic - Herbrand interpretations and resolution: presentation, handout

  13. First-Order Logic - Tableau: presentation, handout

  14. Description Logics: presentation, handout

  15. XML and DTD: presentation, handout, exercises

  16. XML Schema: presentation, handout, exercises

  17. XPath: presentation, handout, exercises

  18. XSLT (part I): presentation, handout

  19. XSLT (part II): presentation, handout, exercises

Exercises to Solve at Home

  1. Have a look at the end of the slides
  2. Exercises to be solved in the classroom (23, 24, 25, 26, 33, 34, 35) and at home by Javier Larrosa: download

  3. Nice collection of exercises (with solutions) by Chiara Ghidini and Luciano Serafini: download



Web Pages


Lecture Hall: MT 14, cube 31/b, near the lab