Antonius Weinzierl
Author
Alternate name Antonius Weinzierl
Institution TU Wien
Past institutions TU Wien, Aalto University, Helsinki Institute for Information Technology
ORCID: Yes
H-index: 12
I10-index: 14
Works count: 43
Citations count: 448
Managed multi-context systems
2011 · Gerhard Brewka, Thomas Eiter, et al.
Finding explanations of inconsistency in multi-context systems
2014 · Thomas Eiter, Michael Fink, et al. · Artificial Intelligence
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving
2017 · Antonius Weinzierl · Lecture notes in computer science