• 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)

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
• 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 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
• 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
• 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
• 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

• 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
• 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

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
• 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
• 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

• 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

• 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
• Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation / PhD Thesis by P. Schüller / Supervisor, Reviewer: T. Eiter, G. Ianni; Institut für Informationssysteme, 2012; oral examination: 2012-08-31
• 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
• 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
• 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

• 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
• 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
• 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
• 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
• 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

• 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 / 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
• 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
• 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

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