Antonius Weinzierl

37 papers A* 8B 5Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.
J. Artif. Intell. Res.
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
2022 J jnl
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.
CoRR
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
2021 — conf
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics.
ConfWS
Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
2020 J jnl
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.
CoRR
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
2020 J jnl
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.
Theory Pract. Log. Program.
Antonius Weinzierl, Richard Taupe, Gerhard Friedrich
2020 J jnl
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints.
CoRR
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
2020 J jnl
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints.
Theory Pract. Log. Program.
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
2019 B conf
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.
LPNMR
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
2019 J jnl
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving.
CoRR
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
2019 A* conf
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.
AAAI
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
2019 — conf
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP.
ICLP Technical Communications
Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
2018 A* conf
Exploiting Justifications for Lazy Grounding of Answer Set Programs.
IJCAI
Bart Bogaerts, Antonius Weinzierl
2018 J jnl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res.
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2018 J jnl
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.
Künstliche Intell.
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl
2018 A* conf
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract).
IJCAI
Thomas Eiter, Antonius Weinzierl
2018 J jnl
The DLVHEX System.
Künstliche Intell.
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2018 A* conf
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.
KR
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
2017 — conf
Answer Set Programming with External Source Access.
RW
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 B conf
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.
LPNMR
Antonius Weinzierl
2017 A* conf
Lazy-Grounding for Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
2017 J jnl
Preference-Based Inconsistency Management in Multi-Context Systems.
J. Artif. Intell. Res.
Thomas Eiter, Antonius Weinzierl
2017 — conf
Techniques for Efficient Lazy-Grounding ASP Solving.
DECLARE
Lorenz Leutgeb, Antonius Weinzierl
2016 A* conf
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2015 — conf
Answer Set Application Programming: a Case Study on Tetris.
ICLP (Technical Communications)
Peter Schüller, Antonius Weinzierl
2015 — conf
Preference-Based Diagnosis Selection in Multi-Context Systems.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Michael Fink, Antonius Weinzierl
2014 J jnl
Finding explanations of inconsistency in multi-context systems.
Artif. Intell.
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2012 B conf
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.
JELIA
Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
2011 J jnl
Advancing Multi-Context Systems by Inconsistency Management
CoRR
Antonius Weinzierl
2011 — conf
Advancing Multi-Context Systems by Inconsistency Management.
RuleML America (2)
Antonius Weinzierl
2011 — conf
Comparing Inconsistency Resolutions in Multi-Context Systems.
ESSLLI Student Sessions
Antonius Weinzierl
2011 A* conf
Managed Multi-Context Systems.
IJCAI
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
2011 B conf
Relational Information Exchange and Aggregation in Multi-Context Systems.
LPNMR
Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
2011 — conf
Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems.
CAiSE Workshops
Peter Schüller, Antonius Weinzierl
2010 A* conf
Finding Explanations of Inconsistency in Multi-Context Systems.
KR
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2010 B conf
Preference-Based Inconsistency Assessment in Multi-Context Systems.
JELIA
Thomas Eiter, Michael Fink, Antonius Weinzierl
2009 — ch.
Four Lessons in Versatility or How Query Languages Adapt to the Web.
REWERSE
François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina
2009 — ch.
Labeling RDF Graphs for Linear Time and Space Querying.
Semantic Web Information Management
Tim Furche, Antonius Weinzierl, François Bry