@string{lnai = {{Lecture Notes in Artificial Intelligence}}} @string{lncs = {{Lecture Notes in Computer Science}}} @string{lnbip = {{Lecture Notes in Business Information Processing}}} @article{2021saribaturES, author = {Zeynep Gozen Saribatur and Thomas Eiter and Peter Sch{\"u}ller}, title = {Abstraction for non-ground answer set programs}, journal = {Artificial Intelligence}, volume = {300}, pages = {103563}, year = {2021}, url = {https://doi.org/10.1016/j.artint.2021.103563}, doi = {10.1016/j.artint.2021.103563}, project = {AI4EU,selected}, } @InProceedings{2021AlkanAS, author={Alkan, Ak{\i}ner and Alkaya, Ali Fuat and Sch{\"u}ller, Peter}, xeditor={Kahraman, Cengiz and Cebi, Selcuk and Cevik Onar, Sezi and Oztaysi, Basar and Tolga, A. Cagri and Sari, Irem Ucal}, title={Currency Exchange Rate Forecasting with Social Media Sentiment Analysis}, booktitle={Intelligent and Fuzzy Techniques for Emerging Conditions and Digital Transformation (INFUS)}, year={2021}, publisher={Springer} address={Cham}, pages={490--497}, } @article{2021MansouriPS, author = {Masoumeh Mansouri and Federico Pecora and Peter Sch{\"u}ller}, title = {Combining Task and Motion Planning: Challenges and Guidelines}, journal = {Frontiers in Robotics and AI}, volume = {8}, pages = {637888}, year = {2021}, url = {https://doi.org/10.3389/frobt.2021.637888}, doi = {10.3389/frobt.2021.637888}, project = {AI4EU}, } @inproceedings{Schueller2020hexowlapi, author={Schüller, Peter}, editor={Saffiotti, Alessandro and Serafini, Luciano and Lukowicz, Paul}, title={A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning}, booktitle={New Foundations for Human-Centered AI, Workshop at ECAI}, publisher = {CEUR-WS.org}, xissn={1613-0073}, pages={25--31}, volume = {2659}, year={2020}, link={http://ceur-ws.org/Vol-2659/}, url={http://ceur-ws.org/Vol-2659/schueller.pdf}, project = {AI4EU,selected}, } @inproceedings{CuteriDRS20, author = {Cuteri, Bernardo and Dodaro, Carmine and Ricca, Francesco and Sch{\"{u}}ller, Peter}, xeditor = {Christian Bessiere}, title = {Overcoming the Grounding Bottleneck Due to Constraints in {ASP} Solving: Constraints Become Propagators}, booktitle = {International Joint Conference on Artificial Intelligence ({IJCAI})}, pages = {1688--1694}, xpublisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/234}, doi = {10.24963/ijcai.2020/234}, } @inproceedings{2020EiterFSS, author = {Thomas Eiter and Andreas A. Falkner and Patrik Schneider and Peter Sch{\"u}ller}, xeditor = {Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang}, title = {ASP-Based Signal Plan Adjustments for Traffic Flow Optimization}, booktitle = {European Conference on Artificial Intelligence (ECAI)}, xseries = {Frontiers in Artificial Intelligence and Applications}, xvolume = {325}, pages = {3026--3033}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200478}, doi = {10.3233/FAIA200478}, } @article{Cuteri2019partialcompilation_iclp, author={Cuteri, Bernardo and Dodaro, Carmine and Ricca, Francesco and Schüller, Peter}, title={Partial Compilation of {ASP} Programs}, url={https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/partial-compilation-of-asp-programs/44873783CD94624DBF84191BFD36D386}, journal={Theory and Practice of Logic Programming}, doi={10.1017/S1471068419000231}, note={Presented at the International Conference on Logic Programming (ICLP)}, volume={19}, issue={5--6}, pages={857--873}, year={2019}, arXiv={https://arxiv.org/abs/1907.10469}, project = {AI4EU,selected}, } @inproceedings{Schueller2019hexlite, author={Schüller, Peter}, title={The Hexlite Solver}, booktitle={European Conference on Logics in Artificial Intelligence (JELIA)}, year={2019}, link={https://link.springer.com/chapter/10.1007%2F978-3-030-19570-0_39}, url={https://peterschueller.com/pub/2019/2019-schueller-hexlite.pdf}, pages={593--607}, doi={10.1007/978-3-030-19570-0_39}, project={AI4EU,DynaCon,selected}, } @inproceedings{MontaniS19Konvens, author = {Padilla Montani, Joaquin and Schüller, Peter}, title = {TUWienKBS19 at GermEval Task 2, 2019: Ensemble Learning for German Offensive Language Detection}, booktitle = {Proceedings of the 15th Conference on Natural Language Processing, {KONVENS} 2019, Erlangen, Germany, October 9-11, 2019}, year = {2019}, url = {https://corpora.linguistik.uni-erlangen.de/data/konvens/proceedings/papers/germeval/Germeval\_Task\_2\_2019\_paper\_12.TUWIENKSBS.pdf}, } @inproceedings{Saribatur2019abstractionzoominggrid_ijcai_xai, author={Eiter, Thomas and Saribatur, Zeynep G. and Schüller, Peter}, title={Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems}, booktitle={IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI)}, link={http://www.kr.tuwien.ac.at/staff/zeynep/pub/xai/ESS19.pdf}, arXiv={http://arxiv.org/abs/1909.04998}, eprint={1909.04998}, archivePrefix={arXiv}, year={2019}, } @inproceedings{Saribatur19abstraction_jelia, editor = {Francesco Calimeri and Nicola Leone and Marco Manna}, author={Saribatur, Zeynep G. and Schüller, Peter and Eiter, Thomas}, title = {Abstraction for Non-ground Answer Set Programs}, booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings}, xseries = {Lecture Notes in Computer Science}, volume = {11468 LNCS}, pages = {576--592}, publisher = {Springer}, year = {2019}, xurl = {https://doi.org/10.1007/978-3-030-19570-0\_38}, doi = {10.1007/978-3-030-19570-0\_38}, } @inproceedings{Taupe2019domainspecificheuristicsalpha_iclptc, author={Taupe, Richard and Schekotihin, Konstantin and Schüller, Peter and Weinzierl, Antonius and Friedrich, Gerhard}, title={Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP}, url={https://arxiv.org/abs/1909.08231}, booktitle={Proceedings of the International Conference on Logic Programming (ICLP), Technical Communications}, year={2019}, project = {DynaCon}, } @article{Gencay2019automobileconf, title={Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming}, journal={Journal of Intelligent Manufacturing}, author={Gençay, Eray and Schüller, Peter and Erdem, Esra}, publisher={Springer US}, year={2019}, volume={30}, number={3}, pages = {1407--1422}, project={114E777,h2020,selected}, doi={10.1007/s10845-017-1333-3}, link={https://dl.acm.org/doi/abs/10.1007/s10845-017-1333-3}, url={https://peterschueller.com/pub/2019/gencay_etal_2019_automobile_config.pdf} } @inproceedings{Saribatur2019nongroundabstraction, author={Saribatur, Zeynep G. and Schüller, Peter and Eiter, Thomas}, title={Abstraction for Non-Ground Answer Set Programs}, booktitle={European Conference on Logics in Artificial Intelligence (JELIA)}, link={https://link.springer.com/chapter/10.1007%2F978-3-030-19570-0_38}, pages={576--592}, doi={10.1007/978-3-030-19570-0_38}, year={2019}, project={selected}, } @inproceedings{Schueller2018hexlite-taasp, author={Schüller, Peter}, title={The Hexlite Solver}, url={https://peterschueller.com/pub/2018/2018-schueller-hexlite.pdf}, booktitle={Workshop on Trends and Applications of Answer Set Programming (TAASP)}, year={2018}, project={DynaCon}, } @inproceedings{Saribatur2018nongroundabstraction-taasp, author={Saribatur, Zeynep G. and Schüller, Peter and Eiter, Thomas}, title={Abstraction for Non-Ground Answer Set Programs}, url={https://peterschueller.com/pub/2018/2018-saribatur-nonground-abstraction.pdf}, booktitle={Workshop on Trends and Applications of Answer Set Programming (TAASP)}, year={2018}, } @inproceedings{Taupe2018domainspecificheuristicsalpha-taasp, author={Taupe, Richard and Schekotihin, Konstantin and Schüller, Peter and Weinzierl, Antonius and Friedrich, Gerhard}, title={Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP}, url={https://peterschueller.com/pub/2018/2018-taupe-domain-specific-heuristics-alpha.pdf}, booktitle={Workshop on Trends and Applications of Answer Set Programming (TAASP)}, year={2018}, } @inproceedings{Schuller2018germanabusive, title= {{TUWienKBS at GermEval 2018: German Abusive Tweet Detection}}, author = {Padilla Montani, Joaquin and Sch\"{u}ller, Peter}, booktitle={{Proceedings of GermEval 2018, 14th Conference on Natural Language Processing (KONVENS 2018)}}, year={2018}, link={https://www.oeaw.ac.at/fileadmin/subsites/academiaecorpora/PDF/GermEval2018_Proceedings.pdf}, pages={45-50}, url={https://peterschueller.com/pub/2018/2018-german-abusive-tweet-detection.pdf}, month={September}, note={Best result in coarse classification, second best result in fine-grained classification.}, material={https://github.com/jpadillamontani/germeval2018}, } @article{Schuller2018mljbesteffortilp, title= {{Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation}}, author = {Peter Sch\"{u}ller and Mishal Benz}, journal = {Machine Learning}, year={2018}, publisher={Springer}, project={114E777,selected}, arXiv = {http://arxiv.org/abs/1707.02729}, doi={10.1007/s10994-018-5708-2}, xlink={https://rdcu.be/OX3y}, volume={107}, issue={7}, pages={1141--1169}, month={June}, } @article{Schuller2018kuinaspling, title= {{Answer Set Programming in Linguistics}}, author = {Sch\"{u}ller, Peter}, journal = {KI - Künstliche Intelligenz}, year={2018}, publisher={Springer}, project={selected}, doi={10.1007/s13218-018-0542-z}, volume={32}, issue={2}, month={May}, pages={151--155}, xlink={https://rdcu.be/UFcO}, url={https://peterschueller.com/pub/2018/2018-schueller-asp-linguistics.pdf}, keywords={otherjournal}, } @article{Schuller2018kuinomsieveinspire, title= {{Answer Set Programming applied to Coreference Resolution and Semantic Similarity}}, author = {Sch\"{u}ller, Peter}, journal = {KI - Künstliche Intelligenz}, year={2018}, publisher={Springer}, doi={10.1007/s13218-018-0539-7}, xlink={https://rdcu.be/OEzE}, url={https://peterschueller.com/pub/2018/2018-schueller-omsieve-inspire-asp-projects.pdf}, project={114E430,114E777}, volume={32}, issue={2}, month={May}, pages={207--208}, keywords={otherjournal}, } @article{Schuller2018kuinhex, title= {{The DLVHEX System}}, author = {Eiter, Thomas and Germano, Stefano and Ianni, Giovambattista and Kaminski, Tobias and Redl, Christoph and Sch\"{u}ller, Peter and Weinzierl, Antonius}, journal = {KI - Künstliche Intelligenz}, year={2018}, publisher={Springer}, doi={10.1007/s13218-018-0535-y}, volume={32}, issue={2}, month={May}, link={https://rdcu.be/OnqF}, project={selected}, pages={187--189}, keywords={otherjournal}, } @article{Schuller2018jetaiadjudication, title= {{Adjudication of Coreference Annotations via Answer Set Optimization}}, author = {Peter Sch\"{u}ller}, journal = {Journal of Experimental \& Theoretical Artificial Intelligence}, year={2018}, publisher={Taylor \& Francis}, project={114E430,114E777,selected}, arXiv = {http://arxiv.org/abs/1802.00033}, doi={10.1080/0952813X.2018.1456793}, volume={30}, issue={4}, pages={525--546}, month={April}, } @proceedings{Niggemann2018improvevolume, editor = {Niggemann, Oliver and Peter Sch\"uller}, isbn = {9783662578056}, publisher = {Springer Vieweg, Berlin, Heidelberg}, title = {{IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency}}, year = {2018}, link = {https://www.springer.com/us/book/9783662578049}, doi = {10.1007/978-3-662-57805-6}, url = {https://link.springer.com/content/pdf/10.1007%2F978-3-662-57805-6.pdf}, project = {selected}, } @inproceedings{Fullen2018floodsimilarityvalidation, author = {Fullen, Marta and Sch{\"{u}}ller, Peter and Niggemann, Oliver}, booktitle = {IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency}, pages = {93--109}, title = {{Validation of similarity measures for industrial alarm flood analysis}}, year = {2018}, doi={10.1007/978-3-662-57805-6_6}, link={https://link.springer.com/chapter/10.1007/978-3-662-57805-6_6}, url={https://link.springer.com/content/pdf/10.1007%2F978-3-662-57805-6_6.pdf}, } @techreport{Schuller2018turkishcorefarxivV2, author = {Sch{\"{u}}ller, Peter and Cingilli, K{\"{u}}bra and Tun{\c{c}}er, Ferit and S{\"{u}}rmeli, Baris G{\"{u}}n and Pekel, Ayseg{\"{u}}l and Karatay, Ayse Hande and Karakas, Hacer Ezgi}, title = {Marmara Turkish Coreference Corpus and Coreference Resolution Baseline}, year = {2018}, institution = {Marmara University \& TU Wien}, note = {Version 2}, arxiv = {https://arxiv.org/abs/1706.01863}, project={114E430}, } @inproceedings{Fullen2017cbrfloodanalysis, title={{Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis}}, booktitle={{Machine Learning for Cyber Physical Systems and Industry 4.0}}, author={Fullen, Marta and Schüller, Peter and Niggemann, Oliver}, month={October}, year={2017}, xpages={781--786}, xdoi={10.1109/INDIN.2017.8104872}, xlink={http://ieeexplore.ieee.org/document/8104872/}, } @article{Cuteri2017tplpwasplazy, author = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca and Peter Sch{\"u}ller}, title = {{Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis}}, journal = {Theory and Practice of Logic Programming}, year = {2017}, arXiv = {http://arxiv.org/abs/1707.04027}, link = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/constraints-lazy-constraints-or-propagators-in-asp-solving-an-empirical-analysis/4ACBFA9C729F45DDC90942758BFFCACA}, doi = {10.1017/S1471068417000254}, project = {114E777,selected}, volume = {17}, issue = {5--6}, pages={780--799}, month={August}, note={Presented at ICLP 2017} } @inproceedings{Fullen2017floodcluster, title={{Defining and validating similarity measures for industrial alarm flood analysis}}, booktitle={{IEEE International Conference on Industrial Informatics (INDIN)}}, author={Fullen, Marta and Schüller, Peter and Niggemann, Oliver}, month={July}, year={2017}, pages={781--786}, doi={10.1109/INDIN.2017.8104872}, link={http://ieeexplore.ieee.org/document/8104872/}, } @inproceedings{Surmeli2017vommcluster, title={{Unsupervised Mode Detection in Cyber-Physical Systems using Variable Order Markov Models}}, booktitle={{IEEE International Conference on Industrial Informatics (INDIN)}}, author={Sürmeli, Barış Gün and Eksen, Feyza and Dinç, Bilal and Schüller, Peter and Tümer, Borahan}, month={July}, year={2017}, pages={841--846}, doi={10.1109/INDIN.2017.8104881}, link={http://ieeexplore.ieee.org/document/8104881/}, url={https://peterschueller.com/pub/2017/2017_surmeli_indin_mode_detection.pdf} } @inproceedings{Aslanci2017scd, title={{Detection of Regime Switching Points in Non-Stationary Sequences using Stochastic Learning based Weak Estimation Method}}, booktitle={{IEEE International Conference on Industrial Informatics (INDIN)}}, author={Aslancı, Ezdin and Coşkun, Kutalmış and Schüller, Peter and Tümer, Borahan}, month={July}, year={2017}, pages={787--792}, doi={10.1109/INDIN.2017.8104873}, link={http://ieeexplore.ieee.org/document/8104873/}, } @incollection{Eiter2017rwhex, author = {Eiter, Thomas and Kaminski, Tobias and Redl, Christoph and Sch{\"{u}}ller, Peter and Weinzierl, Antonius}, booktitle = {Reasoning Web International Summer School}, file = {:home/ps/{\_}science/mendeley/Eiter et al. - 2017 - Answer Set Programming with External Sources.pdf:pdf}, isbn = {978-3-939897-17-0}, keywords = {2012,4230,469,and phrases answer set,digital object identifier 10,external compu-,flp semantics,iclp,lipics,nonmonotonic reasoning,programming,tation}, pages = {204--275}, month={July}, title = {{Answer Set Programming with External Sources}}, doi = {10.1007/978-3-319-61033-7_7}, link = {https://link.springer.com/chapter/10.1007/978-3-319-61033-7_7}, volume = {10370 LNCS}, project={114E777}, year = {2017} } @inproceedings{Schuller2017adjudication, title={{Adjudication of Coreference Annotations via Answer Set Optimization}}, author={Peter Sch\"{u}ller}, booktitle = {Logic Programming and Nonmonotonic Reasoning (LPNMR)}, xbooktitle = {Proceedings of the 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013}, year={2017}, month={July}, series=lncs, volume={10377}, editor={Marcello Balduccini and Tomi Janhunen}, doi={10.1007/978-3-319-61660-5_31}, pages={343--357}, xurl={https://peterschueller.com/pub/2013/2013_flexible_ccg_parsing_using_cyk_and_asp.pdf}, project={114E430,114E777}, note={Best Application Paper} } @comment{Schuller2017casprjetai, title={Adjudication of Coreference Annotations via Answer Set Optimization}, xjournal={Journal of Experimental \& Theoretical Artificial Intelligence}, author={Peter Sch\"{u}ller}, year={2017}, month={June}, project={114E430}, url={https://peterschueller.com/pub/2017/2017_caspr_jetai_submission.pdf}, note={under review at Journal of Experimental \& Theoretical Artificial Intelligence (Taylor \& Francis)}, } @phdthesis{Kazmi2017thesis, title={{Learning Logic Rules from Text using Statistical Methods for Natural Lan guage Processing}}, author={Mishal Kazmi}, school={Sabanci University}, year={2017}, month={June}, url = {https://peterschueller.com/pub/2017/kazmi_2017_phdthesis_asp_nlp.pdf}, project={114E777,hide}, } @article{Kazmi2017ilpchunking, title={Improving Scalability of {Inductive Logic Programming} via Pruning and Best-Effort Optimisation}, author = {Kazmi, Mishal and Peter Sch\"uller and Sayg{\i}n, Y\"ucel}, journal = {Expert Systems With Applications}, volume = {87}, year={2017}, month={June}, pages = {291--303}, project={114E777,selected}, doi = {10.1016/j.eswa.2017.06.013}, arxiv = {https://arxiv.org/abs/1706.05171}, link = {http://www.sciencedirect.com/science/article/pii/S0957417417304311}, xnote = {Preprint available at arXiv:1706.05171}, } @mastersthesis{Alakraa2017aspsieve, title={{Coreference Resolution Sieve based on Answer Set Programming}}, author={Kenda Alakraa}, school={Marmara University}, year={2017}, month={March}, url = {https://peterschueller.com/pub/2017/alakraa_2017_mscthesis_asp_coreference.pdf}, project={114E430,hide}, } @misc{Schuller2017inspirenote, author = {Peter Sch\"{u}ller}, title = {{Inspire at Inductive Logic Programming Competition: Fine-grained Cost-based Hypothesis Generation}}, xurl={http://ilp16.doc.ic.ac.uk/assets/inspire-dbb2339667f56427931520619003105e87ce9d35aec03a0ab89199121dd9be7e.pdf}, url={http://tinyurl.com/n7l8f5x}, year={2017}, month={March}, project={114E777}, note = {Short technical note} } @article{Schuller2016aspfoa, author = {Peter Sch\"{u}ller}, title = {{Modeling Variations of First-Order Horn Abduction in Answer Set Programming}}, journal={Fundamenta Informaticae}, month = {December}, volume = {149}, number = {1--2}, pages = {159--207}, year = {2016}, pages={159--207}, arXiv = {http://arxiv.org/abs/1512.08899}, doi = {10.3233/FI-2016-1446}, project = {114E777,selected}, link = {http://content.iospress.com/articles/fundamenta-informaticae/fi1446}, note = {Available as arXiv:1512.08899 [cs.AI]}, } @inproceedings{Schuller2016adjudication, title={Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations}, author={Peter Sch\"uller}, booktitle = {International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)}, month={November}, year={2016}, pages={57--71}, publisher = {CEUR-WS.org}, volume = {1745}, editor = {Stefano Bistarelli and Andrea Formisano and Marco Maratea}, series = {CEUR Workshop Proceedings}, project={114E430}, url = {http://ceur-ws.org/Vol-1745/paper5.pdf}, } @inproceedings{Dodaro2016wasppropprelim, title={External Propagators in WASP: Preliminary Report }, author={Carmine Dodaro and Francesco Ricca and Peter Sch\"uller}, booktitle = {International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)}, month={November}, year={2016}, pages={1--9}, publisher = {CEUR-WS.org}, volume = {1745}, editor = {Stefano Bistarelli and Andrea Formisano and Marco Maratea}, series = {CEUR Workshop Proceedings}, project={114E777}, url = {http://ceur-ws.org/Vol-1745/paper1.pdf}, } @inproceedings{Schueller2016aspfoapropagator, author = {Peter Sch\"uller and Carmine Dodaro and Francesco Ricca}, title = {{ASP} for Abduction in Natural Language Understanding made more efficient using {External Propagators}}, booktitle = {Proceedings of the 8th International Workshop on Logic Programming with Constraints for Language Processing (CSLP)}, month = {October}, year = {2016}, project={114E777}, pages = {19--21}, url = {https://peterschueller.com/pub/2016/2016_cslp_asp_abduction_natural_language_efficient_propagator.pdf}, link = {http://control.ruc.dk/CSLP2016/CSLP2016Proceedings.pdf}, } @techreport{Avci2016tr, author = {Avci, Gokhan and Mehuljic, Mustafa and Peter Sch\"uller}, title = {Giving Hints for Logic Programming Examples without Revealing Solutions}, xinstitution = {Computer Engineering Department, Faculty of Engineering, Marmara University}, year = {2016}, month={July}, arXiv = {http://arxiv.org/abs/1607.07847}, note={arXiv:1607.07847 [cs.AI]} } @inproceedings{Kazmi2016inspiresystem, author = {Kazmi, Mishal and Peter Sch\"uller}, title = {{Inspire} at {SemEval} 2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on {Answer Set Programming}}, booktitle = {Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016)}, month = {June}, year = {2016}, xaddress = {San Diego, California}, project={114E777}, publisher = {Association for Computational Linguistics}, pages = {1109--1115}, url = {http://www.aclweb.org/anthology/S16-1171} } @inproceedings{Rabiger2016stemsystem, author = {R\"abiger, Stefan and Kazmi, Mishal and Sayg{\i}n, Y\"ucel and Peter Sch\"uller and Spiliopoulou, Myra}, title = {{SteM} at {SemEval-2016 Task 4A}: Applying {Active Learning} to Improve Sentiment Classification}, booktitle = {Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016)}, month = {June}, year = {2016}, xaddress = {San Diego, California}, project={114E777}, publisher = {Association for Computational Linguistics}, pages = {64--70}, url={http://anthology.aclweb.org/S/S16/S16-1007.pdf} } @inproceedings{Avci2016, author = {Avci, Gokhan and Mehuljic, Mustafa and Peter Sch\"uller}, xbooktitle = {Sinyal İşleme ve İletişim Uygulamaları Kurultayı (SİU)}, booktitle = {Signal Processing and Communication Application Conference (SIU) (Sinyal İşleme ve İletişim Uygulamaları Kurultayı)}, file = {:home/ps/{\_}science/mendeley/Avci, Mehuljic, Sch{\"{u}}ller - 2016 - {\c{C}}{\"{o}}z{\"{u}}m{\"{u}} A{\c{c}}ığa {\c{C}}ıkarmadan Mantiksal Programlama {\"{O}}rneklerine İpucu Verme.pdf:pdf}, isbn = {9781509016792}, keywords = {answer set programming,com-,logic programming,puter aided learning}, title = {{Giving Hints For Logic Programming Examples Without Revealing Solutions ({\c{C}}{\"{o}}z{\"{u}}m{\"{u}} A{\c{c}}ığa {\c{C}}ıkarmadan Mantiksal Programlama {\"{O}}rneklerine İpucu Verme)}}, year = {2016}, month={May}, doi={10.1109/SIU.2016.7495790}, publisher={IEEE}, pages={513--516}, link={http://dx.doi.org/10.1109/SIU.2016.7495790}, xurl={mailto:peter.schuller@marmara.edu.tr}, arXiv = {http://arxiv.org/abs/1607.07847}, note = {Paper in Turkish, extended English version available as arXiv:1607.07847}, } @misc{Surmeli2015annotationmanualv1, author = {S{\"{u}}rmeli, Barış G{\"{u}}n and Sch{\"{u}}ller, Peter}, institution = {Marmara University}, title = {Turkish Coreference Annotation Manual {(V1)}}, xnote = {\url{https://tinyurl.com/z7xow7v}~}, project={114E430}, url = {https://tinyurl.com/z7xow7v}, xurl={https://bitbucket.org/knowlp/turkish-coreference-annotation-guide/downloads/surmeli_schuller_2015_turkish_coreference_annotation_manual_v1.pdf}, month = {August}, year = {2015} } @misc{Surmeli2016annotationmanualv2, author = {S{\"{u}}rmeli, Barış G{\"{u}}n and Cıngıllı, K{\"{u}}bra and Tun{\c{c}}er, Ferit and Sch{\"{u}}ller, Peter}, title = {Turkish Coreference Annotation Manual {(V2)}}, xnote = {\url{https://tinyurl.com/jovfmua}~}, url = {https://tinyurl.com/jovfmua}, month = {December}, project={114E430}, year = {2016} } @article{Erdem2016loi, title={A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks}, author={Esra Erdem and Volkan Patoglu and Peter Sch\"uller}, journal = {AI Communications}, month={March}, year={2016}, volume={29}, number={2}, pages={319--349}, link={http://content.iospress.com/articles/ai-communications/aic697}, publisher={IOS Press}, project={114E430,selected,2216}, xurl={mailto:peter.schuller@marmara.edu.tr}, doi={10.3233/AIC-150697}, url={https://peterschueller.com/pub/2016/2016_aicom_levels_of_integration.pdf} } @incollection{Eiter2016hexfamily, author = {Thomas Eiter and Christoph Redl and Peter Sch\"{u}ller}, title = {{Problem Solving Using the HEX Family}}, xbooktitle={{Computational Models of Rationality}}, booktitle={{Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday}}, editor={Christoph Beierle and Gerhard Brewka and Matthias Thimm}, month = {January}, year = {2016}, pages = {150--174}, isbn = {978-1-84890-198-8}, link = {http://www.collegepublications.co.uk/tributes/?00029}, project = {114E430}, publisher = {College Publications}, series = {Tributes}, xurl={mailto:peter.schuller@marmara.edu.tr}, url={http://www.kr.tuwien.ac.at/staff/redl/publications/ers2016-festschrift.pdf} } @techreport{Schuller2015aspfoatechrep, author = {Peter Sch\"{u}ller}, title = {{Modeling Variations of First-Order Horn Abduction in Answer Set Programming}}, institution = {Computer Engineering Department, Faculty of Engineering, Marmara University}, month = {December}, xnumber = {}, year = {2015}, arXiv = {http://arxiv.org/abs/1512.08899}, project = {114E777}, note = {arXiv:1512.08899 [cs.AI]} } @techreport{Eiter2015hexfamilytechrep, author = {Thomas Eiter and Christoph Redl and Peter Sch\"{u}ller}, title = {{Problem Solving Using the HEX Family}}, institution = {Institut f{\"u}r Informationssysteme, TU Wien}, month = {December}, number = {INFSYS RR-1843-15-07}, year = {2015}, url = {http://www.kr.tuwien.ac.at/research/reports/rr1507.pdf}, project = {114E430}, address = {Favoritenstra{\ss}e 9-11, A-1040 Vienna}, } @techreport{Eiter2015hexmanual, author = {Thomas Eiter and Mehuljic, Mustafa and Redl, Christoph and Peter Sch{\"{u}}ller}, file = {:home/ps/{\_}science/mendeley/2015 - User Guide dlvhex 2.X.pdf:pdf}, institution = {TU Wien, Institut f{\"{u}}r Informationssysteme}, title = {{User Guide dlvhex 2.X}}, month={December}, url = {http://www.kr.tuwien.ac.at/research/reports/rr1505.pdf}, year = {2015} } @article{Eiter2016modelbuildinghex, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch{\"u}ller}, title = {{A Model Building Framework for Answer Set Programming with External Computations}}, xinstitution = {Institut f{\"u}r Informationssysteme, TU Wien}, journal = {Theory and Practice of Logic Programming}, year = {2016}, arXiv = {http://arxiv.org/abs/1507.01451}, link = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9910437&fileId=S1471068415000113}, doi = {10.1017/S1471068415000113}, project = {114E430,selected}, volume = {16}, issue = {04}, pages={418--464}, month={July}, note = {arXiv:1507.01451 [cs.AI]}, } @inproceedings{Schuller2015aspabduction, title={Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments}, author={Peter Sch\"uller}, booktitle = {International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)}, month={September}, year={2015}, pages={76--90}, publisher = {CEUR-WS.org}, volume = {1451}, editor = {Stefano Bistarelli and Andrea Formisano and Marco Maratea}, series = {CEUR Workshop Proceedings}, project={114E777}, url = {http://ceur-ws.org/Vol-1451/paper7.pdf}, } @inproceedings{Schuller2015wscsemweb, title={Using Semantic Web Resources for Solving Winograd Schemas: Sculptures, Shelves, Envy, and Success}, author={Peter Sch\"uller and Mishal Kazmi}, booktitle = {Posters\&Demos@SEMANTiCS 2015 and DSci15 Workshop}, xbooktitle = {Joint Proceedings of the Posters and Demos Track of 11th International Conference on Semantic Systems - SEMANTiCS2015 and 1st Workshop on Data Science: Methods, Technology and Applications (DSci15) co-located with the 11th International Conference on Semantic Systems - SEMANTiCS2015}, month={September}, year={2015}, pages={22--25}, publisher = {CEUR-WS.org}, volume = {1481}, editor = {Agata Filipowska and Ruben Verborgh and Axel Polleres}, series = {CEUR Workshop Proceedings}, project={114E777}, keywords={other}, url = {http://ceur-ws.org/Vol-1481/paper7.pdf}, } @inproceedings{Schueller2015asap, author = {Peter Sch{\"u}ller and Antonius Weinzierl}, title = {{Answer Set Application Programming: a Case Study on Tetris}}, booktitle = {International Conference on Logic Programming (ICLP), Technical Communications}, year = {2015}, publisher = {CEUR-WS.org}, volume = {1433}, month = {September}, editor = {Marina De Vos and Thomas Eiter and Yuliya Lierler and Francesca Toni}, series = {CEUR Workshop Proceedings}, url = {http://ceur-ws.org/Vol-1433/tc_17.pdf}, project = {114E430}, material = {https://bitbucket.org/peterschueller/asap-aspetris}, } @inproceedings{Kiesl2015structural, author = {Benjamin Kiesl and Hans Tompits and Peter Sch{\"u}ller}, title = {{On Structural Analysis of Non-Ground Answer-Set Programs}}, booktitle = {International Conference on Logic Programming (ICLP), Technical Communications}, year = {2015}, publisher = {CEUR-WS.org}, volume = {1433}, month = {September}, editor = {Marina De Vos and Thomas Eiter and Yuliya Lierler and Francesca Toni}, series = {CEUR Workshop Proceedings}, url = {http://ceur-ws.org/Vol-1433/tc_65.pdf}, project = {114E777}, } @proceedings{2015_nlpar_lnmr, title = {Joint Proceedings of the 2nd Workshop on Natural Language Processing and Automated Reasoning, and the 2nd International Workshop on Learning and Nonmonotonic Reasoning at LPNMR 2015}, year = {2015}, editor = {Marcello Balduccini and Alessandra Mileo and Ekaterina Ovchinnikova and Alessandra Russo and Peter Sch\"uller}, link = {https://sites.google.com/site/nlpar2015/}, url = {https://peterschueller.com/pub/2015/nlpar2015-proceedings.pdf}, month={September}, address={Lexington, KY}, } @techreport{Eiter2015modelbuildinghextechrep, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller}, title = {{A Model Building Framework for Answer Set Programming with External Computations}}, institution = {Institut f{\"u}r Informationssysteme, TU Wien}, month = {January}, number = {INFSYS RR-1843-15-01}, year = {2015}, url = {http://www.kr.tuwien.ac.at/research/reports/rr1501.pdf}, xaddress = {Favoritenstra{\ss}e 9-11, A-1040 Vienna}, } @article{2014_finding_explanations_of_inconsistency_in_nonmonotonic_multi_context_systems, author = {Thomas Eiter and Michael Fink and Peter Sch\"{u}ller and Antonius Weinzierl}, year={2014}, month={November}, title={{Finding Explanations of Inconsistency in Multi-Context Systems}}, journal={Artificial Intelligence}, volume={216}, pages={233--274}, xissn={1076-9757}, link={http://www.sciencedirect.com/science/article/pii/S0004370214000915}, doi={10.1016/j.artint.2014.07.008}, project={selected}, xurl={https://peterschueller.com/pub/2014/2014_finding_explanations_of_inconsistency_in_multi_context_systems.pdf}, url={http://www.kr.tuwien.ac.at/research/reports/rr1209.pdf}, } @inproceedings{2014_mostner_morphology_aware_split_tag_german_ner_with_factorie, title={{MoSTNER}: {M}orphology-aware split-tag {G}erman {NER} with {F}actorie}, author={Peter Sch\"{u}ller}, booktitle={KONVENS Workshop Proceedings (GermEval Shared Task on Named Entity Recognition)}, year={2014}, month={October}, pages={121--124}, note={Third place (out of 11) in the GermEval2014 competition}, url={https://hildok.bsz-bw.de/files/286/03_04.pdf}, link={https://hildok.bsz-bw.de/frontdoor/index/index/docId/286}, } @inproceedings{2014_winograd_schemas_relevance_knowledge_graphs, title={Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs}, author={Peter Sch\"{u}ller}, booktitle = {International Conference on the Principles of Knowledge Representation and Reasoning (KR)}, year={2014}, month={July}, pages={358--367}, publisher = {AAAI Press}, xlink={http://www.aaai.org/Press/Proceedings/kr14.php}, link={http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7958}, xurl={https://peterschueller.com/pub/2014/2014_tackling_winograd_schemas_by_formalizing_relevance_theory_in_knowledge_graphs.pdf}, project={selected}, url={https://peterschueller.com/pub/2014/2014_winograd_schemas_relevance_knowledge_graphs.pdf}, material={https://peterschueller.com/winograd/kr14/}, } @inproceedings{2014_a_systematic_analysis_of_levels_of_integration_between_low_level_reasoning_and_task_planning, title={A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks}, author={Esra Erdem and Volkan Patoglu and Peter Sch\"uller}, booktitle = {Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)}, month={July}, year={2014}, url={https://docs.google.com/a/studenti.uniroma1.it/file/d/0B8dEUbPKR1laTHQ3dWdOdlk1MFE/edit}, project={2216}, } @article{2014_efficient_hex_program_evaluation_based_on_unfounded_sets, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller}, year=2014, month={February}, title={{Efficient HEX-Program Evaluation Based on Unfounded Sets}}, journal={Journal of Artificial Intelligence Research}, volume={49}, pages={269--321}, issn={1076-9757}, doi={10.1613/jair.4175}, link={http://www.jair.org/papers/paper4175.html}, url={http://www.jair.org/media/4175/live-4175-7717-jair.pdf}, } @proceedings{2013_workshop_on_natural_language_processing_and_automated_reasoning, title = {Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR)}, year = 2013, editor = {Chitta Baral and Peter Sch\"uller}, number = 1044, series = {CEUR Workshop Proceedings}, address = {A Corunna, Spain}, issn = {1613-0073}, link = {http://ceur-ws.org/Vol-1044/}, url = {http://ceur-ws.org/Vol-1044/nlpar2013-complete.pdf}, venue = {A Corunna, Spain}, eventdate = {2013-09-15}, month={September}, note={urn:nbn:de:0074-1044-7}, } @inproceedings{2013_flexible_ccg_parsing_using_cyk_and_asp, title={Flexible {C}ombinatory {C}ategorial {G}rammar Parsing using the {CYK} Algorithm and {A}nswer {S}et {P}rogramming}, author={Peter Sch\"{u}ller}, booktitle = {Logic Programming and Nonmonotonic Reasoning (LPNMR)}, xbooktitle = {Proceedings of the 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013}, year={2013}, month={September}, series=lncs, volume={8148}, editor={Cabalar, Pedro and Son, Tran Cao}, project={selected}, doi={10.1007/978-3-642-40564-8_49}, pages={499--511}, url={https://peterschueller.com/pub/2013/2013_flexible_ccg_parsing_using_cyk_and_asp.pdf}, } @misc{2014alpaspccgtk, title={{AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation by Means of Declarative Programming}}, year={2014}, month={December}, author = {Yuliya Lierler and Peter Sch{\"u}ller}, link = {https://www.cs.nmsu.edu/ALP/2014/12/aspccgtk-towards-syntactic-parsing-with-semantic-disambiguation-by-means-of-declarative-programming/}, url = {http://www.cs.nmsu.edu/ALP/wp-content/uploads/2014/12/tkSynSemNutshell.pdf}, note = {ALP Issue 12/2014, Association for Logic Programming} } @inproceedings{2013_prolog_and_asp_inference_under_one_roof, title={Prolog and {ASP} Inference Under One Roof}, author={Marcello Balduccini and Yuliya Lierler and Peter Sch\"{u}ller}, xauthor={with Marcello Balduccini and Yuliya Lierler}, booktitle = {Logic Programming and Nonmonotonic Reasoning (LPNMR)}, year={2013}, month={September}, series=lncs, volume={8148}, editor={Cabalar, Pedro and Son, Tran Cao}, doi={10.1007/978-3-642-40564-8_15}, pages={148--160}, url={https://peterschueller.com/pub/2013/2013_prolog_and_asp_inference_under_one_roof.pdf}, } @inproceedings{2013_acthex_implementing_hex_programs_with_action_atoms, title={{ActHEX}: Implementing {HEX} Programs with Action Atoms}, author={Michael Fink and Stefano Germano and Giovambattista Ianni and Christoph Redl and Peter Sch\"{u}ller}, xauthor={with Michael Fink and Stefano Germano and Giovambattista Ianni and Christoph Redl}, booktitle = {Logic Programming and Nonmonotonic Reasoning (LPNMR)}, year={2013}, month={September}, series=lncs, volume={8148}, editor={Cabalar, Pedro and Son, Tran Cao}, pages={317--322}, url={https://peterschueller.com/pub/2013/2013_acthex_implementing_hex_programs_with_action_atoms.pdf}, doi={10.1007/978-3-642-40564-8_31}, } @article{2013_finding_optimal_plans_for_multiple_teams_of_robots_through_a_mediator_a_logic_based_approach, xauthor = {with Esra Erdem and Volkan Patoglu and Zeynep Gozen Saribatur and Tansel Uras}, author = {Esra Erdem and Volkan Patoglu and Zeynep Gozen Saribatur and Peter Sch{\"u}ller and Tansel Uras}, title = {Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach}, journal = {Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming}, xeditor = {Fangzhen Lin and Uli Sattler}, month = {August}, year = {2013}, volume = {13}, number = {4--5}, pages = {831--846}, url={https://peterschueller.com/pub/2013/2013_finding_optimal_plans_for_multiple_teams_of_robots_through_a_mediator_a_logic_based_approach.pdf}, doi={10.1017/S1471068413000525}, link={http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9011730}, project={2216,selected}, } @inproceedings{2013_the_impl_policy_language_for_managing_inconsistency_in_multi_context_systems, title = {The {IMPL} Policy Language for Managing Inconsistency in Multi-Context Systems}, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Peter Sch\"{u}ller}, booktitle={Applications of Declarative Programming and Knowledge Management (INAP) and Workshop on Logic Programming (WLP) 2011, Revised Selected Papers}, series={LNAI}, number={7773}, year = {2013}, month={October}, pages={3--26}, url = {https://peterschueller.com/pub/2013/2013_the_impl_policy_language_for_managing_inconsistency_in_multi_context_systems.pdf}, doi={10.1007/978-3-642-41524-1_1}, } @inproceedings{2013_levels_of_integration_between_low_level_reasoning_and_task_planning_krr, title={Levels of Integration between Low-Level Reasoning and Task Planning}, author={Esra Erdem and Volkan Patoglu and Peter Sch{\"u}ller}, booktitle = {Knowledge Representation and Reasoning in Robotics (KRR) Workshop at International Conference on Logic Programming (ICLP)}, year={2013}, month={August}, note={arXiv:1307.7461}, arXiv={http://arxiv.org/abs/1307.7461}, project={2216}, } @inproceedings{2013_a_general_formal_framework_for_pathfinding_problems_with_multiple_agents, title={A General Formal Framework for Pathfinding Problems with Multiple Agents}, author={Esra Erdem and Doga G. Kisa and Umut Oztok and Peter Sch\"uller}, booktitle = {AAAI Conference on Artificial Intelligence (AAAI)}, year={2013}, month={July}, url={https://peterschueller.com/pub/2013/2013_a_general_formal_framework_for_pathfinding_problems_with_multiple_agents.pdf}, link={http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6293}, pages={290-296}, project={2216}, } @inproceedings{2013_levels_of_integration_between_low_level_reasoning_and_task_planning_irs, title={Levels of Integration between Low-Level Reasoning and Task Planning}, author={Peter Sch\"uller and Volkan Patoglu and Esra Erdem}, booktitle = {AAAI Workshop on Intelligent Robotics Systems (IRS) at AAAI}, year={2013}, month={July}, url={https://peterschueller.com/pub/2013/2013_levels_of_integration_between_low-level_reasoning_and_task_planning.pdf}, link={http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7055}, project={2216}, } @inproceedings{2013_experimental_evaluation_of_multi_agent_pathfinding_problems_using_asp, title={Experimental Evaluation of Multi-Agent Pathfinding Problems using {A}nswer {S}et {P}rogramming}, author={Esra Erdem and Doga G. Kisa and Umut Oztok and Peter Sch\"uller}, xauthor={with Esra Erdem and Doga G. Kisa and Umut Oztok}, booktitle = {Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)}, year={2013}, month={June}, url={https://peterschueller.com/pub/2013/2013_experimental_evaluation_of_multi_agent_pathfinding_problems_using_asp.pdf}, project={2216}, } @inproceedings{2013_levels_of_integration_between_low_level_reasoning_and_task_planning_arw, title={Levels of Integration between Low-Level Reasoning and Task Planning}, author={Peter Sch\"uller and Volkan Patoglu and Esra Erdem}, booktitle = {Austrian Robotics Workshop (ARW)}, month={May}, year={2013}, url={https://peterschueller.com/pub/2013/2013_levels_of_integration_between_low_level_reasoning_and_task_planning.pdf}, project={2216}, } @inproceedings{2013_a_systematic_analysis_of_levels_of_integration_between_low_level_reasoning_and_task_planning, title={A Systematic Analysis of Levels of Integration between Low-Level Reasoning and Task Planning}, author={Peter Sch\"uller and Volkan Patoglu and Esra Erdem}, booktitle = {Workshop on Combining Task and Motion Planning (at IEEE International Conference on Robotics and Automation)}, month={May}, year={2013}, url={https://peterschueller.com/pub/2013/2013_a_systematic_analysis_of_levels_of_integration_between_low_level_reasoning_and_task_planning.pdf}, project={2216}, } @inproceedings{2013_siu, title={{Bilişsel Fabrikalarda Birden Fazla Robot Takımı için Eniyileştirilmiş Ayrıştırılabilir Plan Hesaplanması (Finding Optimal Decoupled Plans for Multiple Teams of Robots in Cognitive Factories)}}, author={Zeynep G. Sarıbatur and Peter Sch\"uller and Volkan Patoglu and Esra Erdem}, booktitle={21. Sinyal İşleme ve İletişim Uygulamaları Kurultayı (21st Signal Processing and Communications Applications Conference)}, month={April}, year={2013}, url={https://peterschueller.com/pub/2013/2013_siu.pdf}, pages={1681--1684}, publisher={IEEE}, project={2216}, } @inproceedings{2013_towards_a_tight_integration_of_syntactic_parsing_with_semantic_disambiguation_by_means_of_declarative_programming, title={Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming}, author={Yuliya Lierler and Peter Sch\"{u}ller}, booktitle={10th International Conference on Computational Semantics (IWCS)}, year={2013}, month={March}, url={https://peterschueller.com/pub/2013/2013_towards_a_tight_integration_of_syntactic_parsing_with_semantic_disambiguation_by_means_of_declarative_programming.pdf}, pages={383--389}, link={http://www.aclweb.org/anthology/W13-0213}, publisher = {Association for Computational Linguistics}, series = {ACL Anthology}, } @techreport{2012_finding_explanations_of_inconsistency_in_multi_context_systems, author = {Thomas Eiter and Michael Fink and Peter Sch\"{u}ller and Antonius Weinzierl}, title = {Finding Explanations of Inconsistency in Multi-Context Systems}, institution = {Institut f{\"u}r Informationssysteme, TU Wien}, month = {December}, number = {INFSYS RR-1843-12-09}, year = {2012}, url = {http://www.kr.tuwien.ac.at/research/reports/rr1209.pdf}, xaddress = {Favoritenstra{\ss}e 9-11, A-1040 Vienna}, } @phdthesis{2012_inconsistency_in_multi_context_systems_analysis_and_efficient_evaluation, title={Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation}, author={Peter Sch\"{u}ller}, school="Vienna University of Technology", year="2012", month={August}, url = {https://peterschueller.com/pub/2012/2012_inconsistency_in_multi_context_systems_analysis_and_efficient_evaluation.pdf}, } @techreport{efkrs2012-rr-1843-12-08, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller}, institution = {Institut f{\"u}r Informationssysteme, TU Wien}, xkeywords = {Answer Set Programming, Nonmonotonic Reasoning, Unfounded Sets, FLP Semantics}, month = {September}, number = {INFSYS RR-1843-12-08}, title = {Improving {HEX}-Program Evaluation based on Unfounded Sets}, xurl = {http://www.kr.tuwien.ac.at/research/reports/rr1208.pdf}, url={https://peterschueller.com/pub/2012/2012_improving_hex_program_evaluation_based_on_unfounded_sets.pdf}, year = {2012}, xaddress = {Favoritenstra{\ss}e 9-11, A-1040 Vienna}, } @inproceedings{2012_eliminating_unfounded_set_checking_for_hex_programs, title={Eliminating Unfounded Set Checking for {HEX}-Programs}, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch{\"u}ller}, xbooktitle = {Answer Set Programming and Other Computing Paradigms}, booktitle = {Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)}, conference = {https://sites.google.com/site/aspocp12/}, editor = {Michael Fink and Yuliya Lierler}, keywords = {Answer Set Programming, Nonmonotonic Reasoning, Unfounded Sets, FLP Semantics}, location = {Budapest, Hungary}, month = {September}, pages = {83--97}, projectref = {FWF-P20840, FWF-P20841, FWF-P24090, WWTF-ICT08-020}, url={https://peterschueller.com/pub/2012/2012_eliminating_unfounded_set_checking_for_hex_programs.pdf}, xurl = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/aspocp2012-elim.pdf}, year = {2012}, arXiv = {http://arxiv.org/abs/1301.2215}, } @inproceedings{2012_exploiting_unfounded_sets_for_hex_program_evaluation, title={Exploiting Unfounded Sets for {HEX}-Program Evaluation}, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch{\"u}ller}, booktitle = {13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France}, conference = {http://www.irit.fr/jelia2012/}, doi = {10.1007/978-3-642-33353-8_13}, editor = {Luis Fari{\~n}as del Cerro and Andreas Herzig and J{\'e}r{\^o}me Mengin}, isbn = {978-3-642-33352-1}, keywords = {Answer Set Programming, Nonmonotonic Reasoning, Unfounded Sets, FLP Semantics}, location = {Toulouse, France}, month = {September}, pages = {160--175}, projectref = {FWF-P20840, FWF-P20841, FWF-P24090}, publisher = {Springer}, series = {LNCS}, xurl = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/jelia2012-ufsflp.pdf}, url = {https://peterschueller.com/pub/2012/2012_exploiting_unfounded_sets_for_hex_program_evaluation.pdf}, volume = {7519}, year = {2012}, } @inproceedings{2012_parsing_combinatory_categorial_grammar_via_planning_in_answer_set_programming, url = {https://peterschueller.com/pub/2012/2012_parsing_combinatory_categorial_grammar_via_planning_in_answer_set_programming.pdf}, project = {WWTF-ICT08-020}, author = {Yuliya Lierler and Peter Sch{\"u}ller}, title = {Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming}, booktitle = {Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz}, editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce}, year = {2012}, pages = {436-453}, publisher = {Springer}, series=lncs, volume={7265}, month = {June}, doi={10.1007/978-3-642-30743-0_30}, xcrossref = {DBLP:conf/birthday/2012lifschitz}, xbibsource = {DBLP, http://dblp.uni-trier.de} } @techreport{2012_managing_inconsistency_in_multi-context_systems_using_the_impl_policy_language, title = {Managing Inconsistency in Multi-Context Systems using the {IMPL} Policy Language}, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Peter Sch\"{u}ller}, institution = {Vienna University of Technology, Institute for Information Systems}, number = {INFSYS RR-1843-12-05}, year = {2012}, month = {April}, url = {https://peterschueller.com/pub/2012/2012_managing_inconsistency_in_multi_context_systems_using_the_impl_policy_language.pdf}, } @inproceedings{2011_semantic_reasoning_with_sparql_in_heterogeneous_multi_context_systems, title = {Semantic Reasoning with {SPARQL} in Heterogeneous Multi-Context Systems}, author = {Peter Sch\"{u}ller and Antonius Weinzierl}, booktitle = {Advanced Information Systems Engineering Workshops (CAiSE)}, xbooktitle = {{CAiSE} Workshops}, xbooktitle = {SSW 2011}, xbooktitle = {1st International Workshop on Semantic Search (SSW)}, editor = {Camille Salinesi and Oscar Pastor}, publisher = {Springer}, series = lnbip, volume = {83}, isbn = {978-3-642-22055-5}, ee = {http://dx.doi.org/10.1007/978-3-642-22056-2_59}, xdoi = {10.1007/978-3-642-22056-2_59}, month = {June}, year = {2011}, pages = {575--585}, note = {(1st International Workshop on Semantic Search (SSW))}, project = {WWTF-ICT08-020}, url = {https://peterschueller.com/pub/2011/2011_semantic_reasoning_with_sparql_in_heterogeneous_multi_context_systems.pdf} } @inproceedings{2011_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems, title = {Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems}, author = {Thomas Eiter and Michael Fink and Peter Sch\"{u}ller}, booktitle = {International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR})}, xbooktitle = {LPNMR 2011}, editor = {James Delgrande and Wolfgang Faber}, month = {May}, project = {WWTF-ICT08-020}, xpublisher = {Springer}, series = lncs, volume = {6645}, url = {https://peterschueller.com/pub/2011/2011_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems.pdf}, year = {2011}, pages = {107--119} } @inproceedings{2010_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems, title = {Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems}, author = {Thomas Eiter and Michael Fink and Peter Sch\"{u}ller}, booktitle = {Thirty Years of Nonmonotonic Reasoning}, editor = {Gerhard Brewka and Viktor Marek and Mirek Truszczynski}, month = {October}, project = {WWTF-ICT08-020}, publisher = {College Publications}, xseries = lnai, url = {https://peterschueller.com/pub/2010/2010_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems.pdf}, year = {2010}, xpages = {356--359}, note = {15 pages} } @inproceedings{2010_finding_explanations_of_inconsistency_in_multi_context_systems, author = {Thomas Eiter and Michael Fink and Peter Sch\"{u}ller and Antonius Weinzierl}, title = {Finding Explanations of Inconsistency in Nonmonotonic Multi-Context Systems}, xbooktitle = {KR}, booktitle = {International Conference on the Principles of Knowledge Representation and Reasoning (KR)}, editor = {Fangzhen Lin and Uli Sattler}, month = {May}, year = {2010}, pages = {329--339}, publisher = {AAAI Press}, project = {WWTF-ICT08-020}, url = {https://peterschueller.com/pub/2010/2010_finding_explanations_of_inconsistency_in_multi_context_systems.pdf}, slides = {https://peterschueller.com/pub/2010/kr2010_talk.pdf} } @inproceedings{2009_towards_diagnosing_inconsistency_in_nonmonotonic_multi_context_systems, title = {Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems}, author = {Thomas Eiter and Michael Fink and Peter Sch\"{u}ller and Antonius Weinzierl}, publisher = {CEUR-WS.org}, year = {2009}, volume = {550}, month = {September}, xbooktitle = {Log-IC}, booktitle = {International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC)}, editor = {Alessandra Mileo and James P. Delgrande}, series = {CEUR Workshop Proceedings}, xurl = {http://ceur-ws.org/Vol-550/paper2.pdf}, url = {https://peterschueller.com/pub/2009/2009_towards_diagnosing_inconsistency_in_nonmonotonic_multi_context_systems.pdf}, note = {4~pages (no page numbers)} } @inproceedings{2011_pushing_efficient_evaluation_of_hex_programs_by_modular_decomposition, title = {Pushing Efficient Evaluation of {HEX} Programs by Modular Decomposition}, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Peter Sch\"{u}ller}, booktitle = {International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR})}, xbooktitle = {LPNMR 2011}, editor = {James Delgrande and Wolfgang Faber}, month = {May}, project = {WWTF-ICT08-020,FWF-P20841,FFG-myits}, xpublisher = {Springer}, series = lncs, volume = {6645}, url = {https://peterschueller.com/pub/2011/2011_pushing_efficient_evaluation_of_hex_programs_by_modular_decomposition.pdf}, link = {http://link.springer.com/chapter/10.1007/978-3-642-20895-9_10}, slides = {https://peterschueller.com/pub/2011/2011_pushing_efficient_evaluation_of_hex_programs_by_modular_decomposition.slides.pdf}, year = {2011}, pages = {93--106}, note = {Best Paper, also presented at IJCAI 2011}, xnote = {(selected for ``Best Papers Track'' of IJCAI 2011)}, xnote = {(selected for ``Best Papers Track'' of IJCAI 2011: \url{http://ijcai-11.iiia.csic.es/program/best\_paper\_track})} } @inproceedings{2010_the_mcs_ie_system_for_explaining_inconsistency_in_multi_context_systems, title = {The {MCS-IE} System for Explaining Inconsistency in Multi-Context Systems}, author = {Markus B\"{o}gl and Thomas Eiter and Michael Fink and Peter Sch\"{u}ller}, xbooktitle = {12th European Conference on Logics in Artificial Intelligence (JELIA 2010)}, booktitle = {European Conference on Logics in Artificial Intelligence (JELIA)}, xbooktitle = {JELIA}, editor = {Tomi Janhunen and Ilkka Niemel\"{a}}, xissn = {1613-0073}, month = {September}, project = {WWTF-ICT08-020}, publisher = {Springer}, series = lnai, volume = {6341}, url = {https://peterschueller.com/pub/2010/2010_the_mcs_ie_system_for_explaining_inconsistency_in_multi_context_systems.pdf}, link = {http://link.springer.com/chapter/10.1007/978-3-642-15675-5_31}, year = {2010}, pages = {356--359} } @inproceedings{2011_towards_a_policy_language_for_managing_inconsistency_in_multi_context_systems, title = {Towards a Policy Language for Managing Inconsistency in Multi-Context Systems}, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Peter Sch\"{u}ller}, booktitle = {International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC)}, xbooktitle = {Log-IC 2011}, editor = {Alessandra Mileo and Michael Fink}, month = {May}, url = {https://peterschueller.com/pub/2011/2011_towards_a_policy_language_for_managing_inconsistency_in_multi_context_systems.pdf}, slides = {https://peterschueller.com/pub/2011/2011_towards_a_policy_language_for_managing_inconsistency_in_multi_context_systems.slides.pdf}, year = {2011}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, volume = {738}, pages = {23--35}, project = {WWTF-ICT08-020} } @misc{2010_methods_and_algorithms_for_managing_inconsistency_in_multi_context_systems, author = {Peter Sch{\"u}ller}, title = {Methods and Algorithms for Managing Inconsistency in Multi-Context Systems}, xhowpublished = {International Conference on the Principles of Knowledge Representation and Reasoning - Doctoral Consortium}, xhowpublished = {{12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) - Doctoral Consortium Poster, Toronto, Canada, May 9-13, 2010}}, howpublished = {International Conference on the Principles of Knowledge Representation and Reasoning, Doctoral Consortium (KR-DC)}, year = {2010}, editor = {Fangzhen Lin and Uli Sattler}, month = {May}, project = {WWTF-ICT08-020}, poster = {https://peterschueller.com/pub/2010/kr_dc_poster.pdf}, note = {Poster} } @inproceedings{2010_towards_approximating_output_projected_equilibria_in_partially_known_multi_context_systems, author = {Peter Sch{\"u}ller and Thomas Eiter and Michael Fink}, title = {Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems}, xbooktitle = {Junior Scientist Conference}, booktitle = {Proceedings of the Junior Scientist Conference 2010}, editor = {Hans K. Kaiser and Raimund Kirner}, isbn = {978-3-200-01797-9}, year = {2010}, month = {April}, pages = {315--316}, organization = {Vienna University of Technology}, project = {WWTF-ICT08-020}, url = {https://peterschueller.com/pub/2010/2010_towards_approximating_output_projected_equilibria_in_partially_known_multi_context_systems.pdf}, poster = {http://www.kr.tuwien.ac.at/staff/ps/pub/2010/jsc_poster.pdf}, slides = {http://www.kr.tuwien.ac.at/staff/ps/pub/2010/jsc_slides.pdf} } @inproceedings{2011_parsing_combinatory_categorial_grammar_with_answer_set_programming_preliminary_report, author = {Yuliya Lierler and Peter Sch\"{u}ller}, title = {Parsing {C}ombinatory {C}ategorial {G}rammar with {A}nswer {S}et {P}rogramming: Preliminary Report}, xbooktitle = {Proceedings of the 25th Workshop on Logic Programming (WLP)}, booktitle = {Workshop on Logic Programming (WLP)}, note = {CoRR 1108.5567, 12~pages (no page numbers)}, year = {2011}, month = {September}, xurl = {http://arxiv.org/abs/1108.5567}, url = {https://peterschueller.com/pub/2011/2011_parsing_combinatory_categorial_grammar_with_answer_set_programming_preliminary_report.pdf}, slides = {http://www.kr.tuwien.ac.at/staff/ps/pub/2011/2011_parsing_combinatory_categorial_grammar_with_answer_set_programming_preliminary_report.slides.pdf}, project = {WWTF-ICT08-020} } @mastersthesis{2008_reconstructing_borders_of_manually_torn_paper_sheets_using_integer_linear_programming, title="Reconstructing Borders of Manually Torn Paper Sheets Using Integer Linear Programming", author="Peter Sch\"{u}ller", school="Vienna University of Technology", year="2008", month={October}, url = {https://peterschueller.com/pub/2008/2008_reconstructing_borders_of_manually_torn_paper_sheets_using_integer_linear_programming.pdf}, }