Publications (19)
The white dwarf's carbon fraction as a secondary parameter of Type Ia supernovae
Sebastian T. Ohlmann, Markus Kromer, Michael Fink +4
Spectral modelling of the "Super-Chandra" Type Ia SN 2009dc - testing a 2 M_sun white dwarf explosion model and alternatives
Stephan Hachinger, Paolo A. Mazzali, Stefan Taubenberger +4
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
Michael Fink, Yuliya Lierler
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
Thomas Eiter, Michael Fink, Stefan Woltran
A Knowledge-Based Approach for Selecting Information Sources
Thomas Eiter, Michael Fink, Hans Tompits
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)
Michael Fink, Martin Homola, Alessandra Mileo
Conflict-driven ASP Solving with External Sources
Thomas Eiter, Michael Fink, Thomas Krennwallner +1
Finding Similar/Diverse Solutions in Answer Set Programming
Thomas Eiter, Esra Erdem, Halit Erdogan +1
Three-dimensional simulations of gravitationally confined detonations compared to observations of SN 1991T
Ivo R. Seitenzahl, Markus Kromer, Sebastian T. Ohlmann +9
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Nucleosynthesis in thermonuclear supernovae with tracers: convergence and variable mass particles
Ivo Rolf Seitenzahl, Friedrich Röpke, Michael Fink +1
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey
Michael Fink, Yuliya Lierler
Baseline Detection in Historical Documents using Convolutional U-Nets
Michael Fink, Thomas Layer, Georg Mackenbrock +1
Evidence for Type Ia Supernova Diversity from Ultraviolet Observations with the Hubble Space Telescope
Xiaofeng Wang, Lifan Wang, Alexei V. Filippenko +93
Towards Ideal Semantics for Analyzing Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter +1
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
Three-dimensional delayed-detonation models with nucleosynthesis for Type Ia supernovae
Ivo R. Seitenzahl, Franco Ciaraldi-Schoolmann, Friedrich K. Roepke +7
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Michael Fink
Causal Graph Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno, Michael Fink