Peter Schüller
Privatdoz. Dipl.-Ing. Dr.techn. / Bakk.techn.
Role
-
Affiliated
Knowledge-Based Systems, E192-03
Projects
-
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
Publications
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 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
-
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)
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