Ontology and Database Systems (EMCL-A-ODS) - Knowledge Representation and Ontologies - 2017/18

Course Syllabus

Advanced Logic (EMCL-B-AL) - 2017/18

Course Syllabus

Semantic Technologies (EMCL) - 2017/18

Course Syllabus

Principles of Data Management (EMCL-A-PDM) - Research Project in Data Semantics - 2017/18

Coruse Syllabus: not available

Integrated Logic Systems (EMCL-B-ILS) - 2017/18

The objective of this course is to offer a comprehensive introduction of the methods and techniques in Computational Logic. Although the course has a formal background, it includes a strong practical part in using automated tools and with a review of applications.