default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonius Weinzierl
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j8]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: 59-114 (2023)- 2022
- [i5]Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl:
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming. CoRR abs/2209.09066 (2022) - 2021
- [c22]Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl:
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics. ConfWS 2021: 13-20 - 2020
- [j7]Antonius Weinzierl, Richard Taupe, Gerhard Friedrich:
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. Theory Pract. Log. Program. 20(5): 609-624 (2020) - [j6]Richard Taupe, Antonius Weinzierl, Gerhard Friedrich:
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. Theory Pract. Log. Program. 20(5): 799-814 (2020) - [i4]Richard Taupe, Antonius Weinzierl, Gerhard Friedrich:
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. CoRR abs/2008.03100 (2020) - [i3]Antonius Weinzierl, Richard Taupe, Gerhard Friedrich:
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. CoRR abs/2008.03526 (2020)
2010 – 2019
- 2019
- [c21]Jori Bomanson, Tomi Janhunen, Antonius Weinzierl:
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. AAAI 2019: 2694-2702 - [c20]Richard Taupe, Antonius Weinzierl, Gerhard Friedrich:
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. LPNMR 2019: 298-311 - [c19]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: 22-35 - [i2]Richard Taupe, Antonius Weinzierl, Gerhard Friedrich:
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving. CoRR abs/1903.12510 (2019) - 2018
- [j5]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: 665-727 (2018) - [j4]Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
The DLVHEX System. Künstliche Intell. 32(2-3): 187-189 (2018) - [j3]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): 197-198 (2018) - [c18]Bart Bogaerts, Antonius Weinzierl:
Exploiting Justifications for Lazy Grounding of Answer Set Programs. IJCAI 2018: 1737-1745 - [c17]Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). IJCAI 2018: 5593-5597 - [c16]Jori Bomanson, Tomi Janhunen, Antonius Weinzierl:
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. KR 2018: 625-626 - 2017
- [j2]Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res. 60: 347-424 (2017) - [c15]Thomas Eiter, Tobias Kaminski, Antonius Weinzierl:
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI 2017: 1015-1022 - [c14]Lorenz Leutgeb, Antonius Weinzierl:
Techniques for Efficient Lazy-Grounding ASP Solving. DECLARE 2017: 132-148 - [c13]Antonius Weinzierl:
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. LPNMR 2017: 191-204 - [c12]Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
Answer Set Programming with External Source Access. RW 2017: 204-275 - 2016
- [c11]Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. IJCAI 2016: 1058-1065 - 2015
- [c10]Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 233-248 - [c9]Peter Schüller, Antonius Weinzierl:
Answer Set Application Programming: a Case Study on Tetris. ICLP (Technical Communications) 2015 - 2014
- [j1]Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216: 233-274 (2014) - 2012
- [c8]Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl:
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. JELIA 2012: 480-483 - 2011
- [c7]Peter Schüller, Antonius Weinzierl:
Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. CAiSE Workshops 2011: 575-585 - [c6]Antonius Weinzierl:
Comparing Inconsistency Resolutions in Multi-Context Systems. ESSLLI Student Sessions 2011: 158-174 - [c5]Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl:
Managed Multi-Context Systems. IJCAI 2011: 786-791 - [c4]Michael Fink, Lucantonio Ghionna, Antonius Weinzierl:
Relational Information Exchange and Aggregation in Multi-Context Systems. LPNMR 2011: 120-133 - [c3]Antonius Weinzierl:
Advancing Multi-Context Systems by Inconsistency Management. RuleML America (2) 2011 - [i1]Antonius Weinzierl:
Advancing Multi-Context Systems by Inconsistency Management. CoRR abs/1107.2088 (2011) - 2010
- [c2]Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA 2010: 143-155 - [c1]Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding Explanations of Inconsistency in Multi-Context Systems. KR 2010
2000 – 2009
- 2009
- [p2]Tim Furche, Antonius Weinzierl, François Bry:
Labeling RDF Graphs for Linear Time and Space Querying. Semantic Web Information Management 2009: 309-339 - [p1]François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina:
Four Lessons in Versatility or How Query Languages Adapt to the Web. REWERSE 2009: 50-160
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-29 00:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
