Role

2019

  • Lazy Grounding for Answer Set Programming: Challenges and Potential / A. Weinzierl / Talk: LaSh 2019 Workshop on Logic and Search, Lissabon, Portugal (invited); 2019-07-08
  • The Alpha Solver for Lazy-GroundingAnswer-Set Programming / A. Weinzierl, B. Bogaerts, J. Bomanson, T. Eiter, G. Friedrich, T. Janhunen, T. Kaminski, M. Langowski, L. Leutgeb, G. Schenner, R. Taupe / ALP Newsletter (invited), -- (2019), 12 pages
  • Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming / J. Bomanson, T. Janhunen, A. Weinzierl / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019, 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019", AAAI Press, (2019), ISBN: 978-1-57735-809-1; 2694 - 2702
  • Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP / R. Taupe, K. Schekotihin, P. Schüller, A. Weinzierl, G. Friedrich / Talk: International Conference on Logic Programming (ICLP), Las Cruces, NM, USA; 2019-09-20 - 2019-09-25; in: "Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019", B. Bogaerts, E. Erdem, P. Fodor, A. Formisano, G. Ianni, D. Inclezan, M. De Vos, F. Yang (ed.); (2019), 22 - 35
  • Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving / R. Taupe, A. Weinzierl, G. Friedrich / Talk: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 2019-06-03 - 2019-06-07; in: "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings", M. Balduccini, Y. Lierler, S. Woltran (ed.); (2019), 298 - 311

2018

2017

  • Preference-Based Inconsistency Management in Multi-Context Systems / T. Eiter, A. Weinzierl / Journal of Artificial Intelligence Research, 60 (2017), 347 - 424
  • Techniques for Efficient Lazy-Grounding ASP Solving / L. Leutgeb, A. Weinzierl / Talk: 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP2017), Würzburg, Deutschland; 2017-09-19 - 2017-09-22; in: "Declare 2017 - Conference on Declarative Programming", D. Seipel, M. Hanus, S. Abreu (ed.); (2017), 16 pages
  • Introducing Heuristics for Lazy-Grounding ASP Solving / R. Taupe, A. Weinzierl, G. Schenner / Talk: 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017), Espoo, Finnland; 2017-07-03; in: "1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017)", M. Gebser, M. Maratea, F. Ricca (ed.); (2017), 13 pages
  • Blending Lazy-Grounding and CDNL Search for Answer-Set Solving / A. Weinzierl / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Espoo, Finnland; 2017-07-03 - 2017-07-06; in: "Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017", M. Balduccini, T. Janhunen (ed.); Lecture Notes in Artificial Intelligence / Springer, 10377 (2017), ISBN: 978-3-319-61659-9; 191 - 204
  • Lazy-Grounding for Answer Set Programs with External Source Access / T. Eiter, T. Kaminski, A. Weinzierl / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017", C. Sierra (ed.); ijcai.org, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (2017), ISBN: 978-0-9992411-0-3; 1015 - 1022
  • Answer Set Programming with External Source Access / T. Eiter, T. Kaminski, C. Redl, P. Schüller, A. Weinzierl / Talk: 13th Reasoning Web Summer School (RW 2017), London, United Kingdom (invited); 2017-07-07 - 2017-07-11; in: "Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures", G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, S. Staab (ed.); Springer, 10370 (2017), ISBN: 978-3-319-61032-0; 204 - 275

2016

2015

  • Twelve speedy tricks for answering NP-complete problems / A. Weinzierl / Talk: TNG Big Techday 8, München, Deutschland; 2015-06-12
  • Preference-Based Diagnosis Selection in Multi-Context Systems / T. Eiter, M. Fink, A. Weinzierl / in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation", 9060; T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); Springer International Publishing Switzerland, 2015, ISBN: 978-3-319-14726-0, 233 - 248
  • Answer Set Application Programming: a Case Study on Tetris / P. Schüller, A. Weinzierl / Talk: International Conference on Logic Programming (ICLP), Cork, Irland; 2015-08-31 - 2015-09-04; in: "Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)", M. De Vos, T. Eiter, Y. Lierler, F. Toni (ed.); CEUR Workshop Proceedings, 1433 (2015), ISSN: 1613-0073; Paper ID 6, 14 pages

2014

2013

  • Learning Non-Ground Rules for Answer-Set Solving / A. Weinzierl / Talk: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Corunna, Spain; 2013-09-15; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)", D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (ed.); Corunna, Spain (2013), 13 pages

2012

  • Comparing Inconsistency Resolutions in Multi-Context Systems / A. Weinzierl / in: "New Directions in Logic, Language and Computation - ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers", D. Lassiter, M. Slavkovik (ed.); Springer, LNCS, Berlin Heidelberg, 2012, ISBN: 978-3-642-31466-7, 158 - 174
  • OMiGA: An Open Minded Grounding on-the-fly Answer Set Solver / M. Dao-Tran, T. Eiter, M. Fink, G. Weidinger, A. Weinzierl / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), 480 - 483
  • Finding Explanations of Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-09, 2012; 72 pages

2011

  • Advancing Multi-Context Systems by Inconsistency Management / A. Weinzierl / Talk: 5th International Symposium on Rules (RuleML 2011@IJCAI), Barcelona, Spain; 2011-07-19; in: "Proceedings of the Doctoral Consortium and Poster Session", C. Damasio, A. Preece, U. Straccia (ed.); (2011), 8 pages
  • Managed Multi-Context Systems / G. Brewka, T. Eiter, M. Fink, A. Weinzierl / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 786 - 791
  • Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems / P. Schüller, A. Weinzierl / Talk: International Workshop on Semantic Search over the Web, London, United Kingdom; 2011-06-20 - 2011-06-24; in: "Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings", C. Salinesi, O. Pastor (ed.); Springer, LNBIP/83 (2011), ISBN: 978-3-642-22056-2; 575 - 585
  • Relational Information Exchange and Aggregation in Multi-Context Systems / M. Fink, L. Ghionna, A. Weinzierl / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), ISBN: 978-3-642-20895-9; 120 - 133

2010

  • Meta-Reasoning in Multi-Context Systems / A. Weinzierl, M. Fink, T. Eiter / Talk: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09
  • Finding Explanations of Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 2010-03-11 - 2010-03-14
  • Meta-Reasoning in Multi-Context Systems / A. Weinzierl, M. Fink, T. Eiter / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 303 - 304
  • Comparing Inconsistency Resolutions in Multi-Context Systems / A. Weinzierl / Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Copenhagen, Denmark; 2010-08-09 - 2010-08-20; in: "Student Session of the European Summer School for Logic, Language, and Information", M. Slavkovik (ed.); (2010), 8 pages
  • Preference-Based Inconsistency Assessment in Multi-Context Systems / T. Eiter, M. Fink, A. Weinzierl / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 143 - 155
  • Finding Explanations of Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)", AAAI Press, Menlo Park, California (2010), ISBN: 978-1-57735-451-2; 329 - 339

2009

  • Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland; 2009-09-14; in: "Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009", J. Delgrande, A. Mileo (ed.); CEUR workshop proceedings, Vol-550 (2009), ISSN: 1613-0073; Paper ID 2, 4 pages