Free University of Bozen - Bolzano Technische Universität Dresden Universidade Nova de Lisboa Universidad Politécnica de Madrid Vienna University of Technology NICTA

About  |  The Program  |  Grants  |  Further Information  |  Student Workshops  |  For Current Students  |  Internals  |  Contact & Imprint

Description of the Basic Modules

Module No. Name of Module Person in Charge
MCL-B-F Foundations Prof. Steffen Hölldobler
Contents and qualification objectives The module contains propositional logic, first-order logic, equational logic; deductive, abductive, and inductive reasoning; non-monotonic reasoning; machine learning; logic-based program development; natural-language processing and neural-symbolic integration.
After completion of the module students master the methodological basics of propositional and first-order logic. They know the field of Computational Logic and its main sub-fields as well as the basic techniques and methods applied in these sub-fields.
Form of teaching and education Lectures 4 SWS, tutorials 4 SWS, private studies.
Courses The courses Logic and Science of Computational Logic with an extent of 2 SWS lectures and 2 SWS tutorials each are assigned to this module.
Prerequisits for participation Knowledge of Computer Science on Bachelor level or comparative knowledge is required.
Usability This module is a basic module of the study course Computational Logic. It gives the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.
Prerequisits for allocation of credits The credits are given, if the module examination has been passed. The module examination consists of an exam paper of 90 minutes and an oral examination of at least 30 and at most 60 minutes.
Credits and marks With this module 12 credits can be acquired. The mark of the module arises from the (unweighted) arithmetical mean of the marks of each examination.
Frequency This module is offered every academic year in winter term.
Expenditure of work The expenditure of work is in all 360 hours.
Duration This module contains 1 semester.

Module No. Name of Module Person in Charge
MCL-B-LCP Logic and Constraint Programming Prof. Michael Thielscher
Contents and qualification objectives Contents of this module:
  • Foundations of logic programming: unification, procedural semantics, declarative semantics, soundness and completeness of SLD-resolution, negation in logic programs, termination of logic programs;
  • Foundations of constraint programming: complete constraint solvers, local consistency notions, incomplete constraint solvers, constraint propagation, search;
  • Practice of logic programming: the programming language Prolog, recursion, special data structures and libraries, applications of logic programs.
With this module students acquire a detailed understanding of the theoretical foundations of logic and constraint programming. They gain insight into a logic programming language, and they develop the skills to systematically design logic programs, to develop constraint solvers, and to model problems as constraint programs. They also acquire knowledge of the application areas of logic and constraint programming, and they gain insight into the execution of logic programs.
Form of teaching and education Lectures 3 SWS, tutorials 2 SWS, practicals 3 SWS, private studies.
Courses The courses Foundations of Logic Programming with an extent of 2 SWS lectures and 1 SWS tutorial, Foundations of Constrain Programming with an extent of 1 SWS lectures, 1 SWS tutorials and 1 SWS practicals and Logic Programming Engineering with an extent of 2 SWS practicals are assigned to this module.
Prerequisits for participation Knowledge of Computer Science on Bachelor level or comparative knowledge is required.
Usability This module is a basic module of the study course Computational Logic. It gives the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.
Prerequisits for allocation of credits The credits are given, if the module examination has been passed. The module examination consists of an exam paper of 90 minutes and a project work.
Credits and marks With this module 12 credits can be acquired. The mark of the module arises from the arithmetical mean of the marks of each examination. Exam papers are weighted with factor 3 and the project work with factor 1.
Frequency This module is offered every academic year in winter term.
Expenditure of work The expenditure of work is in all 360 hours.
Duration This module contains 1 semester.

Module No. Name of Module Person in Charge
MCL-B-AL Advanced Logic Prof. Christel Baier
Contents and qualification objectives The module treats several variants of first-order and second-order logic and modal logic, with an emphasis on expressiveness, deductive systems and algorithmic and complexity-theoretic aspects. The students will get a deep understanding of the basic principles of logic calculi and earn the ability of evaluating and applying logical frameworks in application areas related to Computer Science.
Form of teaching and education Lectures 4 SWS, tutorials 2 SWS, private studies.
Courses The course Advanced Logic with an extent of 4 SWS lectures and 2 SWS tutorial is assigned to this module.
Prerequisits for participation This module bases on the basic concepts of propositional logic and predicate logic, which are given in the module Foundations. Furthermore, general basic knowledge of computer science is required, especially from the areas of computability theory, complexity theory, formal languages, algorithms and data structures.
Usability This module is a basic module of the study course Computational Logic. It gives the qualification for all advanced modules as well as for the module Project.
Prerequisits for allocation of credits The credits are given, if the module examination has been passed. The module examination consists of an exam paper of 120 minutes.
Credits and marks With this module 9 credits can be acquired. The mark of the module is the mark obtained in the exam paper.
Frequency This module is offered every academic year in summer term.
Expenditure of work The expenditure of work is in all 270 hours.
Duration This module contains 1 semester.

Module No. Name of Module Person in Charge
MCL-B-ILS Integrated Logic Systems Prof. Michael Schroeder
Contents and qualification objectives The module deals with practical applications of logic and reasoning. The course "semantic search" deals with a novel search paradigm that uses background knowledge in the form of ontologies.
The course introduces the necessary cocnepts from information retrieval and text-mining to realize ontology learning and alignments and ontology-based search.
Form of teaching and education Lectures 3 SWS, tutorials 3 SWS, private studies.
Courses The courses Deduction Systems with an extent of 1 SWS lectures and 1 SWS tutorials and Semantic Search: Algorithms and Applications with an extent of 2 SWS lectures and 2 SWS tutorials are assigned to this module.
Prerequisits for participation Knowledge of computer science on bachelor level and deepened knowledge of logic and logic programming or comparative knowledge is required.
Usability This module is a basic module of the study course Computational Logic. It gives the qualification for all advanced modules as well as for the module Project.
Prerequisits for allocation of credits The credits are given, if the module examination has been passed. The module examination consists of an exam paper of 120 minutes.
Credits and marks With this module 9 credits can be acquired. The mark of the module is the mark obtained in the exam paper.
Frequency This module is offered every academic year in summer term.
Expenditure of work The expenditure of work is in all 270 hours.
Duration This module contains 1 semester.

Module No. Name of Module Person in Charge
MCL-P Project Head of the study course
Contents and qualification objectives The module requires the solution of a simple scientific problem from the field of Computational Logic including an oral and written presentation of the problem, the state of the art in the underlying sub-field and the proposed solution as well as its defense.
After completion of the module students are able to analyze a simple scientific problem, to relate the problem to the state of the art in the underlying sub-field, to solve the problem, to present the problem, the state of the art as well as the solution in written from as well as in an oral presentation, and to defend their claims.
Form of teaching and education Practicals 4 SWS, private studies.
Courses The course Project Group with an extent of 4 SWS practicals is assigned to this module.
Prerequisits for participation The knowledge given in the basic modules of the study course Computational Logic is required.
Usability This module is a basic module of the study course Computational Logic.
Prerequisits for allocation of credits The credits are given, if the module examination has been passed. The module examination consists of doing a project work and its defence. The defence consists of a presentation of ca. 20 minutes followed by a dialogue.
Credits and marks With this module 12 credits can be acquired. The mark of the module arises from the arithmetical mean of the marks of each examination with usage of the following weight: project work with factor 6, presentation and dialogue with factor 1 each.
Frequency This module is offered in every term.
Expenditure of work The expenditure of work is in all 360 hours.
Duration This module contains 1 semester.