Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Antonius Weinzierl>

Tools: Drucken

Dr. Antonius Weinzierl

A picture of me
Postdoctoral Researcher (Project Staff)
email: weinzierl at
Phone: +43 158 801 18470
Office hours: by appointment
Navigation: Personal Information Research Interests Publications Teaching Community Activities

Personal Information

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.

Research Interests


Contact me if you need access to a pdf version of some paper.


Community Activities

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.