Dr. Antonius Weinzierl
|Postdoctoral Researcher (Project Staff)
I am a PostDoc researcher currently employed in the project Integrated Evaluation of Answer Set Programs and Extensions. One of the goals in this project is to address issues with grounding in ASP and its extension HEX. Previously, I worked on the Omiga solver for ASP which is based on grounding on-the-fly ASP solving.
A side-project together with Peter Schüller is the development of the Answer-Set Application Programming framework with the goal of enabling the development of interactive applications using declarative logic-programming with ASP.
My dissertation is about inconsistency management the area of Multi-Context Systems, which was the topic of the project Inconsistency Management for Knowledge Integration Systems.
|Previously:||184.765 Argumentation and Proof (2014, 2015),|
|185.291 Formal Methods in Computer Science (2011-2015),|
|185.A06 Formal Modelling (2012-2014),|
|184.685 Data Modelling (2012-2015)|