Zeitschrift: Electronic Proceedings in Theoretical Computer Science

2019

Baum, Kevin ; Hermanns, Holger ; Speith, Timo:
Towards a Framework Combining Machine Ethics and Machine Explainability.
In: Finkbeiner, Bernd ; Kleinberg, Samantha (Hrsg.): Proceedings 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology. - Sydney, NSW, AU : Open Publishing Association , 2019 . - S. 34-49 . - (EPTCS ; 286 )
DOI: https://doi.org/10.4204/EPTCS.286.4

2011

Lepper, Markus ; Trancón y Widemann, Baltasar:
Solving the TTC 2011 Compiler Optimization Task with meta tools.
In: Electronic Proceedings in Theoretical Computer Science. Bd. 74 (2011) . - S. 70-115.
ISSN 2075-2180
DOI: https://doi.org/10.4204/EPTCS.74.9