Weinzierl, Antonius

9 publications

JAIR 2023 Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

AAAI 2019 Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

IJCAI 2018 Exploiting Justifications for Lazy Grounding of Answer Set Programs Bart Bogaerts, Antonius Weinzierl

JAIR 2018 Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

IJCAI 2018 Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract) Thomas Eiter, Antonius Weinzierl

IJCAI 2017 Lazy-Grounding for Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Antonius Weinzierl

JAIR 2017 Preference-Based Inconsistency Management in Multi-Context Systems Thomas Eiter, Antonius Weinzierl

IJCAI 2016 Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

IJCAI 2011 Managed Multi-Context Systems Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl