• Dynamic knowledge-based (re)configuration of cyber-physical systems
  2017 – 2020 / Austrian Research Promotion Agency (FFG)
• Integrated Evaluation of Answer Set Programs and Extensions
  2015 – 2018 / Austrian Science Fund (FWF)
• Inconsistency Management for Knowledge-Integration Systems
  2009 – 2012 / Vienna Science and Technology Fund (WWFT)

2021

• Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators / B. Cuteri, C. Dodaro, F. Ricca, P. Schüller / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Yokohama, Japan (postponed due to the Corona pandemic); 2021; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020", Ch. Bessiere (ed.); ijcai.org, (2020), 6 pages

2020

• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / T. Eiter, Z. G. Saribatur, P. Schüller / Talk: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland; 2020-09-12 - 2020-09-18
• A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning / P. Schüller / Talk: European Conference on Artificial Intelligence (ECAI), Santiago de Compostella, Spain; 2020-09-04; in: "Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostella, Spain, September 4, 2020", A. Saffiotti, L. Serafini, P. Lukowicz (ed.); CEUR Workshop Proceedings, 2659 (2020), ISSN: 1613-0073; Paper ID 4, 6 pages
• ASP-Based Signal Plan Adjustments for Traffic Flow Optimization / T. Eiter, A. Falkner, P. Schneider, P. Schüller / Talk: European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain; 2020-08-29 - 2020-09-08; in: "ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)", IOS Press - Frontiers in Artificial Intelligence and Applications, 325 (2020), ISSN: 1879-8314; 7 pages

2019

• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / T. Eiter, Z. G. Saribatur, P. Schüller / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany; 2019-11-18 - 2019-11-19
• 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
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / T. Eiter, Z. G. Saribatur, P. Schüller / Talk: IJCAI 2019 Workshop on Explainable Artificial Intelligence, Macau, China; 2019-08-11; in: "Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence", (2019), 7 - 13
• Abstraction for Non-Ground Answer Set Programs / Z. G. Saribatur, P. Schüller, T. Eiter / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference (JELIA 2019)", F. Calimeri, N. Leone, M. Manna (ed.); Springer LNCS, 11468 (2019), ISBN: 978-3-030-19569-4; 576 - 592
• The Hexlite Solver / P. Schüller / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence (JELIA)", Springer, Cham, Lecture Notes in Computer Science, 11468 (2019), ISBN: 978-3-030-19569-4; 593 - 607
• Partial Compilation of ASP Programs / B. Cuteri, C. Dodaro, F. Ricca, P. Schüller / Theory and Practice of Logic Programming, 19 (2019), 5-6; 857 - 873
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / T. Eiter, Z. G. Saribatur, P. Schüller / in: "3rd Workshop on Trends and Applications of Answer Set Programming", 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019), 2019, 2 pages
• Abstraction for Non-Ground Answer Set Programs / Z. G. Saribatur, T. Eiter, P. Schüller / Report No. LOGCOMP RR-1923-19-01, 2019; 98 pages

2018

• Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP / R. Taupe, K. Schekotihin, P. Schüller, A. Weinzierl, G. Friedrich / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 2018-11-19 - 2018-11-20; in: "Workshop on Trends and Applications of Answer Set Programming", (2018), 15 pages
• The Hexlite Solver / P. Schüller / Talk: Workshop on Trends and Applications of Answer Set Programming, Wien, Austria; 2018-11-19 - 2018-11-20; in: "Workshop on Trends and Applications of Answer Set Programming", http://www.kr.tuwien.ac.at/events/taasp18/prog.html (2018), 15 pages
• Abstraction for Non-Ground Answer Set Programs / Z. G. Saribatur, P. Schüller, T. Eiter / Talk: Workshop on Trends and Applications of Answer Set Programming, Wien, Austria; 2018-11-19 - 2018-11-20; in: "Workshop on Trends and Applications of Answer Set Programming", http://www.kr.tuwien.ac.at/events/taasp18/prog.html, (2018), 15 pages
• TUWienKBS at GermEval 2018: German Abusive Tweet Detection / J. Padilla Montani, P. Schüller / Talk: GermEval Workshop at Conference on Natural Language Processing (KONVENS), Wien; 2018-09-21; in: "Proceedings of GermEval 2018, 14th Conference on Natural Language Processing (KONVENS 2018)", (2018), Paper ID 8, 5 pages
• Validation of similarity measures for industrial alarm flood analysis / M. Fullen, P. Schüller, O. Niggemann / in: "IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency", 8; issued by: Springer; Springer, Vieweg, Berlin, Heidelberg, 2018, ISBN: 978-3-662-57805-6, 93 - 109
• IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency / O. Niggemann, P. Schüller / in series "Technologien für die intelligente Automation", series editor: O. Niggemann, P. Schüller; issued by: Springer; Springer, Vieweg, Berlin, Heidelberg, 2018, ISBN: 978-3-662-57805-6, 129 pages
• The DLVHEX System / T. Eiter, S. Germano, G. Ianni, T. Kaminski, C. Redl, P. Schüller, A. Weinzierl / KI - Künstliche Intelligenz, 32 (2018), 2-3; 187 - 189
• Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation / P. Schüller, M. Benz / Machine Learning, 107 (2018), 7; 1141 - 1169
• Answer Set Programming Applied to Coreference Resolution and Semantic Similarity / P. Schüller / KI - Künstliche Intelligenz, 32 (2018), 2-3; 207 - 208
• Answer Set Programming in Linguistics / P. Schüller / KI - Künstliche Intelligenz (invited), 32 (2018), 2-3; 151 - 155
• Adjudication of Coreference Annotations via Answer Set Optimization / P. Schüller / Journal of Experimental & Theoretical Artificial Intelligence, 30 (2018), 4; 525 - 546

2017

• Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis / M. Fullen, P. Schüller, O. Niggemann / Talk: 3. Konferenz ML4CPS - Machine Learning for Cyber Physical Systems and Industry 4.0, Lemgo, Deutschland (invited); 2017-10-25 - 2017-10-26
• ASP-based Inductive Logic Programming applied to Phrase Chunking: Challenges and Improvements / P. Schüller / Talk: Language-Learning-Logic Workshop (3L 2017), London; 2017-09-21
• 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
• Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis / B. Cuteri, C. Dodaro, F. Ricca, P. Schüller / Theory and Practice of Logic Programming, 17 (2017), 5-6; 780 - 799

2016

• A Model Building Framework for Answer Set Programming with External Computations / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller / Theory and Practice of Logic Programming, 16 (2016), 4; 418 - 464

2015

• User Guide: dlvhex 2.X / T. Eiter, M. Mehuljic, C. Redl, P. Schüller / Report for TU Wien; Report No. INFSYS RR-1843-15-05, 2015; 46 pages
• A Model Building Framework for Answer Set Programming with External Computations / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller / Report for TU Wien; Report No. INFSYS RR-1843-15-01, 2015; 53 pages

2014

• Finding Explanations of Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Artificial Intelligence, 216 (2014), 233 - 274
• Efficient HEX-Program Evaluation based on Unfounded Sets / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Journal of Artificial Intelligence Research, 49 (2014), 269 - 321

2013

• ActHEX: Implementing HEX Programs with Action Atoms / M. Fink, S. Germano, G. Ianni, C. Redl, P. Schüller / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 317 - 322

2012

• Exploiting Unfounded Sets for HEX-Program Evaluation / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / 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), ISBN: 978-3-642-33352-1; 160 - 175
• Eliminating Unfounded Set Checking for HEX-Programs / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Hungary; 2012-09-24; in: "Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary", M. Fink, Y. Lierler (ed.); CoRR - Computing Research Repository, arXiv:1301.1390v1 (2012), 15 pages
• Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation / Doctoral Thesis by P. Schüller / Supervisor, Reviewer: T. Eiter, G. Ianni; Institut für Informationssysteme, 2012; oral examination: 2012-08-31
• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming / Y. Lierler, P. Schüller / in: "Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz", E. Erdem, J. Lee, Y. Lierler, D. Pearce (ed.); Springer LNCS, 2012, (invited), ISBN: 978-3-642-30742-3, 436 - 453
• Improving HEX-Program Evaluation based on Unfounded Sets / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Report for Institut für Informationssysteme; Report No. RR-1843-12-08, 2012; 47 pages
• Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language / T. Eiter, M. Fink, G. Ianni, P. Schüller / Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-05, 2012; 33 pages
• 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

• Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report / Y. Lierler, P. Schüller / Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 2011-09-28 - 2011-09-30; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, A. Wolf (ed.); INFSYS Research Report, 1843-11-06 (2011), 208 - 219
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 2011-07-16 - 2011-07-22
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller / Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 2011-07-16 - 2011-07-22
• 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
• Towards a Policy Language for Managing Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, G. Ianni, P. Schüller / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 2011-05-16; in: "Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications", A. Mileo, M. Fink (ed.); CEUR workshop proceedings, 738 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages
• Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems / T. Eiter, M. Fink, P. Schüller / 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, 6645 (2011), ISSN: 0302-9743; 107 - 119
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller / 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), 93 - 106

2010

• Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems / T. Eiter, M. Fink, P. Schüller / Talk: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky; 2010-10-22 - 2010-10-25; in: "NonMon@30 - Thirty Years of Nonmonotonic Reasoning", (2010), 15 pages
• The MCS-IE System for Explaining Inconsistency in Multi-Context Systems / M. Bögl, T. Eiter, M. Fink, P. Schüller / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finnland; 2010-09-13 - 2010-09-15; in: "Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Lecture Notes in Artificial Intelligence/Springer, 6341 (2010), ISSN: 0302-9743; 356 - 359
• 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
• Methods and Algorithms for Managing Inconsistency in Multi-Context Systems / P. Schüller / Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Toronto, Canada; 2010-05-09 - 2010-05-13
• Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems / P. Schüller, T. Eiter, M. Fink / 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; 315 - 316
• Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems / P. Schüller, T. Eiter, M. Fink / 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

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