• Dynamic knowledge-based (re)configuration of cyber-physical systems
  2017 – 2020 / Austrian Research Promotion Agency (FFG)
  Publications: 137204 / 139806 / 141309 / 141544 / 141545 / 141546 / 141547 / 144661 / 55542 / 55694 / 56253 / 57328 / 57536 / 57611 / 57886 / 58118 / 58119 / 58244 / 87110 / 87111
• Integrated Evaluation of Answer Set Programs and Extensions
  2015 – 2018 / Austrian Science Fund (FWF)
  Publications: 142359 / 144661 / 145618 / 147598 / 148289 / 149117 / 16727 / 38596 / 38688 / 38689 / 38690 / 38954 / 55434 / 55435 / 55568 / 55705 / 55894 / 56572 / 56573 / 56574 / 56575 / 56579 / 56687 / 56904 / 56928 / 57110 / 57220 / 57263 / 57612 / 86214 / 86800
• Inconsistency Management for Knowledge-Integration Systems
  2009 – 2012 / Vienna Science and Technology Fund (WWTF)
  Publications: 161823 / 162700 / 163757 / 176423 / 176424 / 176427 / 23196 / 23383 / 26374 / 27169 / 27353 / 35887 / 37695 / 37696 / 37697 / 52683 / 52684 / 52701 / 52703 / 52823 / 52829 / 52987 / 52988 / 53058 / 53103 / 53105 / 53119 / 53141 / 53142 / 53203 / 53242 / 53303 / 53393 / 53394 / 53395 / 53419 / 53420 / 53421 / 53560 / 53595 / 53603 / 53604 / 53610 / 53632 / 53633 / 53654 / 53667 / 53743 / 53812 / 53816 / 53817 / 53825 / 53878 / 54153 / 54187 / 54189 / 54416 / 54417 / 54439 / 84983 / 84986 / 85013 / 85031 / 85034 / 85144 / 85168 / 85169 / 85200 / 85201

2022

• Abstraction for Non-Ground Answer Set Programs (Extended Abstract) / Saribatur, Z. G., Eiter, T., & Schüller, P. (2022). Abstraction for Non-Ground Answer Set Programs (Extended Abstract). In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 5767–5771). https://doi.org/10.24963/ijcai.2022/807

2021

• Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators / Cuteri, B., Dodaro, C., Ricca, F., & Schüller, P. (2021). Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. In C. Bessiere (Ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. ijcai.org. https://doi.org/10.24963/ijcai.2020/234
• Combining Task and Motion Planning: Challenges and Guidelines / Mansouri, M., Pecora, F., & Schüller, P. (2021). Combining Task and Motion Planning: Challenges and Guidelines. Frontiers in Robotics and AI, 8. https://doi.org/10.3389/frobt.2021.637888
  Project: AI4EU (2019–2021)
• Abstraction for non-ground answer set programs / Saribatur, Z. G., Eiter, T., & Schüller, P. (2021). Abstraction for non-ground answer set programs. Artificial Intelligence, 300(103563), 103563. https://doi.org/10.1016/j.artint.2021.103563
  Projects: AI4EU (2019–2021) / DK - Logic (2014–2023) / HumanE-AI-Net (2020–2024)

2020

• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / Eiter, T., Saribatur, Z. G., & Schüller, P. (2020). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, online, Greece. http://hdl.handle.net/20.500.12708/87081
• ASP-Based Signal Plan Adjustments for Traffic Flow Optimization / Eiter, T., Falkner, A., Schneider, P., & Schüller, P. (2020). ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. 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) (p. 7). IOS Press - Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/58244
  Project: DynaCon (2017–2020)
• A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning / Schüller, P. (2020). A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning. In A. Saffiotti, L. Serafini, & P. Lukowicz (Eds.), 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 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55553
  Project: AI4EU (2019–2021)

2019

• Abstraction for Non-Ground Answer Set Programs / Saribatur, Z. G., Eiter, T., & Schüller, P. (2019). Abstraction for Non-Ground Answer Set Programs (LOGCOMP RR-1923-19-01). http://hdl.handle.net/20.500.12708/39887
  Project: AI4EU (2019–2021)
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. In Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence (pp. 7–13). http://hdl.handle.net/20.500.12708/57937
• The Hexlite Solver / Schüller, P. (2019). The Hexlite Solver. In Logics in Artificial Intelligence (pp. 593–607). Springer, Cham, Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-19570-0_39
  Projects: AI4EU (2019–2021) / DynaCon (2017–2020)
• Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP / Taupe, R., Schekotihin, K., Schüller, P., Weinzierl, A., & Friedrich, G. (2019). Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. In B. Bogaerts, E. Erdem, P. Fodor, A. Formisano, G. Ianni, D. Inclezan, M. De Vos, & F. Yang (Eds.), Electronic Proceedings in Theoretical Computer Science (pp. 22–35). https://doi.org/10.4204/eptcs.306.9
• Abstraction for Non-ground Answer Set Programs / Saribatur, Z. G., Schüller, P., & Eiter, T. (2019). Abstraction for Non-ground Answer Set Programs. In F. Calimeri, N. Leone, & M. Manna (Eds.), Logics in Artificial Intelligence (pp. 576–592). Springer LNCS. https://doi.org/10.1007/978-3-030-19570-0_38
  Project: DynaCon (2017–2020)
• Partial Compilation of ASP Programs / CUTERI, B., DODARO, C., RICCA, F., & SCHÜLLER, P. (2019). Partial Compilation of ASP Programs. Theory and Practice of Logic Programming, 19(5–6), 857–873. https://doi.org/10.1017/s1471068419000231
  Project: AI4EU (2019–2021)
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/86936
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019). http://hdl.handle.net/20.500.12708/58339

2018

• Abstraction for Non-Ground Answer Set Programs / Saribatur, Z. G., Schüller, P., & Eiter, T. (2018). Abstraction for Non-Ground Answer Set Programs. In 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018). 2nd Workshop on Trends and Applications of Answer Set Programming 2018, Wien, Austria. http://hdl.handle.net/20.500.12708/57536
  Project: DynaCon (2017–2020)
• The DLVHEX System / Eiter, T., Germano, S., Ianni, G., Kaminski, T., Redl, C., Schüller, P., & Weinzierl, A. (2018). The DLVHEX System. Kuenstliche Intelligenz. https://doi.org/10.1007/s13218-018-0535-y
  Download: PDF (212 KB)
• Answer Set Programming in Linguistics / Schüller, P. (2018). Answer Set Programming in Linguistics. Kuenstliche Intelligenz, 32(2–3), 151–155. https://doi.org/10.1007/s13218-018-0542-z
• Answer Set Programming Applied to Coreference Resolution and Semantic Similarity / Schüller, P. (2018). Answer Set Programming Applied to Coreference Resolution and Semantic Similarity. Kuenstliche Intelligenz, 32(2–3), 207–208. https://doi.org/10.1007/s13218-018-0539-7
• Validation of similarity measures for industrial alarm flood analysis? / Fullen, M., Schüller, P., & Niggemann, O. (2018). Validation of similarity measures for industrial alarm flood analysis? In IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency (pp. 93–109). Springer. https://doi.org/10.1007/978-3-662-57805-6_6
• The Hexlite Solver / Schüller, P. (2018). The Hexlite Solver. In Workshop on Trends and Applications of Answer Set Programming (p. 15). http://hdl.handle.net/20.500.12708/57328
  Project: DynaCon (2017–2020)
• Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP / Taupe, R., Schekotihin, K., Schüller, P., Weinzierl, A., & Friedrich, G. (2018). Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. In Workshop on Trends and Applications of Answer Set Programming (p. 15). http://hdl.handle.net/20.500.12708/57611
  Project: DynaCon (2017–2020)
• Adjudication of Coreference Annotations via Answer Set Optimization / Schüller, P. (2018). Adjudication of Coreference Annotations via Answer Set Optimization. Journal of Experimental and Theoretical Artificial Intelligence, 30(4), 525–546. https://doi.org/10.1080/0952813x.2018.1456793
• Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation / Schüller, P., & Benz, M. (2018). Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. Machine Learning, 107(7), 1141–1169. https://doi.org/10.1007/s10994-018-5708-2
  Projects: DynaCon (2017–2020) / IE of ASP (2015–2018)
• TUWienKBS at GermEval 2018: German Abusive Tweet Detection / Padilla Montani, J., & Schüller, P. (2018). TUWienKBS at GermEval 2018: German Abusive Tweet Detection. In Proceedings of GermEval 2018, 14th Conference on Natural Language Processing (KONVENS 2018) (p. 5). http://hdl.handle.net/20.500.12708/57438
• IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency / IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency. (2018). In O. Niggemann & P. Schüller (Eds.), Technologien für die intelligente Automation. Springer. https://doi.org/10.1007/978-3-662-57805-6

2017

• Answer Set Programming with External Source Access / Eiter, T., Kaminski, T. D., Redl, C., Schüller, P., & Weinzierl, A. (2017). Answer Set Programming with External Source Access. In G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, & S. Staab (Eds.), Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Springer. https://doi.org/10.1007/978-3-319-61033-7_7
  Download: PDF (662 KB)
• Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis / CUTERI, B., DODARO, C., RICCA, F., & SCHÜLLER, P. (2017). Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory and Practice of Logic Programming, 17(5–6), 780–799. https://doi.org/10.1017/s1471068417000254
• ASP-based Inductive Logic Programming applied to Phrase Chunking: Challenges and Improvements / Schüller, P. (2017). ASP-based Inductive Logic Programming applied to Phrase Chunking: Challenges and Improvements. Language-Learning-Logic Workshop (3L 2017), London, EU. http://hdl.handle.net/20.500.12708/86558
• Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis / Fullen, M., Schüller, P., & Niggemann, O. (2017). Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis. 3. Konferenz ML4CPS - Machine Learning for Cyber Physical Systems and Industry 4.0, Lemgo, Deutschland, EU. http://hdl.handle.net/20.500.12708/86557

2016

• A model building framework for answer set programming with external computations / Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Schüller, P. (2016). A model building framework for answer set programming with external computations. Theory and Practice of Logic Programming, 16(4), 418–464. https://doi.org/10.1017/s1471068415000113
  Project: ASP (2012–2015)
• Problem Solving Using the HEX Family / Eiter, T., Redl, C., & Schüller, P. (2016). Problem Solving Using the HEX Family. In 60 Birthday: Gabriele Kern-Isberner, 2016 (pp. 150–174). College Publications. http://hdl.handle.net/20.500.12708/56573
  Project: IE of ASP (2015–2018)

2015

• Answer Set Application Programming: a Case Study on Tetris / Schüller, P., & Weinzierl, A. (2015). Answer Set Application Programming: a Case Study on Tetris. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) (p. 14). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55416
• On Structural Analysis of Non-Ground Answer-Set Programs / Kiesl, B., Schüller, P., & Tompits, H. (2015). On Structural Analysis of Non-Ground Answer-Set Programs. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) (p. 14). http://hdl.handle.net/20.500.12708/56289
• Problem Solving Using the HEX Family / Eiter, T., Redl, C., & Schüller, P. (2015). Problem Solving Using the HEX Family (NFSYS RR-1843-15-07). http://hdl.handle.net/20.500.12708/38688
  Project: IE of ASP (2015–2018)
• User Guide: dlvhex 2.X / Eiter, T., Mehuljic, M., Redl, C., & Schüller, P. (2015). User Guide: dlvhex 2.X (INFSYS RR-1843-15-05). http://hdl.handle.net/20.500.12708/38596
  Project: IE of ASP (2015–2018)
• A Model Building Framework for Answer Set Programming with External Computations / Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Schüller, P. (2015). A Model Building Framework for Answer Set Programming with External Computations (INFSYS RR-1843-15-01). http://hdl.handle.net/20.500.12708/38595
  Project: ASP (2012–2015)

2014

• Efficient HEX-Program Evaluation based on Unfounded Sets / Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2014). Efficient HEX-Program Evaluation based on Unfounded Sets. Journal of Artificial Intelligence Research, 49, 269–321. https://doi.org/10.1613/jair.4175
  Project: ASP (2012–2015)
• Finding Explanations of Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2014). Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence, 216, 233–274. https://doi.org/10.1016/j.artint.2014.07.008

2013

• ActHEX: Implementing HEX Programs with Action Atoms / Fink, M., Germano, S., Ianni, G., Redl, C., & Schüller, P. (2013). ActHEX: Implementing HEX Programs with Action Atoms. In P. Cabalar & T. C. Son (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 317–322). Springer. https://doi.org/10.1007/978-3-642-40564-8_31
  Project: ASP (2012–2015)

2012

• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming / Lierler, Y., & Schüller, P. (2012). Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Correct Reasoning (pp. 436–453). Springer LNCS. https://doi.org/10.1007/978-3-642-30743-0_30
  Project: IncMan (2009–2012)
• Eliminating Unfounded Set Checking for HEX-Programs / Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Eliminating Unfounded Set Checking for HEX-Programs. In M. Fink & Y. Lierler (Eds.), Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary (p. 15). CoRR - Computing Research Repository. http://hdl.handle.net/20.500.12708/54189
  Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012)
• Exploiting Unfounded Sets for HEX-Program Evaluation / Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Exploiting Unfounded Sets for HEX-Program Evaluation. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 160–175). Springer. https://doi.org/10.1007/978-3-642-33353-8_13
  Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012)
• Improving HEX-Program Evaluation based on Unfounded Sets / Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Improving HEX-Program Evaluation based on Unfounded Sets (RR-1843-12-08). http://hdl.handle.net/20.500.12708/37793
  Project: ASP (2012–2015)
• Finding Explanations of Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2012). Finding Explanations of Inconsistency in Multi-Context Systems (INFSYS RR-1843-12-09). http://hdl.handle.net/20.500.12708/37697
  Project: IncMan (2009–2012)
• Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language / Eiter, T., Fink, M., Ianni, G., & Schüller, P. (2012). Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language (INFSYS RR-1843-12-05). http://hdl.handle.net/20.500.12708/37696
  Project: IncMan (2009–2012)

2011

• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning. 11th International Conference, LPNMR 2011 (pp. 93–106). Springer. https://doi.org/10.1007/978-3-642-20895-9_10
  Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012)
• Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems / Eiter, T., Fink, M., & Schüller, P. (2011). Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 107–119). Springer. https://doi.org/10.1007/978-3-642-20895-9_11
  Project: IncMan (2009–2012)
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/85168
  Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012)
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/85169
  Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012)
• Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems / Schüller, P., & Weinzierl, A. (2011). Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. In C. Salinesi & O. Pastor (Eds.), Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications (pp. 575–585). Springer. https://doi.org/10.1007/978-3-642-22056-2_59
  Project: IncMan (2009–2012)
• Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report / Lierler, Y., & Schüller, P. (2011). Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report. In S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, & A. Wolf (Eds.), 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011) (pp. 208–219). INFSYS Research Report. http://hdl.handle.net/20.500.12708/53743
  Project: IncMan (2009–2012)
• Towards a Policy Language for Managing Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Ianni, G., & Schüller, P. (2011). Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. In A. Mileo & M. Fink (Eds.), Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications (p. 13). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53654
  Project: IncMan (2009–2012)

2010

• Methods and Algorithms for Managing Inconsistency in Multi-Context Systems / Schüller, P. (2010). Methods and Algorithms for Managing Inconsistency in Multi-Context Systems. Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Toronto, Canada, Non-EU. http://hdl.handle.net/20.500.12708/84983
  Project: IncMan (2009–2012)
• Finding Explanations of Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2010). Finding Explanations of Inconsistency in Multi-Context Systems. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85011
• Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems / Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. Junior Scientist Conference 2010, Wien, Austria. http://hdl.handle.net/20.500.12708/84986
  Project: IncMan (2009–2012)
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems / Bögl, M., Eiter, T., Fink, M., & Schüller, P. (2010). The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 356–359). Lecture Notes in Artificial Intelligence/Springer. https://doi.org/10.1007/978-3-642-15675-5_31
  Projects: HEX-Programme (2008–2012) / IncMan (2009–2012)
• Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems / Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 315–316). http://hdl.handle.net/20.500.12708/53119
  Project: IncMan (2009–2012)
• Finding Explanations of Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2010). Finding Explanations of Inconsistency in Multi-Context Systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10) (pp. 329–339). AAAI Press. http://hdl.handle.net/20.500.12708/53103
  Project: IncMan (2009–2012)

2009

• Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2009). Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems. In J. P. Delgrande & A. Mileo (Eds.), Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009 (p. 4). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/52823
  Project: IncMan (2009–2012)

2008

• Reconstructing borders of manually torn paper sheets using integer linear programming / Schüller, P. (2008). Reconstructing borders of manually torn paper sheets using integer linear programming [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-15999
  Download: PDF (841 KB)

2007

• Reconstructing Sheets of Manually Torn Paper / Prandtstetter, M., Raidl, G., & Schüller, P. (2007). Reconstructing Sheets of Manually Torn Paper. 11th International Workshop on Combinatorial Optimization, Aussois, Frankreich, EU. http://hdl.handle.net/20.500.12708/84603