Antonius Weinzierl

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 23

Top Topics

Answer Set Programming

Meta Level Reasoning

Top Venues

J. Artif. Intell. Res.

Theory Pract. Log. Program.

Publications

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach. J. Artif. Intell. Res. 76 (2023)
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming. CoRR (2022)
Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics. ConfWS (2021)
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. CoRR (2020)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. Theory Pract. Log. Program. 20 (5) (2020)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. CoRR (2020)
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. Theory Pract. Log. Program. 20 (5) (2020)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. LPNMR (2019)
Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. ICLP Technical Communications (2019)
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving. CoRR (2019)
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. AAAI (2019)
Thomas Eiter, Antonius Weinzierl
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). IJCAI (2018)
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Künstliche Intell. 32 (2-3) (2018)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. J. Artif. Intell. Res. 62 (2018)
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. KR (2018)
Bart Bogaerts, Antonius Weinzierl
Exploiting Justifications for Lazy Grounding of Answer Set Programs. IJCAI (2018)
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
The DLVHEX System. Künstliche Intell. 32 (2-3) (2018)
Thomas Eiter, Antonius Weinzierl
Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res. 60 (2017)
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI (2017)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
Answer Set Programming with External Source Access. Reasoning Web (2017)
Lorenz Leutgeb, Antonius Weinzierl
Techniques for Efficient Lazy-Grounding ASP Solving. DECLARE (2017)
Antonius Weinzierl
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. LPNMR (2017)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. IJCAI (2016)
Thomas Eiter, Michael Fink, Antonius Weinzierl
Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Peter Schüller, Antonius Weinzierl
Answer Set Application Programming: a Case Study on Tetris. ICLP (Technical Communications) (2015)
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216 (2014)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. JELIA (2012)
Antonius Weinzierl
Comparing Inconsistency Resolutions in Multi-Context Systems. ESSLLI Student Sessions (2011)
Peter Schüller, Antonius Weinzierl
Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. CAiSE Workshops (2011)
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
Managed Multi-Context Systems. IJCAI (2011)
Antonius Weinzierl
Advancing Multi-Context Systems by Inconsistency Management. RuleML America (2) (2011)
Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
Relational Information Exchange and Aggregation in Multi-Context Systems. LPNMR (2011)
Antonius Weinzierl
Advancing Multi-Context Systems by Inconsistency Management CoRR (2011)
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
Finding Explanations of Inconsistency in Multi-Context Systems. KR (2010)
Thomas Eiter, Michael Fink, Antonius Weinzierl
Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA (2010)