Antonius Weinzierl

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach Journal of Artificial Intelligence Research	2023-01-09	Paper
Answer set programming with external source access Reasoning Web. Semantic Interoperability on the Web	2022-07-01	Paper
scientific article; zbMATH DE number 7453100 (Why is no real title available?)	2022-01-06	Paper
Conflict generalisation in ASP: learning correct and effective non-ground constraints Theory and Practice of Logic Programming	2020-12-13	Paper
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More Theory and Practice of Logic Programming	2020-12-13	Paper
Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving	2019-10-10	Paper
Exploiting partial assignments for efficient evaluation of answer set programs with external source access	2018-08-14	Paper
Preference-based inconsistency management in multi-context systems Journal of Artificial Intelligence Research	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 Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015-02-04	Paper
Comparing inconsistency resolutions in multi-context systems Lecture Notes in Computer Science	2012-11-06	Paper
Relational information exchange and aggregation in multi-context systems Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
Preference-Based Inconsistency Assessment in Multi-Context Systems Logics in Artificial Intelligence	2010-10-01	Paper

Research outcomes over time

This page was built for person: Antonius Weinzierl