All About EMCL

Subsections


3.34.1 Supplement 1: Overview of Modules

The module structure changed in October 2017! The remark (< 2017) concerns students who started EMCL before October 2017, only!


3.34.1.1 A. Basic Modules

 

Advanced Logic
Basic Module

Module Number:
EMCL-B-AL

Module Offered by:
unibz

Module Person in Charge:
Dr. Alessandro Artale

Module 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.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of 72 hours. Additional private study is required.

Module Courses:
Formal Methods (36 hours), Non-classical Logics (36 hours)

Module 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.

Module Usability:
This module provides the qualification for all advanced modules as well as for the module Project.

Module 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.

Module 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.

Module Frequency:
This module is offered every academic year in the summer semester.

Module Duration:
The module shall be studied within one semester.

Foundations
Basic Module

Module Number:
EMCL-B-F

Module Offered by:
TUD

Module Person in Charge:
Prof. Steffen Hölldobler

Module 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.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of 120 hours. Additional private study is required.

Module 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.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.

Module Usability:
Successful passing provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.

Module 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.

Module Credits and Marks:
With this module 8 credits (9 credits <2017) 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.

Module Frequency:
The module is offered every winter semester.

Module Duration:
The module shall be studied within one semester.

Integrated Logic Systems
Basic Module

Module Number:
EMCL-B-ILS

Module Offered by:
unibz

Module Person in Charge:
Dr. Sergio Tessaris

Module 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.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of 72 hours. Additional private study is required.

Module Courses:
Computational Logic

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.

Module Usability:
This module provides the qualification for all advanced modules as well as for the module Project.

Module 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.

Module Credits and Marks:
With this module 8 credits will be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year in the summer semester.

Module Duration:
The module shall be studied within one semester.

Logic and Constraint Programming
Basic Module

Module Number:
EMCL-B-LCP

Module Offered by:
TUD

Module Person in Charge:
Prof. Sebastian Rudolph

Module 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.

Module Form of Teaching and Education:
This module consists of lectures, tutorials and practicals of a total extent of 120 hours.

Module 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 practicals) are assigned to this module.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.

Module Usability:
It provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.

Module 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 of a project work.

Module Credits and Marks:
With this module 8 credits (9 credits <2017) 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.

Module Frequency:
This module is offered every academic year in the winter semester.

Module Duration:
The module shall be studied within one semester.

Communication Skills - offered to students starting in 2017 or later
Seminar Module

Module Number:
EMCL-B-CS

Module Offered by:
unibz, TUD, TUW, NOVA

Module Person in Charge:
Head of the study course at each partner institution

Module Contents and Qualification Objectives:
The module includes communication techniques, as well as interdisciplinary content, such as foreign languages or other interdisciplinary events offered by the programme director. At the end of the module, the students know the technical, methodical and interdisciplinary contents of Computer Science. They will also have competencies in subject-related work, as well as in the active application of a foreign language. This knowledge also supports critical thinking and a stronger social orientation. The students will acquire skills of team-working and research-oriented thinking.

Module Form of Teaching and Education:
Depending on the student's choice, the module includes language courses or other teaching events, as shown in the catalogue EMCL-CS, in the total scope of 120 hours (workload), as well as self-study. The lectures are to be selected from the EMCL-CS catalogue as specified; this will be announced at the beginning of each semester, in writing, including the necessary examination scores, the weighting of the grades and the course language.

Module Courses:
The courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
None.

Module Usability:
This module is a compulsory module. Completion of this module fulfils the prerequisite for the modules Presentation Skills and Project.

Module Prerequisites for Allocation of Credits:
The credits are acquired by successfully passing the module examination. The module examination consists of the examination performance specified by the EMCL-CS catalogue.

Module Credits and Marks:
With this module 4 credits will be acquired. The module score is the weighted average of the grades earned in the individual examinations, as specified in the EMCL-CS catalogue.

Module Frequency:
The module is offered in each year during the Winter semester.

Module Duration:
The module shall be studied within two semesters.

Presentation Skills - offered to students staring in 2017 or later
Seminar Module

Module Number:
EMCL-B-PS

Module Offered by:
unibz, TUD, TUW, NOVA

Module Person in Charge:
Head of the study course at each partner institution

Module Contents and Qualification Objectives:
The module covers the practical utilisation of writing- and presentation-techniques. At the end of the module, the students will be familiar with the technical, methodical and scholarly contents of Computer Science. They will also have competencies in subject-related work, as well as in the active application of subject-related work. This knowledge also supports critical thinking and a stronger social orientation. The students will acquire skills of team-working and research-oriented thinking.

Module Form of Teaching and Education:
The module includes 180 hours (workload) of seminars, as well as self-directed studies. The educational events, with details of the teaching methods and their respective WHS, are to be selected in the scope as specified in the MCL-PS catalogue; including the necessary examination and grading weights as part of the course offer by the Faculty of Computer Science for the Computational Logic programme, at the beginning of each academic year.

Module Courses:
The seminars are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The competencies acquired in Module Communication Skills are required.

Module Usability:
This module is a compulsory module.

Module Prerequisites for Allocation of Credits:
The credits are acquired by successfully passing the module examination. The module test consists of the examination performance specified by the EMCL-PS catalogue.

Module Credits and Marks:
With this module 6 credits will be acquired. The module score is the weighted average of the grades earned in the individual examinations, as specified in the EMCL-PS catalogue.

Module Frequency:
This module is offered every semester.

Module Duration:
This module shall be studied within one semester.

Project
Project Module

Module Number:
EMCL-B-P

Module Offered by:
unibz, TUD, TUW, NOVA, data61

Module Person in Charge:
Head of the study course at each partner institution

Module 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.

Module Form of Teaching and Education:
54 hours of practicals, private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The knowledge from the basic modules is required.

Module Usability:
The module provides qualification for the master thesis.

Module 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.

Module Credits and Marks:
With this module 12 credits (16 credits <2017) 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.

Module Frequency:
This module is offered in every semester.

Module Duration:
This module shall be studied within one semester.

3.34.1.2 B. Advanced Modules

 

Artificial Intelligence - offered to students starting in 2017 or later
Advanced Module

Module Number:
EMCL-A-AI

Module Offered by:
TUD, unibz

Module Person in Charge:
Prof. Steffen Hölldobler (TUD), NN (unibz)

Module Contents and Qualification Objectives:
The content of the module is determined by the student from the subject areas of artificial intelligence, in particular from knowledge representation and inference, computational logic, pattern recognition and computer vision, bioinformatics, machine learning and cognitive sciences. Upon completion of the module, the students can specify intelligent systems using formal methods, methods, and algorithms. They can prove the characteristics of intelligent systems using formal methods, methods, and algorithms. They can introduce the formal methods, methods, and algorithms into further applications, and they can engage in critical arguments with intelligent systems.

Module Form of Teaching and Education:
The module includes lectures and practical exercises of 8 WHS, as well as self-directed studies. The teaching events, with the teaching formats and their respective WHS, must be chosen from the EMCL-AI catalogue to the extent indicated; this will be announced within the study offered by the Faculty of Computer Science for the Computational Logic programme, at the beginning of each academic year.

Module Courses:
All courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge of the methods, algorithms, and techniques for intelligent systems is required. References: Russel, S. and Norvig, P. Artificial Intelligence: A Modern Approach. Prentice Hall, 2009.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits will be earned upon successful passing of the module examination. The module examination consists of a final oral examination of 40 minutes.

Module Credits and Marks:
By completing this module, students may earn 12 credits. The module score is equal to the grade earned in the final oral examination.

Module Frequency:
The module is offered in each semester.

Module Duration:
The module shall be studied within one semester.

Constraints
Advanced Module

Module Number:
EMCL-A-C

Module Offered by:
NOVA

Module Person in Charge:
Prof. Pedro Barahona

Module Contents and Qualification Objectives:
The module aims to provide the students with theoretical and practical knowledge on Constraint Logic Programming (CLP), obtaining experience on the declarative modelling of several combinatorial problems as well as knowledge on advanced methods to solve them efficiently.

The module addresses the various types of domains that are used in CLP, analyzing their specificities as well as commonalities. The integration of constraint propagation with both complete backtrack search and local search algorithms is studied. The worst case and typical complexity of the underlying algorithms are analyzed. In addition, some extensions of the pure constraint satisfaction paradigm are studied, namely optimization, soft constraints and universally quantified problems.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The successful completion of the mandatory module on Foundations of Logic and Constraint Programming module is strongly recommended.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters, but is typically completed in the winter semester.

Computational Logic for Information Technology
Advanced Module

Module Number:
EMCL-A-CLIT

Module Offered by:
TUW

Module Person in Charge:
Prof. Reinhard Pichler

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge in logic, complexity theory, formal languages and algorithms are required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Computer Science Engineering - offered to students who started before 2017, only
Advanced Module

Module Number:
EMCL-A-CSE (<2017)

Module Offered by:
unibz, TUD, TUW, NOVA

Module Person in Charge:
Dr. Sergio Tessaris (unibz), Prof. Steffen Hölldobler (TUD), Prof. Helmut Veith (TUW), Prof. Pedro Barahona (NOVA)

Module 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.

Module 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.

Module Courses:
All courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
The module runs over two semesters.

Free Electives - offered to students starting in 2017 or later
Advanced Module

Module Number:
EMCL-A-FE

Module Offered by:
TUD, TUW

Module Person in Charge:
Prof. Steffen Hölldobler (TUD), NN (TUW)

Module Contents and Qualification Objectives:
The module includes, at the discretion of the students, topics that are not limited to their own subject areas, such as software development, data security, image processing or multi-media technology. The students must have a basic understanding of questions in another discipline and the ability to work in an interdisciplinary manner.

Module Form of Teaching and Education:
The module includes lectures and practical exercises, seminars and Practice for a total of 8 WHS, as well as self-directed studies. The educational events, with details of the teaching methods and their respective WHS, are to be selected in the scope as specified in the EMCL-FE catalogue; including the necessary examination and grading weights as part of the course offer by the Faculty of Computer Science for the Computational Logic programme, at the beginning of each academic year.

Module Courses:
All courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
Knowledge of computer science on bachelor level.

Module Credits and Marks:
With this module 12 credits will be acquired. The module score is the weighted average of the grades earned in the individual examinations, as specified in the EMCL-FE catalogue.

Module Frequency:
The module is offered in each semester.

Module Duration:
The module shall be studied within one semester.

Knowledge Representation
Advanced Module

Module Number:
EMCL-A-KR

Module Offered by:
TUD, TUW, NOVA

Module Person in Charge:
Prof. Sebastian Rudolph (TUD), Prof. Thomas Eiter (TUW), Prof. José Alferes (NOVA)

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge of logic, complexity and computation, and mathematics.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits will be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Logical Foundations
Advanced Module

Module Number:
EMCL-A-LF

Module Offered by:
TUW

Module Person in Charge:
Prof. Alexander Leitsch

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Comprehensive knowledge of logic and basic knowledge of algebra and set theory are required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Logics and Languages for Software Reliability and Security
Advanced Module

Module Number:
EMCL-A-LLSRS

Module Offered by:
NOVA

Module Person in Charge:
Prof. Luís Caires

Module 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.

Module 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.

Module Courses:
Languages and Models for Concurrency and Security (60 hours), Logics for Specification and Verification (60 hours).

Module Prerequisites for Participation:
Sucessful passing of the basic modules.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters

Machine Learning - offered to students starting in 2017 or later
Advanced Module

Module Number:
EMCL-A-ML

Module Offered by:
NOVA, unibz

Module Person in Charge:
Prof. Pedro Barahona (NOVA), NN (unibz)

Module Contents and Qualification Objectives:
The module aims to provide the students with theoretical and practical knowledge on machine learning, ranging from the basic concepts, the characterisation of data and their normalisation and regularisation, the different paradigms for machine learning, including supervised, unsupervised, reinforcement and deep learning, as well as the techniques that implement them.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The successful completion of the mandatory modules on Foundations and on Logic and on Constraint Programming is strongly recommended.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are acquired by successfully passing the module examination. The form of the course examinations will be announced at the beginning of each semester.

Module Credits and Marks:
With this module 12 credits can be acquired. The final mark given for the module results from the arithmetic mean of the marks obtained in the course examinations.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters, one course in the autumn semester and the other in the spring semester.

Modeling and Verification
Advanced Module

Module Number:
EMCL-A-MV

Module Offered by:
TUW, (TUD does not offer this module any longer)

Module Person in Charge:
Prof. Helmut Veith (TUW)

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Amongst basic knowledge of computer science and mathematics comprehensive knowledge of logic is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters.

Natural Language Processing and Automata
Advanced Module

Module Number:
EMCL-A-NLPA (is no longer offered)

Ontology and Database Systems
Advanced Module

Module Number:
EMCL-A-ODS

Module Offered by:
unibz

Module Person in Charge:
Prof. Enrico Franconi

Module 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.

Module 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.

Module Courses:
Knowledge Representation and Ontologies (72 hours), Information Integration (36 hours).

Module Prerequisites for Participation:
Basic knowledge of logic, complexity, databases, and mathematics on a computer science bachelor level is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The respective credits are acquired by successfully passing the course examinations.

Module Credits and Marks:
With this module 12 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.

Module Frequency:
This module is offered every academic year in the summer semester.

Module Duration:
The module shall be studied within one semester.

Principles of Computation
Advanced Module

Module Number:
EMCL-A-PC

Module Offered by:
unibz, TUW

Module Person in Charge:
Prof. Diego Calvanese (unibz), Prof. Thomas Eiter (TUW)

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge of automata, formal languages, mathematics, and analysis of algorithms at computer science bachelor level is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination on the dedicated EMCL web pages.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Principles of Data Management
Advanced Module

Module Number:
EMCL-A-PDM

Module Offered by:
unibz

Module Person in Charge:
Prof. Enrico Franconi

Module 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.

Module 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.

Module Courses:
Conceptual Modeling for Information Systems (36 hours), XML Data Management (36 hours), Temporal and Spatial Databases (36 hours)

Module Prerequisites for Participation:
The respective credits are acquired by successfully passing the course examinations.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered in the winter term of every academic year.

Module Duration:
This module is offered every academic year beginning in the winter semester.

Principles of Inference
Advanced Module

Module Number:
EMCL-A-PI

Module Offered by:
TUD, TUW

Module Person in Charge:
Prof. Steffen Hölldobler (TUD), Prof. Alexander Leitsch (TUW)

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Comprehensive knowledge of logic and formal languages is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Semantic Technologies
Advanced Module

Module Number:
EMCL-A-ST

Module Offered by:
unibz, NOVA

Module Person in Charge:
Dr. Giuseppe Pirrò (unibz), Prof. Carlos Viegas Damásio (NOVA)

Module 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).

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The successful completion of the basic modules

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module 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.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Theoretical Computer Science and Logic
Advanced Module

Module Number:
EMCL-A-TCSL

Module Offered by:
TUD

Module Person in Charge:
Prof. Franz Baader

Module 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.

Module 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.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Comprehensive knowledge of logic as well as basic knowledge in the areas of automata theory, computability and complexity is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The module examination consists of an oral examination.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the oral examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Presentation and Communication Skills - offered to students who started before 2017
Seminar Module

Module Number:
EMCL-PCS

Module Offered by:
unibz, TUD, TUW, NOVA

Module Person in Charge:
Head of the study course at each partner institution.

Module 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.

Module 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.

Module Courses:
The seminars and language courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge in Computational Logic as for example taught in the basic modules is required.

Module Usability:
This module provides qualification for the project module and the defense of the master thesis.

Module 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 or the selected second seminar.

Module 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.

Module Frequency:
This module is offered every semester.

Module Duration:
This module shall be studied within one year.