EMCL (offered until 2017)

From International Center for Computational Logic
Toggle side column

EMCL (offered until 2017)

European Master's Program in Computational Logic

The objective of the European Master's Program in Computational Logic is to impart to the students a thorough education comprising both the theoretical and practical knowledge required for professional practive in Computational Logic, to give him a profound insight into the various disciplines of Computational Logic and to strengthen his ability to work according to scientific methods.

For more information, see http://www.emcl-study.eu

Proceedings Articles

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justification for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
Proceedings of 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer

Sarah Alice Gaggl, Umer Mushtaq
Intertranslatability of Labeling-based Argumentation Semantics
In Steven Schockaert, Pierre Senellart, eds., Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016), volume 9858 of Lecture Notes in Computer Science, 155-169, September 2016. Springer
Details Download

Talks and Miscellaneous

Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
Details Download