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
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More	2020-12-13	Paper
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints	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
Finding explanations of inconsistency in multi-context systems	2014-10-13	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antonius Weinzierl