CPEC

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

CPEC

Grundlagen verständlicher Softwaresysteme

Der Sonderforschungsbereich 248 Grundlagen verständlicher Softwaresysteme (Center for Perspicuous Computing, CPEC) zielt darauf ab, die cyber-physikalische Welt für Menschen nachvollziehbar zu gestalten.


Computergestützte Systeme treffen zunehmend Entscheidungen, die Auswirkungen auf den Menschen haben. Darum müssen sie in der Lage sein, dem Menschen zu kommunizieren, wie einzelne Entscheidungen zustande kommen. Der SFB/Transregio „Grundlagen verständlicher Softwaresysteme – Für eine nachvollziehbare cyber-physische Welt“ widmet sich den wissenschaftlichen Grundlagen nachvollziehbarer Software. Die neu gewonnenen Erkenntnisse werden in die Entwicklung softwarebasierter Systeme einfließen, die vorhersagbar und nachvollziehbar agieren.


Artikel in Tagungsbänden

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
In Baris Sertkaya, Diana Cristea, Florence Le Ber, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA'19), LNCS, to appear. Springer
Details Download

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download