EMCL: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Steffen Hölldobler (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Steffen Hölldobler (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Beschreibung EN=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. | |Beschreibung EN=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. | ||
|Kontaktperson=Steffen Hölldobler | |Kontaktperson=Steffen Hölldobler | ||
|Project Authors=Steffen Hölldobler | |||
|URL=http://www.emcl-study.eu | |URL=http://www.emcl-study.eu | ||
|Start=2004/10/01 | |Start=2004/10/01 | ||
| Zeile 12: | Zeile 13: | ||
|Projektstatus=aktiv | |Projektstatus=aktiv | ||
|Logo=Iccl cube blue 200px.png | |Logo=Iccl cube blue 200px.png | ||
|Person=Steffen Hölldobler | |||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|Partner=Free University of Bozen-Bolzano, Universidade NOVA de Lisboa, Technische Universität Wien, National ICT Australia, | |Partner=Free University of Bozen-Bolzano, Universidade NOVA de Lisboa, Technische Universität Wien, National ICT Australia, | ||
}} | }} | ||
Version vom 10. Juni 2015, 17:49 Uhr
EMCL
European Master's Program in Computational Logic
- Kontaktperson Steffen Hölldobler
- Autoren Steffen Hölldobler
- http://www.emcl-study.eu
- 2004 – 2016
- finanziert durch The European Union (EU), Erasmus Mundus
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.
Artikel in Tagungsbänden
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details Download
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
Vorträge und Sonstiges
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
