TU Home
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list for
Peter Schüller
as author

31 records (2007 - 2017)


Publications in Scientific Journals


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

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Efficient HEX-Program Evaluation based on Unfounded Sets";
Journal of Artificial Intelligence Research, 49 (2014), 269 - 321.

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Artificial Intelligence, 216 (2014), 233 - 274.


Contributions to Proceedings


Y. Lierler, P. Schüller:
"Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming";
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.


Talks and Poster Presentations (with Proceedings-Entry)


T. Eiter, T. Kaminski, C. Redl, P. Schüller, A. Weinzierl:
"Answer Set Programming with External Source Access";
Talk: 13th Reasoning Web Summer School (RW 2017), London, United Kingdom (invited); 07-07-2017 - 07-11-2017; 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.

M. Fink, S. Germano, G. Ianni, C. Redl, P. Schüller:
"ActHEX: Implementing HEX Programs with Action Atoms";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; 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.

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Exploiting Unfounded Sets for HEX-Program Evaluation";
Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 09-26-2012 - 09-28-2012; 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.

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Eliminating Unfounded Set Checking for HEX-Programs";
Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Hungary; 09-24-2012; 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.

Y. Lierler, P. Schüller:
"Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report";
Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; 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.

P. Schüller, A. Weinzierl:
"Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems";
Talk: International Workshop on Semantic Search over the Web, London, United Kingdom; 06-20-2011 - 06-24-2011; 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.

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), 93 - 106.

T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Towards a Policy Language for Managing Inconsistency in Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 05-16-2011; 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.

T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; 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.

T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Talk: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky; 10-22-2010 - 10-25-2010; in: "NonMon@30 - Thirty Years of Nonmonotonic Reasoning", (2010), 15 pages.

M. Bögl, T. Eiter, M. Fink, P. Schüller:
"The MCS-IE System for Explaining Inconsistency in Multi-Context Systems";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finnland; 09-13-2010 - 09-15-2010; 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.

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; 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.

P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 315 - 316.

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland; 09-14-2009; 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.


Talks and Poster Presentations (without Proceedings-Entry)


T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.

P. Schüller:
"Methods and Algorithms for Managing Inconsistency in Multi-Context Systems";
Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Toronto, Canada; 05-09-2010 - 05-13-2010.

P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Talk: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010.

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.

M. Prandtstetter, G. Raidl, P. Schüller:
"Reconstructing Sheets of Manually Torn Paper";
Talk: 11th International Workshop on Combinatorial Optimization, Aussois, Frankreich; 01-08-2007 - 01-12-2007.


Doctor's Theses (authored and supervised)


P. Schüller:
"Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation";
Supervisor, Reviewer: T. Eiter, G. Ianni; Institut für Informationssysteme, 2012; oral examination: 08-31-2012.


Diploma and Master Theses (authored and supervised)


P. Schüller:
"Reconstructing borders of manually torn paper scheets using integer linear programming";
Supervisor: G. Raidl, M. Prandtstetter; Institut für Computergraphik und Algorithmen, 2008; final examination: 01-2008.


Scientific Reports


T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
"A Model Building Framework for Answer Set Programming with External Computations";
Report for TU Wien; Report No. INFSYS RR-1843-15-01, 2015; 53 pages.

T. Eiter, M. Mehuljic, C. Redl, P. Schüller:
"User Guide: dlvhex 2.X";
Report for TU Wien; Report No. INFSYS RR-1843-15-05, 2015; 46 pages.

T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-05, 2012; 33 pages.

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Improving HEX-Program Evaluation based on Unfounded Sets";
Report for Institut für Informationssysteme; Report No. RR-1843-12-08, 2012; 47 pages.

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-09, 2012; 72 pages.