Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Antonius Weinzierl
Map detail
Antonius Weinzierl5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAntonius WeinzierlAAntonius WeinzierlResearcherAdvancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and MoreWAdvancing Lazy-Groundin...preprint / 2020Advancing Multi-Context Systems by Inconsistency ManagementWAdvancing Multi-Context...preprint / 2011Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsWConflict Generalisation...preprint / 2020Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set ProgrammingWSpecifying and Exploiti...preprint / 2022
Person4 links

Antonius Weinzierl

Researcher