Contact

Dipl.-Inf. Dr.techn. Antonius Weinzierl

Experience

 
 
 
 
 
2018 – Present
Austria

Project Assistant (PostDoc)

Institute for Logic and Computation, TU Wien

Configuration for Cyber-Physical-Systems (Project DynaCon).
 
 
 
 
 
2018 – 2017
Finland

Postdoctoral Researcher

Department of Computer Science, Aalto University

Answer Set Solver Technologies (Project COIN).
 
 
 
 
 
2015 – 2017
Austria

Project Assistant (PostDoc)

Institute of Information Systems, TU Wien

Evaluation of Answer Set Programs with External Atoms (Project IntHEX).
 
 
 
 
 
2012 – 2015
Austria

University Assistant

Institute of Information Systems, TU Wien

Teaching and Research.
 
 
 
 
 
2009 – 2012
Austria

Project Assistant

Institute of Information Systems, TU Wien

Inconsistency Management in Multi-Context Systems (Project Incman).

Community

  • Organizer: GTTV’19 Workshop.

  • PC Member: IJCAI-ECAI, LPNMR, SSW.

  • Journal Reviews: Artificial Intelligence, Theory and Practice of Logic Programming, AI Communications, International Journal of Approximate Reasoning, Künstliche Intelligenz.

  • Conference/Workshop Reviews: AAAI, KR, ECAI, ICLP, NMR, PADL, GTTV, ASPOCP, TAASP, M-PREF, SUM, EPIA, RR.

Publications

All Publications

(2018). Exploiting Justifications for Lazy Grounding of Answer Set Programs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm,Sweden.

PDF DOI

(2018). Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. KI.

PDF DOI

(2018). Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.

PDF DOI

(2018). The DLVHEX System. KI.

PDF DOI

(2018). Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.

PDF

(2017). Answer Set Programming with External Source Access. Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures.

PDF DOI

(2017). Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings.

PDF DOI

(2017). Lazy-Grounding for Answer Set Programs with External Source Access. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017.

PDF DOI

(2017). Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res..

PDF DOI

(2017). Techniques for Efficient Lazy-Grounding ASP Solving. Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers.

PDF DOI

(2016). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016.

PDF

(2015). Answer Set Application Programming: a Case Study on Tetris. Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015.

PDF

(2015). Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday.

PDF DOI

(2014). Finding explanations of inconsistency in multi-context systems. Artif. Intell..

PDF DOI

(2012). OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings.

PDF DOI

(2011). Advancing Multi-Context Systems by Inconsistency Management. Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011.

PDF

(2011). Comparing Inconsistency Resolutions in Multi-Context Systems. New Directions in Logic, Language and Computation - ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers.

PDF DOI

(2011). Managed Multi-Context Systems. IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,2011.

PDF DOI

(2011). Relational Information Exchange and Aggregation in Multi-Context Systems. Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings.

PDF DOI

(2011). Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings.

PDF DOI

(2010). Finding Explanations of Inconsistency in Multi-Context Systems. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010.

PDF

(2010). Preference-Based Inconsistency Assessment in Multi-Context Systems. Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings.

PDF DOI

(2009). Four Lessons in Versatility or How Query Languages Adapt to the Web. Semantic Techniques for the Web, The REWERSE Perspective.

PDF DOI

(2009). Labeling RDF Graphs for Linear Time and Space Querying. Semantic Web Information Management - A Model-Based Perspective.

PDF DOI