Antonius Weinzierl

Available identifiers

zbMath Open weinzierl.antoniusMaRDI QIDQ460631

List of research outcomes

Publication	Date of Publication	Type
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	2023-01-09	Paper
Answer Set Programming with External Source Access	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5020542	2022-01-06	Paper
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints	2020-12-13	Paper
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More	2020-12-13	Paper
Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving	2019-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4580278	2018-08-14	Paper
Preference-Based Inconsistency Management in Multi-Context Systems	2017-11-13	Paper
Blending lazy-grounding and CDNL search for answer-set solving	2017-09-05	Paper
Preference-Based Diagnosis Selection in Multi-Context Systems	2015-02-04	Paper
Comparing Inconsistency Resolutions in Multi-Context Systems	2012-11-06	Paper
Relational Information Exchange and Aggregation in Multi-Context Systems	2011-05-26	Paper
Preference-Based Inconsistency Assessment in Multi-Context Systems	2010-10-01	Paper

Research outcomes over time

This page was built for person: Antonius Weinzierl