European Master's Program in Computational Logic

Search:

Modules of EMCL

On this page you will find the descriptions of all the modules offered by the European Master's Program in Computational Logic.

To obtain an MSc degree students must earn at least the following credit points (cr) in EMCL:

  • 34 cr in the mandatory basic modules
  • 36 cr in selected advanced modules
  • 4 cr in the seminar module
  • 16 cr in the project module
  • 30 cr in the master thesis and its defense


Overview Table


Course Assignments to Modules

Summer Semester 2016

EMCL-B-AL   Advanced Logic at unibz in SS 2016
Course TitleLecturer
Advanced LogicProf. Ryzhikov
EMCL-B-ILS   Integrated Logic Systems at unibz in SS 2016
Course TitleLecturer
Integrated Logic SystemsProf. Tessaris
EMCL-A-ODS   Ontology and Database Systems at unibz in SS 2016
Course TitleLecturer
Foundations of DatabasesProf. Nutt
Knowledge Representation and OntologiesProf. Calvanese
EMCL-A-PDM   Principles of Data Management at unibz in SS 2016
Course TitleLecturer
Data and Process ModelingDr. Montali
Seminars in Data SeamanticsProf. Franconi, Prof. Kutz, Dr. Penaloza
EMCL-A-CSE   Computer Science Engineering at TUD in SS 2016
Course TitleLecturer
Component-based Software EngineeringProf. Assmann
Foundations of Concurrent and Distributed SystemsProf. Fetzer
Internet & Web ApplicationsProf. Schill
Security and Cryptography IIDr. Köpsell
Wireless Sensor NetworksDr. Dargie
EMCL-A-KR   Knowledge Representation at TUD in SS 2016
Course TitleLecturer
Database TheoryDr. Krötzsch
Foundations of Semantic Web TechnologiesProf. Rudolph
Knowledge Representation and ReasoningProf. Hölldobler
Logical ModellingProf. Rudolph
Problem Solving and Search in AIDr. Gaggl
EMCL-A-PI   Principles of Inference at TUD in SS 2016
Course TitleLecturer
Advanced Topics in Complexity TheoryProf. Baader, Dr. Borchmann
Database TheoryDr. Krötzsch
Foundations of Semantic Web TechnologiesProf. Rudolph
Introduction to Automatic StructuresDr. Turhan
Knowledge Representation and ReasoningProf. Hölldobler
Logical ModellingProf. Rudolph
Problem Solving and Search in AIDr. Gaggl
Term Rewriting SystemsProf. Baader
Theoretical Computer ScienceProf. Baader
EMCL-A-TCSL   Theoretical Computer Science and Logic at TUD in SS 2016
Course TitleLecturer
Advanced Topics in Complexity TheoryProf. Baader, Dr. Borchmann
Database TheoryDr. Krötzsch
Introduction to Automatic StructuresDr. Turhan
Term Rewriting SystemsProf. Baader
Theoretical Computer ScienceProf. Baader
EMCL-B-P   Project at TUD in SS 2016
Course TitleLecturer
Project Group Computational LogicProf. Rudolph
Project Group Knowledge Representation and ReasoningProf. Hölldobler
Project Group Model CheckingProf. Baier
Project Group Semantic SearchProf. Schroeder
Project Group Theoretical Computer ScienceProf. Baader
EMCL-B-PCS   Presentation and Communication Skills at TUD in SS 2016
Course TitleLecturer
Knowledge Representation and ReasoningProf. Hölldobler
Lab Course Modelling and Automated VerificationProf. Baier, Dr. Klüppelholz
Selected Topics in Logics and VerificationProf. Baier
Theoretical Computer ScienceProf. Baader
EMCL-A-CLIT   Computational Logic for Information Technology at TUW in SS 2016
Course TitleLecturer
Applied Web Data Extraction and IntegrationDr. Baumgartner
Database TheoryProf. Pichler
Foundations of Information IntegrationProf. Pichler
Problem Solving and Search in Artificial IntelligenceDr. Musliu
Seminar of Artificial IntelligenceProf. Woltran
EMCL-A-KR   Knowledge Representation at TUW in SS 2016
Course TitleLecturer
Complexity AnalysisProf. Eiter
Database TheoryProf. Pichler
Discrete Reasoning MethodsProf. Szeider
Seminar of Artificial IntelligenceDr. Musliu
EMCL-A-LF   Logical Foundations at TUW in SS 2016
Course TitleLecturer
Advanced Mathematical LogicDr. Weller
Automated DeductionProf. Hetzl
Computability TheoryProf. Leitsch
Proof Theory 2Prof. Baaz
Seminar in LogicChristian Fermüller
Unification TheoryProf. Salzer
EMCL-A-MV   Modeling and Verification at TUW in SS 2016
Course TitleLecturer
Computer Aided Verification LU (exercises)Dr. Zuleger et. al.
Computer Aided Verification VOProf. Veith
Deductive Verification of SoftwareProf. Futschek, Prof. Salzer
Model CheckingProf. Veith
EMCL-A-PC   Principles of Computation at TUW in SS 2016
Course TitleLecturer
Complexity AnalysisProf. Eiter
Complexity TheoryProf. Pichler
Computability TheoryProf. Leitsch
Discrete Reasoning MethodsProf. Szeider
EMCL-A-PI   Principles of Inference at TUW in SS 2016
Course TitleLecturer
Automated DeductionProf. Hetzl
Proof Theory 2Prof. Baaz
Seminar in LogicChristian Fermüller
Unification TheoryProf. Salzer
EMCL-A-C   Constraints at NOVA in SS 2016
Course TitleLecturer
Design of Algorithms for Optimization ProblemsProf. Barahona, Prof. Mamede and Prof. Barbosa
EMCL-A-LLSRS   Logics and Languages for Software Reliability and Security at NOVA in SS 2016
Course TitleLecturer
Software Construction and VerificationProf. Caires
EMCL-A-ST   Semantic Technologies at NOVA in SS 2016
Course TitleLecturer
Computational Game TheoryProf. Leite
Data ModellingProf. Damásio
Interactive Data VisualizationProf. Pires and Prof. Correia
Knowledge Representation and Reasoning SystemsProf. Damásio
Stream ProcessingProf. Alferes and Dr. Duarte

Module Descriptions

Advanced Logic

Basic Module

Number
EMCL-B-AL
Offered by
unibz
Person in Charge
Dr. Alessandro Artale
Contents and Qualification Objectives
The aim of this module is to introduce basic concepts beyond first-order predicate logics. In Computer Science many different logics and deductive systems exist. Specific families of logics aimed at different application areas are introduced: logics of time and computation (modal logics, temporal Logics), logics for reasoning about knowledge (epistemic logic).

In this module students will develop a deeper understanding of some of the logics beyond first order logic. Students will be introduced to different of Modal Logics and they will be able to apply them to different area of Computer Science. In particular, they will appreciate the use of logics for the specification and verification of hardware systems, and they will learn how to use Model Checking to verify properties of systems.

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of 72 hours. Additional private study is required.
Courses
Formal Methods (36 hours), Non-classical Logics (36 hours)
Prerequisites for Participation
This module relies on the basic concepts of propositional logic and predicate logic, which are taught 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 provides the qualification for all advanced modules as well as for the module Project.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed successfully. The module examination consists of a written examination of 120 minutes.
Credits and Marks
With this module 8 credits will be acquired. The final mark given for the module results from the arithmetical mean of the marks obtained in each of the course examinations.
Frequency
This module is offered every academic year in the summer semester.
Duration
The module shall be studied within one semester.
Go to Overview | Go to Course Assignments

Foundations

Basic Module

Number
EMCL-B-F
Offered by
TUD
Person in Charge
Prof. Steffen Hölldobler
Contents and Qualification Objectives
The module offers a comprehensive introduction to Computational Logic covering the main subareas as well as the main methods and techniques. After recalling basic notions from propositional and first order logic, complexity theory and computer algebra, the areas of equational reasoning, deduction, proof theory, abduction and induction, non-monotonic reasoning, logic-based program development, natural language processing and machine learning as well as logic and connectionism are covered.

After completion of the module students shall have fundamental knowledge of propositional and first-order logic and shall master the basic skills of these subjects. Moreover, they shall know the field of Computational Logic and its main subfields as well as the basic techniques and methods applied there.

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of 120 hours. Additional private study is required.
Courses
The two courses Logic and Science of Computational Logic, each consisting of 30 hours of lectures and 30 hours of tutorials, are both assigned to this module.
Prerequisites for Participation
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.
Usability
Successful passing provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.
Prerequisites for Allocation of Credits
The respective credits are acquired by successfully passing the module examination. The module examination consists of a written examination and an oral examination.
Credits and Marks
With this module 9 credits will be acquired. The final mark given for the module results from the (unweighted) arithmetical mean of the marks obtained in each of the two examinations.
Frequency
The module is offered every winter semester.
Duration
The module shall be studied within one semester.
Go to Overview | Go to Course Assignments
Number
EMCL-B-ILS
Offered by
unibz
Person in Charge
Dr. Sergio Tessaris
Contents and Qualification Objectives
The module shall meet the demand for more practice-oriented subjects in the curriculum. Although the module has a formal background, it includes strong practical aspects by using automated tools and providing a review of applications. Deduction, proof theory, automated theorem proving for Propositional and First Order Logic will be thoroughly studied. The module will also mention applications of Computational Logic.

The students shall get into contact with real applications of logic-based systems and get a feeling for how to apply the theoretical knowledge obtained in the other modules.

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of 72 hours. Additional private study is required.
Courses
Computational Logic
Prerequisites for Participation
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.
Usability
This module provides the qualification for all advanced modules as well as for the module Project.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed successfully. The module examination consists of a written examination.
Credits and Marks
With this module 8 credits will be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year in the summer semester.
Duration
The module shall be studied within one semester.
Go to Overview | Go to Course Assignments
Number
EMCL-B-LCP
Offered by
TUD
Person in Charge
Prof. Steffen Hölldobler
Contents and Qualification Objectives
This module deals with
  • 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.
By this module students acquire a detailed understanding of the theoretical foundations of logic and constraint programming. They will 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
This module consists of lectures, tutorials and practicals of a total extent of 120 hours.
Courses
The courses Foundations of Logic Programming (30 hours of lectures and 15 hours of tutorials), Foundations of Constraint Programming (15 hours of lectures and 15 hours of tutorials) and Logic Programming Engineering (45 hours of tutorials) are assigned to this module.
Prerequisites for Participation
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.
Usability
It provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.
Prerequisites for Allocation of Credits
The respective credits are acquired by successfully passing the module examination. The module examination consists of a written examination.
Credits and Marks
With this module 9 credits will be acquired. The final mark given for the module results from the weighted arithmetical mean of the marks obtained, where the written examination is weighted with factor 3 and the project work with factor 1.
Frequency
This module is offered every academic year in the winter semester.
Duration
The module shall be studied within one semester.
Go to Overview | Go to Course Assignments

Constraints

Advanced Module

Number
EMCL-A-C
Offered by
NOVA
Person in Charge
Prof. Pedro Barahona
Contents and Qualification Objectives
The module aims to provide the students with theoretical and practical knowledge on solving combinatorial problems, exploring their declarative modelling with Constraint (Logic) Programming languages and advanced methods to solve them efficiently.

The module addresses various types of domains for the variables of these problems, namely finite and continuous domains, and analyses their specificities as well as commonalities. The worst case and typical complexity of the underlying propagation algorithms is studied, together with their integration with both complete backtrack search and local search algorithms. In addition, some extensions of the pure constraint satisfaction paradigm are studied, namely optimization, soft constraints and universally quantified problems.

Form of Teaching and Education
This module contains lectures, laboratory classes, tutorials and seminars of a total extent of at least 100 hours, in addition to the student's private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
The successful completion of the mandatory module on Foundations of Logic and Constraint Programming module is strongly recommended.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year.
Duration
This module may be studied during 2 semesters, but is typically completed in the winter semester.
Go to Overview | Go to Course Assignments
Number
EMCL-A-CLIT
Offered by
TUW
Person in Charge
Prof. Reinhard Pichler
Contents and Qualification Objectives
This module addresses logical foundations and algorithmic aspects of data management in the broad sense: It ranges from "classical" database topics like storing and querying relational data to other data models (like semistructured data) and access to other forms of data storage (like data on the web).

More specifically, the logical foundations address the analysis of the expressive power of query languages by relating them to appropriate fragments of some logic. Basic concepts and results of finite model theory are introduced to prove negative results on the expressive power (i.e., queries that cannot be expressed in a given query language). On the algorithmic side, methods for efficient query processing are presented and the complexity of several query languages is analyzed. This also comprises methods of multi-user synchronization in a single database systems or in a distributed environment and the trade-off between throughput of query processing and integrity. Advanced topics of this module address several aspects of data on the web. This includes methods for data extraction on the web (like wrapper generation and web data mining) as well as methods of information integration (like schema mappings, transformation of data, and data cleaning).

The main objective is that upon completion of this module, students have a detailed understanding of fundamental tasks and methods of data management. Students will thus have acquired the knowledge and skills needed to further develop and to make effective use of tools and systems for data management. This includes basic skills like taking the impact on query evaluation and optimization into account when formulating database queries in different ways. It also includes more advanced skills like the development of wrappers for web data extraction and solving problems in the context of integrating heterogeneous data sources.

Form of Teaching and Education
This module contains lectures, exercises and seminars of a total extent of at least 120 hours, as well as private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Basic knowledge in logic, complexity theory, formal languages and algorithms are required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments
Number
EMCL-A-CSE
Offered by
unibz, TUD, TUW, NOVA
Person in Charge
Dr. Sergio Tessaris (unibz), Prof. Steffen Hölldobler (TUD), Prof. Helmut Veith (TUW), Prof. Pedro Barahona (NOVA)
Contents and Qualification Objectives
This module aims at broadening the knowledge of students beyond computational logic and its technologies, and to allow them to acquire knowledge on computer based systems, their design, development, and applications, in a particular area at a foundational level, and to learn how to model applications. To this end, the module comprises a range of different topics from which students have to choose one, such as (but not limited to) operating systems, human computer interaction, computer engineering, software engineering, computer graphics, real-time systems, operations research, bioinformatics. Topics are offered by the different sites on availability.

The objective is that upon completion of this module, students will have acquired a solid understanding of computer-based systems and technology in a particular area, such that they are familiar with problems and solution approaches in it. Furthermore, it is expected that they are able to sets links to the knowledge and skills acquired on computational logic methods and techniques for possible deployment and application.

Form of Teaching and Education
This module consists of lectures, seminars, tutorials, labs and/or projects of a total extent of at least 108 hours. Additional private study is required.
Courses
All courses are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Knowledge of computer science on bachelor level.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits will be acquired. The mark of the module is the mark obtained in the examination.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
The module runs over two semesters.
Go to Overview | Go to Course Assignments
Number
EMCL-A-KR
Offered by
TUD, TUW, NOVA
Person in Charge
Prof. Steffen Hölldobler (TUD), Prof. Thomas Eiter (TUW), Prof. José Alferes (NOVA)
Contents and Qualification Objectives
This module addresses aspects of knowledge and data systems, with an emphasis on (but not limited to) logic-related approaches for representing and processing knowledge. It includes foundations, regarding both semantics and computation, representation formalisms and reasoning methods, tools, and application areas.

More specifically, the foundational side addresses predicate logic for knowledge representation, logic for databases, knowledge base design, and specific issues like update and change of knowledge. Important representation formalisms for the agenda are logic programs with negation, ontology languages, action languages, and logic-based agents, which are considered with their mathematical properties. Regarding inference, methods like deduction, common-sense reasoning (abduction, hypothetical reasoning etc), or non-monotonic reasoning in general are addressed. On the practical side, tools and methods for problem solving such as Answer Set Programming or SAT/Quantified Boolean Formula solving are covered. Areas like Multi-Agent Systems, Information Systems or the Web serve to embed the theoretical concepts into applications.

The main objective is that upon completion of this module, students have a detailed understanding of how knowledge is formalized and processed in Artificial Intelligence using logic-related approaches, and of problems and issues that have to be respected. They furthermore will have acquired skills in designing, formally specifying, and realizing techniques of knowledge representation and reasoning.

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of at least 108 hours. Additional private study is required.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Basic knowledge of logic, complexity and computation, and mathematics.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits will be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments

Logical Foundations

Advanced Module

Number
EMCL-A-LF
Offered by
TUW
Person in Charge
Prof. Alexander Leitsch
Contents and Qualification Objectives
This module deepens the knowledge of the students in important traditional fields of mathematical logic such as proof theory, model theory, set theory, lambda-calculus (typed and untyped), intuitionistic logic and modal logics. The students get acquainted with respective formalisms and learn fundamental results and techniques in these areas.

After completion of this module, the students have fundamental knowledge about results and techniques in selected topics, and master the subject at a level such that they are able to understand and follow research issues in the area, and that they are able to formulate and investigate research tasks appropriate for a master thesis.

Form of Teaching and Education
This module contains lectures, laboratory classes, tutorials and seminars of a total extent of at least 100 hours, in addition to the student's private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Comprehensive knowledge of logic and basic knowledge of algebra and set theory are required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments
Number
EMCL-A-LLSRS
Offered by
NOVA
Person in Charge
Prof. Luís Caires
Contents and Qualification Objectives
The production of software for complex applications, in particular those involving concurrency and security, in which programming errors have serious consequences, has seen some success in the application of formal verification techniques based on model reasoning to establish the correctness of the software.

The purpose of the course is to give an introduction to those techniques. This module is composed by two courses, one focusing on Languages and Models for Concurrency and Security, and other on Logics for Specification and Verification. The first course focuses presents some fundamental models of concurrent and secure systems, based on process algebras, and associated analysis techniques. The second course focuses on the use of logic as a language for both specification and verification, with some emphasis on temporal logics. Both modules will cover the use of by tools to support the analysis of specifications and the of verification of concrete systems.

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of at least 120 hours. Additional private study is required.
Courses
Languages and Models for Concurrency and Security (60 hours), Logics for Specification and Verification (60 hours).
Prerequisites for Participation
Sucessful passing of the basic modules.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year.
Duration
This module may be studied during 2 semesters
Go to Overview | Go to Course Assignments
Number
EMCL-A-MV
Offered by
TUW
Person in Charge
Prof. Helmut Veith (TUW)
Contents and Qualification Objectives
The module addresses modeling techniques for complex systems, temporal and other program logics for specifying functional and quantitative requirements, and corresponding verification techniques.

The students learn the theoretical foundations of formal verification (model checking, interactive theorem proving) and get a deep understanding of the design, implementation and application of verification tools.

Form of Teaching and Education
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Amongst basic knowledge of computer science and mathematics comprehensive knowledge of logic is required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments
Number
EMCL-A-ODS
Offered by
unibz
Person in Charge
Prof. Diego Calvanese
Contents and Qualification Objectives
Research on ontologies is focussed on logic-based formalisms providing powerful deduction services with expressive conceptual languages and with high computational complexity. In contrast, database research deals with efficient storage and retrieval of large amounts of documents with simple languages. The module introduces current logic-based approaches trying to merge the two disciplines: formalisms and technologies related to problems concerning Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Database Theory, Information Integration, Peer to Peer Information Systems.

The main objective is that upon completion of this module, students have a detailed understanding of how knowledge is formalized and processed in ontology research using description logics, and of problems and issues that have to be respected. They furthermore will have acquired skills in designing, formally specifying, and realizing techniques of conceptual design, database access and integration.

Form of Teaching and Education
This module contains lectures, tutorials, and seminars of a total extent of at least 108 hours depending on the student's choice as well as the private studies.
Courses
Ontology and Database Systems (108 hours)
Prerequisites for Participation
Basic knowledge of logic, complexity, databases, and mathematics on a computer science bachelor level is required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The respective credits are acquired by successfully passing the course examinations.
Credits and Marks
With this module 12 credits will be acquired. The mark of the module is the mark of the examination.
Frequency
This module is offered every academic year in the summer semester.
Duration
The module shall be studied within one semester.
Go to Overview | Go to Course Assignments
Number
EMCL-A-PC
Offered by
unibz, TUW
Person in Charge
Prof. Diego Calvanese (unibz), Prof. Thomas Eiter (TUW)
Contents and Qualification Objectives
This module deals with the theoretical foundations of computation. It aims at getting acquaintance with abstract, mathematical models of computation, and the use of such models for assessing the ability to solve computational problems, by identifying both the intrinsic limitations of computing devices, and the practical limitations due to limited availability of resources.

To this end the module covers in its core theory of computability including models of computation, computable functions, recursion theory, limits of solvability, as well as computational complexity theory, including complexity measures, complexity classes, problem reduction and completeness. Topical aspects (e.g., emerging models of computation, applications in computational logic, or advanced algorithmic techniques) allow to gain additional knowledge and skills.

The main objective is that after completing this module, the students have a deep understanding of the theoretical foundations and the limits of computation. They also have a solid knowledge of complexity theory, which they can apply to establish complexity bounds and characterizations of computational problems in applications, and to develop algorithms for the solution of such problems. A further objective is that the students are able to reason and prove properties about computations in a precise, formal, abstract way.

Form of Teaching and Education
This module contains lectures, tutorials, and seminars of a total extent of at least 108 hours depending on the student's choice as well as the private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Basic knowledge of automata, formal languages, mathematics, and analysis of algorithms at computer science bachelor level is required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The final mark given for the module results from the weighted mean of the marks obtained in each of the course examinations.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments
Number
EMCL-A-PDM
Offered by
unibz
Person in Charge
Prof. Enrico Franconi
Contents and Qualification Objectives
This module aims to provide students with a detailed theoretical and practical knowledge of intelligent access and management of data. The module present advanced topics on database systems management as conceptual modeling and advanced data models.

After the completion of the module students will have a deeper understanding of the use of advanced formalisms which underpin the development and use of databases. In particular, they'll learn how to additional conceptual modelling methodologies beside the standard UML and ER design. In addition they will be able to leverage advanced data models which go beyond the standard relational model.

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of at least 108 hours. Additional private study is required.
Courses
Advanced Database Management Technologies (72 hours), XML Data Management (36 hours) or Seminar in Databases (36 hours)
Prerequisites for Participation
The respective credits are acquired by successfully passing the course examinations.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The final mark given for the module results from the weighted mean of the marks obtained in each of the course examinations.
Frequency
This module is offered in the winter term of every academic year.
Duration
This module is offered every academic year beginning in the winter semester.
Go to Overview | Go to Course Assignments
Number
EMCL-A-PI
Offered by
TUD, TUW
Person in Charge
Prof. Steffen Hölldobler (TUD), Prof. Alexander Leitsch (TUW)
Contents and Qualification Objectives
The module contains selected principles of inference applied in automatic or semi-automatic proof and inference systems ranging from logic and calculus over data structures, strategies and heuristics to implementations and applications. These principles are term rewriting, unification and resolution for classical logic, calculi for higher-order and intuitionistic logic, probabilistic reasoning and automated deduction in nonclassical logics.

After completion of the module students have an in depth understanding of the development, implementation and application of inference techniques.

Form of Teaching and Education
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Comprehensive knowledge of logic and formal languages is required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments

Semantic Technologies

Advanced Module

Number
EMCL-A-ST
Offered by
unibz, NOVA
Person in Charge
Dr. Giuseppe Pirrò (unibz), Prof. Carlos Viegas Damásio (NOVA)
Contents and Qualification Objectives
The aim of the module is to make the students familiar with the use of semantic based technologies for building information systems. In particular the module is focused on the so called Semantic Web; by presenting technologies and applications centred on Semantic Web technologies. The module will focus on the theoretical background of various languages on the Semantic Web such as RDF, SPARQL, OWL, and F-Logic (Programming), and the practical use of these languages on the Semantic Web. In addition, the course will focus on important application areas for Semantic Web technology, namely Web Services and Life Sciences.

After the completion of this course, students will be familiar with technologies and formalisms which underpins the Semantic Web. Moreover, they will able to apply them in order to build semantically rich applications. In addition, students will have the possibility to complement their knowledge of Semantic Web by studying semantic based approaches to closely related research areas (e.g. Computational Linguistics).

Form of Teaching and Education
This module consists of lectures and tutorials of a total extent of at least 108 hours. Additional private study is required.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
The successful completion of the basic modules
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are acquired by successfully passing the course and practical work examinations. The exact form of assessment is announced at the beginning of each semester on the dedicated EMCL web pages.
Credits and Marks
With this module 12 credits can be acquired. The final mark given for the module results from the weighted mean of the marks obtained in each of the course examinations.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments
Number
EMCL-A-TCSL
Offered by
TUD
Person in Charge
Prof. Franz Baader
Contents and Qualification Objectives
The content of this module comprises selected techniques of Theoretical Computer Science (like automata, decidability and complexity results, term rewriting techniques) as well as their application for the analysis of formal properties (like axiomatizations, proof-theoretic properties, design of inference algorithms and analysis of their properties) of logics (like temporal logics, description logics, monadic second-order logic).

After completion of the module the students have a deep and practically applicable knowledge of the methods from Theoretical Computer Science that are relevant for application in logic, as well as a good understanding of formal properties of various logics.

Form of Teaching and Education
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Comprehensive knowledge of logic as well as basic knowledge in the areas of automata theory, computability and complexity is required.
Usability
This is one of the advanced modules of which three are obligatory.
Prerequisites for Allocation of Credits
The credits are given, if the module examination has been passed. The module examination consists of an oral examination.
Credits and Marks
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the oral examination.
Frequency
This module is offered every academic year beginning in the winter semester.
Duration
This module may be studied during 2 semesters.
Go to Overview | Go to Course Assignments

Project

Project Module

Number
EMCL-B-P
Offered by
unibz, TUD, TUW, NOVA, NICTA
Person in Charge
Head of the study course at each partner institution
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 form as well as in an oral presentation, and to defend their claims.

Form of Teaching and Education
54 hours of practicals, private studies.
Courses
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
The knowledge from the basic modules is required.
Usability
The module provides qualification for the master thesis.
Prerequisites 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 defense. The defense consists of a presentation followed by a discussion of the presentation.
Credits and Marks
With this module 16 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 discussion with factor 1 each.
Frequency
This module is offered in every semester.
Duration
This module shall be studied within one semester.
Go to Overview | Go to Course Assignments
Number
EMCL-B-PCS
Offered by
unibz, TUD, TUW, NOVA
Person in Charge
Head of the study course at each partner institution.
Contents and Qualification Objectives
The seminar requires students to read, understand, present and discuss scientific papers, articles and books in selected areas of Computational Logic.

After completion of the module students are able to present and to discuss scientific achievements.

The language course shall teach basics of the language of the country of the host university and the students shall acquire enough skills for coping with simple everyday challenges of communication in the language of their host country.

Form of Teaching and Education
A seminar, and either a language course or an English academic writing course or a second seminar as well as private studies.
Courses
The seminars and language courses are announced at the beginning of each semester on the dedicated EMCL web pages.
Prerequisites for Participation
Basic knowledge in Computational Logic as for example taught in the basic modules is required.
Usability
This module provides qualification for the project module and the defense of the master thesis.
Prerequisites for Allocation of Credits
The credits are given if the module examination has been passed. The module examination consists of a seminar examination consisting of the presentation of scientific articles followed by a discussion of the presentation and a language examination or an academic writing examination or a second seminar examination corresponding to the language course or the academic writing course.
Credits and Marks
With this module 4 credits can be acquired. The mark of the module is the mark of the seminar examination or results from the arithmetical mean of the marks obtained in two seminar examinations. Up to 2 credits obtained at one partner university will be accepted by another partner university.
Frequency
This module is offered every semester.
Duration
This module shall be studied within one year.
Go to Overview | Go to Course Assignments