Antonius Weinzierl

According to our database, Antonius Weinzierl authored at least 31 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

J. Artif. Intell. Res., 2023

2022

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

CoRR, 2022

2021

Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics.

Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

2020

Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.

Antonius Weinzierl, Richard Taupe, Gerhard Friedrich

Theory Pract. Log. Program., 2020

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints.

Richard Taupe, Antonius Weinzierl, Gerhard Friedrich

Theory Pract. Log. Program., 2020

2019

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP.

Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.

Richard Taupe, Antonius Weinzierl, Gerhard Friedrich

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

The DLVHEX System.

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Künstliche Intell., 2018

Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.

Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl

Künstliche Intell., 2018

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.

Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

J. Artif. Intell. Res., 2018

Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract).

Thomas Eiter, Antonius Weinzierl

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Exploiting Justifications for Lazy Grounding of Answer Set Programs.

Bart Bogaerts, Antonius Weinzierl

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Preference-Based Inconsistency Management in Multi-Context Systems.

Thomas Eiter, Antonius Weinzierl

J. Artif. Intell. Res., 2017

Answer Set Programming with External Source Access.

Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.

Antonius Weinzierl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Techniques for Efficient Lazy-Grounding ASP Solving.

Lorenz Leutgeb, Antonius Weinzierl

Proceedings of the Declarative Programming and Knowledge Management, 2017

Lazy-Grounding for Answer Set Programs with External Source Access.

Thomas Eiter, Tobias Kaminski, Antonius Weinzierl

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015

Answer Set Application Programming: a Case Study on Tetris.

Peter Schüller, Antonius Weinzierl

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Preference-Based Diagnosis Selection in Multi-Context Systems.

Thomas Eiter, Michael Fink, Antonius Weinzierl

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Finding explanations of inconsistency in multi-context systems.

Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl

Artif. Intell., 2014

2012

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Advancing Multi-Context Systems by Inconsistency Management.

Antonius Weinzierl

Proceedings of the 5th International RuleML2011@BRF Challenge, 2011

Relational Information Exchange and Aggregation in Multi-Context Systems.

Michael Fink, Lucantonio Ghionna, Antonius Weinzierl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Managed Multi-Context Systems.

Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl

Proceedings of the IJCAI 2011, 2011

Comparing Inconsistency Resolutions in Multi-Context Systems.

Antonius Weinzierl

Proceedings of the New Directions in Logic, Language and Computation, 2011

Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems.

Peter Schüller, Antonius Weinzierl

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2010

Preference-Based Inconsistency Assessment in Multi-Context Systems.

Thomas Eiter, Michael Fink, Antonius Weinzierl

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Four Lessons in Versatility or How Query Languages Adapt to the Web.

François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Labeling RDF Graphs for Linear Time and Space Querying.

Tim Furche, Antonius Weinzierl, François Bry

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009