Roles

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

2017

2016

2015

2014

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

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

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