European Masters Program in Computational Logic

European Net of Excellence

on Computational Logic

European Assoc. of Logic,

Language and Information

Portuguese Assoc. for

Artificial Intelligence

IBM Center for

Advanced Studies

European Committee

for Artificial Intelligence

Italian Assoc. for

Artificial Intelligence

AICA: Italian Assoc.

for Informatics

AILA: Italian Assoc. for

Logic and its Applications

EMCL: European Masters Program in
Computational Logic

FUB modules academic year 2011/2012

This page describes the course assignments to modules at FUB. For a detailed description of the EMCL modules you should refer to the main EMCL website. For the modules of previous academic years, look at this page. The timetable is available from the University RIS calendar.

Basic Modules

Advanced Logic (8 credits)
Course Title	Credits	Semester
Formal Methods	4	2
Non-classical Logics	4	2

Integrated Logic Systems (8 credits)
Course Title	Credits	Semester
Computational Logic	8	2

Presentation and Communication Skills (4 credits)
Course Title	Credits	Semester
Research Methods	2	1
Language Course The offered language courses are: Deutsch für falsche Anfänger Deutsch A2 → B1 (Fortsetzung) Deutsch B2 → C1 (Fortsetzung) Deutsch C1 (Fortsetzung) Akademisches Deutsch 2 Italiano per principianti Italiano per falsi principianti (A1 verso A2) Italiano B1 verso B2 Italiano B2 verso C1 Italiano C1 The enrolment should be done directly at the Language Centre within 2 March 2012.	2	2

Advanced Modules (Summer Semester)

Ontology and Database Systems (12 credits)
Course Title	Credits	Semester
Knowledge Representation and Ontologies	8	2
Information Integration	4	2

Computer Science Engineering (12 credits)^[1]
Course Title	Credits	Semester
Functional and Logic Programming Languages	8	2
Conceptual Modeling for Information Systems	4	2

Semantic Technologies (12 credits)^[1]
Course Title	Credits	Semester
Information Search and Retrieval	8	2
Machine Learning: Algorithms and Applications or Similarity Search	4	2

[1] Courses in this module might overlap with some courses in the basic modules.

Advanced Modules (Winter Semester)

Semantic Technologies (12 credits)
Course Title	Credits	Semester
Semantic Web Technologies	8	1
Computational Linguistics	4	1

Principles of Computation (12 credits)
Course Title	Credits	Semester
Theory of Computing	8	1
Advanced Algorithms	4	1

Principles of Data Management (12 credits)
Course Title	Credits	Semester
Digital Libraries	4	1
XML Data Management	4	1
Seminar in Databases	4	1

Computer Science Engineering (12 credits)
Course Title	Credits	Semester
Advanced Internet Technologies	8	1
Seminars in Human-Computer Interaction	4	1

			FACULTY OF COMPUTER SCIENCE
	FREE UNIVERSITY OF BOZEN - BOLZANO

EMCL: European Masters Program in Computational Logic

FUB modules academic year 2011/2012

Basic Modules

Advanced Modules (Summer Semester)

Advanced Modules (Winter Semester)

EMCL: European Masters Program in
Computational Logic