Name Card

Full name Familienname, Vorname
Weinzierl, Antonius
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 48 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic ApproachArticle Artikel 5-Jan-2023
2Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Solving Configuration Problems with ASP and Declarative Domain Specific HeuristicsKonferenzbeitrag Inproceedings 2021
3Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
4WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MoreArtikel Article 2020
5TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsArtikel Article 2020
6Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePräsentation Presentation2020
7Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPräsentation Presentation2020
8Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePreprint Preprint2020
9Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPreprint Preprint2020
10Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
11Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius Enhancing Lazy Grounding with Lazy Normalization in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2019
12Weinzierl, Antonius Lazy Grounding for Answer Set Programming: Challenges and PotentialPräsentation Presentation2019
13Weinzierl, Antonius ; Bogaerts, Bart ; Bomanson, Jori ; Eiter, Thomas ; Friedrich, Gerhard ; Janhunen, Tomi ; Kaminski, Tobias ; Langowski, Michael ; Leutgeb, Lorenz ; Schenner, Gottfried ; Taupe, Richard The Alpha Solver for Lazy-GroundingAnswer-Set ProgrammingArtikel Article2019
14Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
15Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessBericht Report2018
16Eiter, Thomas ; Weinzierl, Antonius Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)Konferenzbeitrag Inproceedings 2018
17Leutgeb, Lorenz ; Weinzierl, Antonius Techniques for Efficient Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2018
18Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2018
19Eiter Thomas - 2018 - The DLVHEX System.pdf.jpgEiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius The DLVHEX SystemArticle Artikel 2018
20Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASPArtikel Article 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Behofsics Paul - 2023 - Reboots in Lazy-Grounding ASP-Solving.pdf.jpgBehofsics, Paul Reboots in lazy-grounding ASP-solvingThesis Hochschulschrift 2023