{"id":47,"date":"2018-10-14T07:35:30","date_gmt":"2018-10-14T07:35:30","guid":{"rendered":"http:\/\/peterschueller.com\/wp\/?page_id=47"},"modified":"2018-11-11T08:12:06","modified_gmt":"2018-11-11T08:12:06","slug":"science","status":"publish","type":"page","link":"https:\/\/peterschueller.com\/?page_id=47","title":{"rendered":"Science"},"content":{"rendered":"<h2><div class=\"pt-cv-wrapper\"><div class=\"pt-cv-view pt-cv-collapsible\" id=\"pt-cv-view-30f9d44509\"><div data-id=\"pt-cv-page-1\" class=\"pt-cv-page\" data-cvc=\"1\"><div class=\"panel-group\" id=\"5c35da5ola\"><div class=\"panel panel-default pt-cv-content-item pt-cv-1-col\" >\r\n<div class=\"panel-heading pt-cv-title\">\r\n    <a class=\"panel-title\" data-toggle=\"cvcollapse\" data-parent=\"#5c35da5ola\" data-target=\"#46be003fj4\" href='https:\/\/peterschueller.com\/?page_id=278' onclick='event.preventDefault()'>\r\n\t\tPublication Lists and Bibliometric Resources\t<\/a>\r\n\t<\/div>\r\n<div id=\"46be003fj4\" class=\"panel-collapse collapse in\">\r\n\t<div class=\"panel-body\">\r\n\t\t<a href=\"https:\/\/peterschueller.com\/?page_id=278\" class=\"_self pt-cv-href-thumbnail pt-cv-thumb-default\" target=\"_self\" ><\/a>\n<div class=\"pt-cv-content\"><ul>\n<li><a href=\"http:\/\/scholar.google.com\/citations?user=LDuTTbcAAAAJ\">Google Scholar Profile<\/a><\/li>\n<li><a href=\"http:\/\/www.scopus.com\/authid\/detail.uri?authorId=36609129700&amp;eid=2-s2.0-84944197024\">Scopus Profile<\/a><\/li>\n<li><a href=\"http:\/\/www.researcherid.com\/rid\/C-3531-2016\">ResearcherId<\/a><\/li>\n<li><a href=\"http:\/\/www.informatik.uni-trier.de\/~ley\/pers\/hd\/s\/Sch=uuml=ller:Peter.html\">dblp computer science bibliography<\/a><\/li>\n<li><a href=\"http:\/\/publik.tuwien.ac.at\/publist.php?lang=2&amp;pers=140687&amp;dousealiases=1&amp;func=1&amp;sort=3&amp;inv=1&amp;nohead=0\">Technische Universit\u00e4t Wien publication database<\/a><\/li>\n<\/ul>\n<\/div>\t<\/div>\r\n<\/div><\/div><\/div><\/div><\/div><\/div><\/h2>\n<h2><div class=\"pt-cv-wrapper\"><div class=\"pt-cv-view pt-cv-collapsible\" id=\"pt-cv-view-aaaa5deht6\"><div data-id=\"pt-cv-page-1\" class=\"pt-cv-page\" data-cvc=\"1\"><div class=\"panel-group\" id=\"5c8be9e9p6\"><div class=\"panel panel-default pt-cv-content-item pt-cv-1-col\" >\r\n<div class=\"panel-heading pt-cv-title\">\r\n    <a class=\"panel-title\" data-toggle=\"cvcollapse\" data-parent=\"#5c8be9e9p6\" data-target=\"#15a39cebfq\" href='https:\/\/peterschueller.com\/?page_id=316' onclick='event.preventDefault()'>\r\n\t\tSelected Publications\t<\/a>\r\n\t<\/div>\r\n<div id=\"15a39cebfq\" class=\"panel-collapse collapse in\">\r\n\t<div class=\"panel-body\">\r\n\t\t<a href=\"https:\/\/peterschueller.com\/?page_id=316\" class=\"_self pt-cv-href-thumbnail pt-cv-thumb-default\" target=\"_self\" ><\/a>\n<div class=\"pt-cv-content\">\n<p><span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;&nbsp;Journal Article&nbsp;&nbsp;<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;&nbsp;Conference Paper&nbsp;&nbsp;<span class=\"iconeditor\" title=\"Editorship\">E<\/span>&nbsp;&nbsp;Editorship&nbsp;&nbsp;<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;&nbsp;Other&nbsp;&nbsp;<\/p>\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2021saribaturES\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep Gozen Saribatur and\nThomas Eiter and\nPeter Sch\u00fcller<\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for non-ground answer set programs<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Artificial Intelligence<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">300<\/span><\/span>, pages 103563, <time datetime=\"2021\" itemprop=\"datePublished\">2021<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1016\/j.artint.2021.103563\">10.1016\/j.artint.2021.103563<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/doi.org\/10.1016\/j.artint.2021.103563\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2020hexowlapi\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">New Foundations for Human-Centered AI, Workshop at ECAI<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">2659<\/span><\/span>, pages <span itemprop=\"pageStart\">25<\/span>-<span itemprop=\"pageEnd\">31<\/span>, <time datetime=\"2020\" itemprop=\"datePublished\">2020<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-2659\/\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-2659\/schueller.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Cuteri2019partialcompilation_iclp\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bernardo Cuteri<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Partial Compilation of ASP Programs<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">19<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">5-6<\/span><\/span>), pages <span itemprop=\"pageStart\">857<\/span>-<span itemprop=\"pageEnd\">873<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, Presented at the International Conference on Logic Programming (ICLP), DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068419000231\">10.1017\/S1471068419000231<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/arxiv.org\/abs\/1907.10469\">arXiv<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/www.cambridge.org\/core\/journals\/theory-and-practice-of-logic-programming\/article\/partial-compilation-of-asp-programs\/44873783CD94624DBF84191BFD36D386\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2019hexlite\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">The Hexlite Solver<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">European Conference on Logics in Artificial Intelligence (JELIA)<\/em><\/span>, pages <span itemprop=\"pageStart\">593<\/span>-<span itemprop=\"pageEnd\">607<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-030-19570-0_39\">10.1007\/978-3-030-19570-0_39<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-030-19570-0_39\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2019\/2019-schueller-hexlite.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Gencay2019automobileconf\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Eray Gen\u00e7ay<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>. \n<b><span itemprop=\"name\">Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Journal of Intelligent Manufacturing<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">30<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">3<\/span><\/span>), pages <span itemprop=\"pageStart\">1407<\/span>-<span itemprop=\"pageEnd\">1422<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s10845-017-1333-3\">10.1007\/s10845-017-1333-3<\/a>. \n[&nbsp;<a itemprop=\"sameAs\" href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1007\/s10845-017-1333-3\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2019\/gencay_etal_2019_automobile_config.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Saribatur2019nongroundabstraction\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep G. Saribatur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for Non-Ground Answer Set Programs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">European Conference on Logics in Artificial Intelligence (JELIA)<\/em><\/span>, pages <span itemprop=\"pageStart\">576<\/span>-<span itemprop=\"pageEnd\">592<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-030-19570-0_38\">10.1007\/978-3-030-19570-0_38<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-030-19570-0_38\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Niggemann2018improvevolume\"><\/a>\n<span class=\"iconeditor\" title=\"Editorship\">E<\/span>&nbsp;<span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Oliver Niggemann<\/span><\/span> and <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, editors. \n<b><span itemprop=\"name\">IMPROVE \u2013 Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency<\/span><\/b>. \n<time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-662-57805-6\">10.1007\/978-3-662-57805-6<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/www.springer.com\/us\/book\/9783662578049\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/content\/pdf\/10.1007%2F978-3-662-57805-6.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018mljbesteffortilp\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Benz<\/span><\/span>. \n<b><span itemprop=\"name\">Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Machine Learning<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">107<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">7<\/span><\/span>), pages <span itemprop=\"pageStart\">1141<\/span>-<span itemprop=\"pageEnd\">1169<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s10994-018-5708-2\">10.1007\/s10994-018-5708-2<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1707.02729\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018kuinaspling\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Answer Set Programming in Linguistics<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">KI - K\u00fcnstliche Intelligenz<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">32<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">151<\/span>-<span itemprop=\"pageEnd\">155<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s13218-018-0542-z\">10.1007\/s13218-018-0542-z<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-schueller-asp-linguistics.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018kuinhex\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Stefano Germano<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Tobias Kaminski<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">The DLVHEX System<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">KI - K\u00fcnstliche Intelligenz<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">32<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">187<\/span>-<span itemprop=\"pageEnd\">189<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s13218-018-0535-y\">10.1007\/s13218-018-0535-y<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/rdcu.be\/OnqF\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018jetaiadjudication\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Adjudication of Coreference Annotations via Answer Set Optimization<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Journal of Experimental &amp; Theoretical Artificial Intelligence<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">30<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">4<\/span><\/span>), pages <span itemprop=\"pageStart\">525<\/span>-<span itemprop=\"pageEnd\">546<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1080\/0952813X.2018.1456793\">10.1080\/0952813X.2018.1456793<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1802.00033\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Cuteri2017tplpwasplazy\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bernardo Cuteri<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">17<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">5-6<\/span><\/span>), pages <span itemprop=\"pageStart\">780<\/span>-<span itemprop=\"pageEnd\">799<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, Presented at ICLP 2017, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068417000254\">10.1017\/S1471068417000254<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"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\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1707.04027\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Kazmi2017ilpchunking\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Kazmi<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Y\u00fccel Sayg\u0131n<\/span><\/span>. \n<b><span itemprop=\"name\">Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Expert Systems With Applications<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">87<\/span><\/span>, pages <span itemprop=\"pageStart\">291<\/span>-<span itemprop=\"pageEnd\">303<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1016\/j.eswa.2017.06.013\">10.1016\/j.eswa.2017.06.013<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0957417417304311\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/arxiv.org\/abs\/1706.05171\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2016aspfoa\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Modeling Variations of First-Order Horn Abduction in Answer Set Programming<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Fundamenta Informaticae<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">149<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">1-2<\/span><\/span>), pages <span itemprop=\"pageStart\">159<\/span>-<span itemprop=\"pageEnd\">207<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, Available as arXiv:1512.08899 [cs.AI], DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.3233\/FI-2016-1446\">10.3233\/FI-2016-1446<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi1446\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1512.08899\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2016modelbuildinghex\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A Model Building Framework for Answer Set Programming with External Computations<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">16<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">04<\/span><\/span>), pages <span itemprop=\"pageStart\">418<\/span>-<span itemprop=\"pageEnd\">464<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, arXiv:1507.01451 [cs.AI], DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068415000113\">10.1017\/S1471068415000113<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/journals.cambridge.org\/action\/displayAbstract?fromPage=online&aid=9910437&fileId=S1471068415000113\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1507.01451\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Erdem2016loi\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">AI Communications<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">29<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">319<\/span>-<span itemprop=\"pageEnd\">349<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.3233\/AIC-150697\">10.3233\/AIC-150697<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/content.iospress.com\/articles\/ai-communications\/aic697\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2016\/2016_aicom_levels_of_integration.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_finding_explanations_of_inconsistency_in_nonmonotonic_multi_context_systems\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Finding Explanations of Inconsistency in Multi-Context Systems<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Artificial Intelligence<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">216<\/span><\/span>, pages <span itemprop=\"pageStart\">233<\/span>-<span itemprop=\"pageEnd\">274<\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1016\/j.artint.2014.07.008\">10.1016\/j.artint.2014.07.008<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370214000915\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1209.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_winograd_schemas_relevance_knowledge_graphs\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on the Principles of Knowledge Representation and Reasoning (KR)<\/em><\/span>, pages <span itemprop=\"pageStart\">358<\/span>-<span itemprop=\"pageEnd\">367<\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7958\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2014\/2014_winograd_schemas_relevance_knowledge_graphs.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/winograd\/kr14\/\">supporting material<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_flexible_ccg_parsing_using_cyk_and_asp\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">8148<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">499<\/span>-<span itemprop=\"pageEnd\">511<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-40564-8_49\">10.1007\/978-3-642-40564-8_49<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_flexible_ccg_parsing_using_cyk_and_asp.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_finding_optimal_plans_for_multiple_teams_of_robots_through_a_mediator_a_logic_based_approach\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep Gozen Saribatur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Tansel Uras<\/span><\/span>. \n<b><span itemprop=\"name\">Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">13<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">4-5<\/span><\/span>), pages <span itemprop=\"pageStart\">831<\/span>-<span itemprop=\"pageEnd\">846<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068413000525\">10.1017\/S1471068413000525<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/journals.cambridge.org\/action\/displayAbstract?fromPage=online&aid=9011730\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_finding_optimal_plans_for_multiple_teams_of_robots_through_a_mediator_a_logic_based_approach.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<\/div>\t<\/div>\r\n<\/div><\/div><\/div><\/div><\/div><\/div><\/h2>\n<h2><div class=\"pt-cv-wrapper\"><div class=\"pt-cv-view pt-cv-collapsible\" id=\"pt-cv-view-3b8e437at4\"><div data-id=\"pt-cv-page-1\" class=\"pt-cv-page\" data-cvc=\"1\"><div class=\"panel-group\" id=\"4037767k5z\"><div class=\"panel panel-default pt-cv-content-item pt-cv-1-col\" >\r\n<div class=\"panel-heading pt-cv-title\">\r\n    <a class=\"panel-title\" data-toggle=\"cvcollapse\" data-parent=\"#4037767k5z\" data-target=\"#48d21cfxw1\" href='https:\/\/peterschueller.com\/?page_id=272' onclick='event.preventDefault()'>\r\n\t\tResearch Projects\t<\/a>\r\n\t<\/div>\r\n<div id=\"48d21cfxw1\" class=\"panel-collapse collapse in\">\r\n\t<div class=\"panel-body\">\r\n\t\t<a href=\"https:\/\/peterschueller.com\/?page_id=272\" class=\"_self pt-cv-href-thumbnail pt-cv-thumb-default\" target=\"_self\" ><\/a>\n<div class=\"pt-cv-content\"><p>In Projects with a <strong>boldface role<\/strong>, I had a role in the acquisition of the funding.<\/p>\n\n<table id=\"tablepress-1\" class=\"tablepress tablepress-id-1\">\n<thead>\n<tr class=\"row-1\">\n\t<th class=\"column-1\">Status<\/th><th class=\"column-2\">Time Period<\/th><th class=\"column-3\">Role<\/th><th class=\"column-4\">Project Title<\/th><th class=\"column-5\">Funding<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-striping row-hover\">\n<tr class=\"row-2\">\n\t<td class=\"column-1\">Ongoing<\/td><td class=\"column-2\">January 2019 to December 2021<\/td><td class=\"column-3\"><b>Postdoctoral Researcher<\/b><\/td><td class=\"column-4\"><a href=\"https:\/\/peterschueller.com\/?p=587\">AI4EU - A European AI On Demand Platform and Ecosystem<\/a><\/td><td class=\"column-5\">H2020 RIA 825619<\/td>\n<\/tr>\n<tr class=\"row-3\">\n\t<td class=\"column-1\">Ongoing<\/td><td class=\"column-2\">November 2017 to December 2018<\/td><td class=\"column-3\">Postdoctoral Researcher<\/td><td class=\"column-4\"><a href=\"http:\/\/ainf.aau.at\/dynacon\">DynaCon: Dynamic knowledge-based (re)configuration of CPS<\/a><\/td><td class=\"column-5\">FFG 861263<\/td>\n<\/tr>\n<tr class=\"row-4\">\n\t<td class=\"column-1\">Concluded<\/td><td class=\"column-2\">October 2017 to November 2018<\/td><td class=\"column-3\">Postdoctoral Researcher<\/td><td class=\"column-4\"><a href=\" http:\/\/www.kr.tuwien.ac.at\/research\/projects\/inthex\/\">IntHEX: Integrated Evaluation of Answer Set Programs and Extensions<\/a><\/td><td class=\"column-5\">FWF P27730<\/td>\n<\/tr>\n<tr class=\"row-5\">\n\t<td class=\"column-1\">Concluded<\/td><td class=\"column-2\">September 2015 to August 2018<\/td><td class=\"column-3\"><b>Assistant Professor<\/b><\/td><td class=\"column-4\"><a href=\"http:\/\/improve-vfof.eu\/\">Improve: Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency<\/a><\/td><td class=\"column-5\">H2020 678867<\/td>\n<\/tr>\n<tr class=\"row-6\">\n\t<td class=\"column-1\">Concluded<\/td><td class=\"column-2\">April 2015<br \/>\nto September 2017<\/td><td class=\"column-3\"><b>Principal Investigator<\/b><\/td><td class=\"column-4\"><a href=\"https:\/\/peterschueller.com\/wp\/?p=103\">Inspire: Interpreting Natural Language using Answer Set Programming, Inconsistency Management, and Relevance Theory<\/a><\/td><td class=\"column-5\">T\u00dcB\u0130TAK 114E777<\/td>\n<\/tr>\n<tr class=\"row-7\">\n\t<td class=\"column-1\">Concluded<\/td><td class=\"column-2\">January 2015<br \/>\nto December 2016<\/td><td class=\"column-3\"><b>Principal Investigator<\/b><\/td><td class=\"column-4\"><a href=\"https:\/\/peterschueller.com\/wp\/?p=105\">OmSieve: Open-Minded Coreference Resolution Sieve Based on Answer Set Programming<\/a><\/td><td class=\"column-5\">T\u00dcB\u0130TAK 114E430<\/td>\n<\/tr>\n<tr class=\"row-8\">\n\t<td class=\"column-1\">Concluded<\/td><td class=\"column-2\">September 2012<br \/>\nto August 2013\t<\/td><td class=\"column-3\"><b>Fellow<\/b><\/td><td class=\"column-4\"><a href=\"asp_cognitive_robotics.html\">Applications of Answer Set Programming in Cognitive Robotics<\/a><\/td><td class=\"column-5\">TUBITAK (2216)<\/td>\n<\/tr>\n<tr class=\"row-9\">\n\t<td class=\"column-1\">Concluded<\/td><td class=\"column-2\">April 2009<br \/>\nto August 2012<\/td><td class=\"column-3\">PhD Candidate<\/td><td class=\"column-4\"><a href=\"http:\/\/www.kr.tuwien.ac.at\/research\/projects\/incman\/\">IncMan: Inconsistency Management for Knowledge-Integration Systems<\/a><\/td><td class=\"column-5\">WWTF ICT08-020<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-1 from cache -->\n<p>&nbsp;<\/p>\n<\/div>\t<\/div>\r\n<\/div><\/div><\/div><\/div><\/div><\/div><\/h2>\n<h2><div class=\"pt-cv-wrapper\"><div class=\"pt-cv-view pt-cv-collapsible\" id=\"pt-cv-view-782bf3d0y5\"><div data-id=\"pt-cv-page-1\" class=\"pt-cv-page\" data-cvc=\"1\"><div class=\"panel-group\" id=\"715d153qcl\"><div class=\"panel panel-default pt-cv-content-item pt-cv-1-col\" >\r\n<div class=\"panel-heading pt-cv-title\">\r\n    <a class=\"panel-title\" data-toggle=\"cvcollapse\" data-parent=\"#715d153qcl\" data-target=\"#503f70f6g8\" href='https:\/\/peterschueller.com\/?page_id=259' onclick='event.preventDefault()'>\r\n\t\tComplete Publication List\t<\/a>\r\n\t<\/div>\r\n<div id=\"503f70f6g8\" class=\"panel-collapse collapse \">\r\n\t<div class=\"panel-body\">\r\n\t\t<a href=\"https:\/\/peterschueller.com\/?page_id=259\" class=\"_self pt-cv-href-thumbnail pt-cv-thumb-default\" target=\"_self\" ><\/a>\n<div class=\"pt-cv-content\">\n<p><span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;&nbsp;Journal Article&nbsp;&nbsp;<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;&nbsp;Conference Paper&nbsp;&nbsp;<span class=\"iconeditor\" title=\"Editorship\">E<\/span>&nbsp;&nbsp;Editorship&nbsp;&nbsp;<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;&nbsp;Other&nbsp;&nbsp;<\/p>\n\n\n<h2>Publications 2021:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2021saribaturES\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep Gozen Saribatur and\nThomas Eiter and\nPeter Sch\u00fcller<\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for non-ground answer set programs<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Artificial Intelligence<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">300<\/span><\/span>, pages 103563, <time datetime=\"2021\" itemprop=\"datePublished\">2021<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1016\/j.artint.2021.103563\">10.1016\/j.artint.2021.103563<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/doi.org\/10.1016\/j.artint.2021.103563\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2021MansouriPS\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Masoumeh Mansouri and\nFederico Pecora and\nPeter Sch\u00fcller<\/span><\/span>. \n<b><span itemprop=\"name\">Combining Task and Motion Planning: Challenges and Guidelines<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Frontiers in Robotics and AI<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">8<\/span><\/span>, pages 637888, <time datetime=\"2021\" itemprop=\"datePublished\">2021<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.3389\/frobt.2021.637888\">10.3389\/frobt.2021.637888<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/doi.org\/10.3389\/frobt.2021.637888\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2020:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2020hexowlapi\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">New Foundations for Human-Centered AI, Workshop at ECAI<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">2659<\/span><\/span>, pages <span itemprop=\"pageStart\">25<\/span>-<span itemprop=\"pageEnd\">31<\/span>, <time datetime=\"2020\" itemprop=\"datePublished\">2020<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-2659\/\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-2659\/schueller.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"CuteriDRS20\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bernardo Cuteri<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving:\nConstraints Become Propagators<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Joint Conference on Artificial Intelligence (IJCAI)<\/em><\/span>, pages <span itemprop=\"pageStart\">1688<\/span>-<span itemprop=\"pageEnd\">1694<\/span>, <time datetime=\"2020\" itemprop=\"datePublished\">2020<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.24963\/ijcai.2020\/234\">10.24963\/ijcai.2020\/234<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/doi.org\/10.24963\/ijcai.2020\/234\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2020EiterFSS\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter and\nAndreas A. Falkner and\nPatrik Schneider and\nPeter Sch\u00fcller<\/span><\/span>. \n<b><span itemprop=\"name\">ASP-Based Signal Plan Adjustments for Traffic Flow Optimization<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">European Conference on Artificial Intelligence (ECAI)<\/em><\/span>, pages <span itemprop=\"pageStart\">3026<\/span>-<span itemprop=\"pageEnd\">3033<\/span>, <time datetime=\"2020\" itemprop=\"datePublished\">2020<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.3233\/FAIA200478\">10.3233\/FAIA200478<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/doi.org\/10.3233\/FAIA200478\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2019:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Cuteri2019partialcompilation_iclp\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bernardo Cuteri<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Partial Compilation of ASP Programs<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">19<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">5-6<\/span><\/span>), pages <span itemprop=\"pageStart\">857<\/span>-<span itemprop=\"pageEnd\">873<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, Presented at the International Conference on Logic Programming (ICLP), DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068419000231\">10.1017\/S1471068419000231<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/arxiv.org\/abs\/1907.10469\">arXiv<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/www.cambridge.org\/core\/journals\/theory-and-practice-of-logic-programming\/article\/partial-compilation-of-asp-programs\/44873783CD94624DBF84191BFD36D386\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2019hexlite\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">The Hexlite Solver<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">European Conference on Logics in Artificial Intelligence (JELIA)<\/em><\/span>, pages <span itemprop=\"pageStart\">593<\/span>-<span itemprop=\"pageEnd\">607<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-030-19570-0_39\">10.1007\/978-3-030-19570-0_39<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-030-19570-0_39\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2019\/2019-schueller-hexlite.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"MontaniS19Konvens\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Joaquin Padilla Montani<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">TUWienKBS19 at GermEval Task 2, 2019: Ensemble Learning for German\nOffensive Language Detection<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of the 15th Conference on Natural Language Processing,\nKONVENS 2019, Erlangen, Germany, October 9-11, 2019<\/em><\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/corpora.linguistik.uni-erlangen.de\/data\/konvens\/proceedings\/papers\/germeval\/Germeval\\_Task\\_2\\_2019\\_paper\\_12.TUWIENKSBS.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Saribatur2019abstractionzoominggrid_ijcai_xai\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep G. Saribatur<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI)<\/em><\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/staff\/zeynep\/pub\/xai\/ESS19.pdf\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1909.04998\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Saribatur19abstraction_jelia\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep G. Saribatur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for Non-ground Answer Set Programs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Logics in Artificial Intelligence - 16th European Conference, JELIA\n2019, Rende, Italy, May 7-11, 2019, Proceedings<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">11468 LNCS<\/span><\/span>, pages <span itemprop=\"pageStart\">576<\/span>-<span itemprop=\"pageEnd\">592<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-030-19570-0\\_38\">10.1007\/978-3-030-19570-0\\_38<\/a>.\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Taupe2019domainspecificheuristicsalpha_iclptc\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Richard Taupe<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Konstantin Schekotihin<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Gerhard Friedrich<\/span><\/span>. \n<b><span itemprop=\"name\">Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of the International Conference on Logic Programming (ICLP), Technical Communications<\/em><\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/arxiv.org\/abs\/1909.08231\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Gencay2019automobileconf\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Eray Gen\u00e7ay<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>. \n<b><span itemprop=\"name\">Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Journal of Intelligent Manufacturing<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">30<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">3<\/span><\/span>), pages <span itemprop=\"pageStart\">1407<\/span>-<span itemprop=\"pageEnd\">1422<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s10845-017-1333-3\">10.1007\/s10845-017-1333-3<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1007\/s10845-017-1333-3\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2019\/gencay_etal_2019_automobile_config.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Saribatur2019nongroundabstraction\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep G. Saribatur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for Non-Ground Answer Set Programs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">European Conference on Logics in Artificial Intelligence (JELIA)<\/em><\/span>, pages <span itemprop=\"pageStart\">576<\/span>-<span itemprop=\"pageEnd\">592<\/span>, <time datetime=\"2019\" itemprop=\"datePublished\">2019<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-030-19570-0_38\">10.1007\/978-3-030-19570-0_38<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-030-19570-0_38\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2018:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2018hexlite-taasp\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">The Hexlite Solver<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Trends and Applications of Answer Set Programming (TAASP)<\/em><\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-schueller-hexlite.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Saribatur2018nongroundabstraction-taasp\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep G. Saribatur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>. \n<b><span itemprop=\"name\">Abstraction for Non-Ground Answer Set Programs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Trends and Applications of Answer Set Programming (TAASP)<\/em><\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-saribatur-nonground-abstraction.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Taupe2018domainspecificheuristicsalpha-taasp\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Richard Taupe<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Konstantin Schekotihin<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Gerhard Friedrich<\/span><\/span>. \n<b><span itemprop=\"name\">Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Trends and Applications of Answer Set Programming (TAASP)<\/em><\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-taupe-domain-specific-heuristics-alpha.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Niggemann2018improvevolume\"><\/a>\n<span class=\"iconeditor\" title=\"Editorship\">E<\/span>&nbsp;<span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Oliver Niggemann<\/span><\/span> and <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, editors. \n<b><span itemprop=\"name\">IMPROVE \u2013 Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency<\/span><\/b>. \n<time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-662-57805-6\">10.1007\/978-3-662-57805-6<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/www.springer.com\/us\/book\/9783662578049\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/content\/pdf\/10.1007%2F978-3-662-57805-6.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Fullen2018floodsimilarityvalidation\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Marta Fullen<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Oliver Niggemann<\/span><\/span>. \n<b><span itemprop=\"name\">Validation of similarity measures for industrial alarm flood analysis<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">IMPROVE \u2013 Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency<\/em><\/span>, pages <span itemprop=\"pageStart\">93<\/span>-<span itemprop=\"pageEnd\">109<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-662-57805-6_6\">10.1007\/978-3-662-57805-6_6<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-662-57805-6_6\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/content\/pdf\/10.1007%2F978-3-662-57805-6_6.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018turkishcorefarxivV2\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">K\u00fcbra Cingilli<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Ferit Tun\u00e7er<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Baris G\u00fcn S\u00fcrmeli<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Ayseg\u00fcl Pekel<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Ayse Hande Karatay<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Hacer Ezgi  Karakas<\/span><\/span>. \n<b><span itemprop=\"name\">Marmara Turkish Coreference Corpus and Coreference Resolution Baseline<\/span><\/b>. \nTechnical Report, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Marmara University &amp; TU Wien<\/span><\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, Version 2. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/arxiv.org\/abs\/1706.01863\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018germanabusive\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Joaquin Padilla Montani<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">TUWienKBS at GermEval 2018: German Abusive Tweet Detection<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of GermEval 2018, 14th Conference on Natural Language Processing (KONVENS 2018)<\/em><\/span>, pages <span itemprop=\"pageStart\">45<\/span>-<span itemprop=\"pageEnd\">50<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, Best result in coarse classification, second best result in fine-grained classification.. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/www.oeaw.ac.at\/fileadmin\/subsites\/academiaecorpora\/PDF\/GermEval2018_Proceedings.pdf\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-german-abusive-tweet-detection.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/github.com\/jpadillamontani\/germeval2018\">supporting material<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018mljbesteffortilp\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Benz<\/span><\/span>. \n<b><span itemprop=\"name\">Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Machine Learning<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">107<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">7<\/span><\/span>), pages <span itemprop=\"pageStart\">1141<\/span>-<span itemprop=\"pageEnd\">1169<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s10994-018-5708-2\">10.1007\/s10994-018-5708-2<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1707.02729\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018kuinaspling\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Answer Set Programming in Linguistics<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">KI - K\u00fcnstliche Intelligenz<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">32<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">151<\/span>-<span itemprop=\"pageEnd\">155<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s13218-018-0542-z\">10.1007\/s13218-018-0542-z<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-schueller-asp-linguistics.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018kuinomsieveinspire\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Answer Set Programming applied to Coreference Resolution and Semantic Similarity<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">KI - K\u00fcnstliche Intelligenz<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">32<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">207<\/span>-<span itemprop=\"pageEnd\">208<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s13218-018-0539-7\">10.1007\/s13218-018-0539-7<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2018\/2018-schueller-omsieve-inspire-asp-projects.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018kuinhex\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Stefano Germano<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Tobias Kaminski<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">The DLVHEX System<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">KI - K\u00fcnstliche Intelligenz<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">32<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">187<\/span>-<span itemprop=\"pageEnd\">189<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/s13218-018-0535-y\">10.1007\/s13218-018-0535-y<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/rdcu.be\/OnqF\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2018jetaiadjudication\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Adjudication of Coreference Annotations via Answer Set Optimization<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Journal of Experimental &amp; Theoretical Artificial Intelligence<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">30<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">4<\/span><\/span>), pages <span itemprop=\"pageStart\">525<\/span>-<span itemprop=\"pageEnd\">546<\/span>, <time datetime=\"2018\" itemprop=\"datePublished\">2018<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1080\/0952813X.2018.1456793\">10.1080\/0952813X.2018.1456793<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1802.00033\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2017:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Fullen2017cbrfloodanalysis\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Marta Fullen<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Oliver Niggemann<\/span><\/span>. \n<b><span itemprop=\"name\">Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Machine Learning for Cyber Physical Systems and Industry 4.0<\/em><\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>.\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Cuteri2017tplpwasplazy\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bernardo Cuteri<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">17<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">5-6<\/span><\/span>), pages <span itemprop=\"pageStart\">780<\/span>-<span itemprop=\"pageEnd\">799<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, Presented at ICLP 2017, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068417000254\">10.1017\/S1471068417000254<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"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\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1707.04027\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Fullen2017floodcluster\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Marta Fullen<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Oliver Niggemann<\/span><\/span>. \n<b><span itemprop=\"name\">Defining and validating similarity measures for industrial alarm flood analysis<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">IEEE International Conference on Industrial Informatics (INDIN)<\/em><\/span>, pages <span itemprop=\"pageStart\">781<\/span>-<span itemprop=\"pageEnd\">786<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1109\/INDIN.2017.8104872\">10.1109\/INDIN.2017.8104872<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ieeexplore.ieee.org\/document\/8104872\/\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Surmeli2017vommcluster\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bar\u0131\u015f G\u00fcn S\u00fcrmeli<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Feyza Eksen<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bilal Din\u00e7<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Borahan T\u00fcmer<\/span><\/span>. \n<b><span itemprop=\"name\">Unsupervised Mode Detection in Cyber-Physical Systems using Variable Order Markov Models<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">IEEE International Conference on Industrial Informatics (INDIN)<\/em><\/span>, pages <span itemprop=\"pageStart\">841<\/span>-<span itemprop=\"pageEnd\">846<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1109\/INDIN.2017.8104881\">10.1109\/INDIN.2017.8104881<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ieeexplore.ieee.org\/document\/8104881\/\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2017\/2017_surmeli_indin_mode_detection.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Aslanci2017scd\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Ezdin Aslanc\u0131<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Kutalm\u0131\u015f Co\u015fkun<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Borahan T\u00fcmer<\/span><\/span>. \n<b><span itemprop=\"name\">Detection of Regime Switching Points in Non-Stationary Sequences using Stochastic Learning based Weak Estimation Method<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">IEEE International Conference on Industrial Informatics (INDIN)<\/em><\/span>, pages <span itemprop=\"pageStart\">787<\/span>-<span itemprop=\"pageEnd\">792<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1109\/INDIN.2017.8104873\">10.1109\/INDIN.2017.8104873<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ieeexplore.ieee.org\/document\/8104873\/\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2017rwhex\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Tobias Kaminski<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Answer Set Programming with External Sources<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Reasoning Web International Summer School<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">10370 LNCS<\/span><\/span>, pages <span itemprop=\"pageStart\">204<\/span>-<span itemprop=\"pageEnd\">275<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-61033-7_7\">10.1007\/978-3-319-61033-7_7<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-319-61033-7_7\">link<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2017adjudication\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Adjudication of Coreference Annotations via Answer Set Optimization<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">10377<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">343<\/span>-<span itemprop=\"pageEnd\">357<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, Best Application Paper, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-61660-5_31\">10.1007\/978-3-319-61660-5_31<\/a>.\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Kazmi2017ilpchunking\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Kazmi<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Y\u00fccel Sayg\u0131n<\/span><\/span>. \n<b><span itemprop=\"name\">Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Expert Systems With Applications<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">87<\/span><\/span>, pages <span itemprop=\"pageStart\">291<\/span>-<span itemprop=\"pageEnd\">303<\/span>, <time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1016\/j.eswa.2017.06.013\">10.1016\/j.eswa.2017.06.013<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0957417417304311\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/arxiv.org\/abs\/1706.05171\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2017inspirenote\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Inspire at Inductive Logic Programming Competition: Fine-grained Cost-based Hypothesis Generation<\/span><\/b>. \n<time datetime=\"2017\" itemprop=\"datePublished\">2017<\/time>, Short technical note. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/tinyurl.com\/n7l8f5x\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2016:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2016aspfoa\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Modeling Variations of First-Order Horn Abduction in Answer Set Programming<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Fundamenta Informaticae<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">149<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">1-2<\/span><\/span>), pages <span itemprop=\"pageStart\">159<\/span>-<span itemprop=\"pageEnd\">207<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, Available as arXiv:1512.08899 [cs.AI], DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.3233\/FI-2016-1446\">10.3233\/FI-2016-1446<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi1446\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1512.08899\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Surmeli2016annotationmanualv2\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bar\u0131\u015f G\u00fcn S\u00fcrmeli<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">K\u00fcbra C\u0131ng\u0131ll\u0131<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Ferit Tun\u00e7er<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Turkish Coreference Annotation Manual (V2)<\/span><\/b>. \n<time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/tinyurl.com\/jovfmua\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2016adjudication\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">1745<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, pages <span itemprop=\"pageStart\">57<\/span>-<span itemprop=\"pageEnd\">71<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1745\/paper5.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Dodaro2016wasppropprelim\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">External Propagators in WASP: Preliminary Report <\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">1745<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, pages <span itemprop=\"pageStart\">1<\/span>-<span itemprop=\"pageEnd\">9<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1745\/paper1.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2016aspfoapropagator\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Carmine Dodaro<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Francesco Ricca<\/span><\/span>. \n<b><span itemprop=\"name\">ASP for Abduction in Natural Language Understanding made more efficient using External Propagators<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of the 8th International Workshop on Logic Programming with Constraints for Language Processing (CSLP)<\/em><\/span>, pages <span itemprop=\"pageStart\">19<\/span>-<span itemprop=\"pageEnd\">21<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/control.ruc.dk\/CSLP2016\/CSLP2016Proceedings.pdf\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2016\/2016_cslp_asp_abduction_natural_language_efficient_propagator.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Avci2016tr\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Gokhan Avci<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mustafa Mehuljic<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Giving Hints for Logic Programming Examples without Revealing Solutions<\/span><\/b>. \nTechnical Report, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, arXiv:1607.07847 [cs.AI]. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1607.07847\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2016modelbuildinghex\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A Model Building Framework for Answer Set Programming with External Computations<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">16<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">04<\/span><\/span>), pages <span itemprop=\"pageStart\">418<\/span>-<span itemprop=\"pageEnd\">464<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, arXiv:1507.01451 [cs.AI], DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068415000113\">10.1017\/S1471068415000113<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/journals.cambridge.org\/action\/displayAbstract?fromPage=online&aid=9910437&fileId=S1471068415000113\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1507.01451\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Kazmi2016inspiresystem\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Kazmi<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Inspire at SemEval 2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016)<\/em><\/span>, pages <span itemprop=\"pageStart\">1109<\/span>-<span itemprop=\"pageEnd\">1115<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.aclweb.org\/anthology\/S16-1171\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Rabiger2016stemsystem\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Stefan R\u00e4biger<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Kazmi<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Y\u00fccel Sayg\u0131n<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Myra Spiliopoulou<\/span><\/span>. \n<b><span itemprop=\"name\">SteM at SemEval-2016 Task 4A: Applying Active Learning to Improve Sentiment Classification<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval 2016)<\/em><\/span>, pages <span itemprop=\"pageStart\">64<\/span>-<span itemprop=\"pageEnd\">70<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/anthology.aclweb.org\/S\/S16\/S16-1007.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Avci2016\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Gokhan Avci<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mustafa Mehuljic<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Giving Hints For Logic Programming Examples Without Revealing Solutions (\u00c7\u00f6z\u00fcm\u00fc A\u00e7\u0131\u011fa \u00c7\u0131karmadan Mantiksal Programlama \u00d6rneklerine \u0130pucu Verme)<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Signal Processing and Communication Application Conference (SIU) (Sinyal \u0130\u015fleme ve \u0130leti\u015fim Uygulamalar\u0131 Kurultay\u0131)<\/em><\/span>, pages <span itemprop=\"pageStart\">513<\/span>-<span itemprop=\"pageEnd\">516<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, Paper in Turkish, extended English version available as arXiv:1607.07847, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1109\/SIU.2016.7495790\">10.1109\/SIU.2016.7495790<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/dx.doi.org\/10.1109\/SIU.2016.7495790\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1607.07847\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Erdem2016loi\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">AI Communications<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">29<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">2<\/span><\/span>), pages <span itemprop=\"pageStart\">319<\/span>-<span itemprop=\"pageEnd\">349<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.3233\/AIC-150697\">10.3233\/AIC-150697<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/content.iospress.com\/articles\/ai-communications\/aic697\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2016\/2016_aicom_levels_of_integration.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2016hexfamily\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Problem Solving Using the HEX Family<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday<\/em><\/span>, pages <span itemprop=\"pageStart\">150<\/span>-<span itemprop=\"pageEnd\">174<\/span>, <time datetime=\"2016\" itemprop=\"datePublished\">2016<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.collegepublications.co.uk\/tributes\/?00029\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/staff\/redl\/publications\/ers2016-festschrift.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2015:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2015aspfoatechrep\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Modeling Variations of First-Order Horn Abduction in Answer Set Programming<\/span><\/b>. \nTechnical Report, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Computer Engineering Department, Faculty of Engineering, Marmara University<\/span><\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>, arXiv:1512.08899 [cs.AI]. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1512.08899\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2015hexfamilytechrep\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Problem Solving Using the HEX Family<\/span><\/b>. \nTechnical Report <span itemprop=\"alternateName\">INFSYS RR-1843-15-07<\/span>, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Institut f\u00fcr Informationssysteme, TU Wien<\/span><\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>, Favoritenstra\u00dfe 9-11, A-1040 Vienna. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1507.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2015hexmanual\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mustafa Mehuljic<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">User Guide dlvhex 2.X<\/span><\/b>. \nTechnical Report, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">TU Wien, Institut f\u00fcr Informationssysteme<\/span><\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1505.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2015aspabduction\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">1451<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, pages <span itemprop=\"pageStart\">76<\/span>-<span itemprop=\"pageEnd\">90<\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1451\/paper7.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schuller2015wscsemweb\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Mishal Kazmi<\/span><\/span>. \n<b><span itemprop=\"name\">Using Semantic Web Resources for Solving Winograd Schemas: Sculptures, Shelves, Envy, and Success<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Posters&amp;Demos@SEMANTiCS 2015 and DSci15 Workshop<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">1481<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, pages <span itemprop=\"pageStart\">22<\/span>-<span itemprop=\"pageEnd\">25<\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1481\/paper7.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Schueller2015asap\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Answer Set Application Programming: a Case Study on Tetris<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on Logic Programming (ICLP), Technical Communications<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">1433<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1433\/tc_17.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/bitbucket.org\/peterschueller\/asap-aspetris\">supporting material<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Kiesl2015structural\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Benjamin Kiesl<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Hans Tompits<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">On Structural Analysis of Non-Ground Answer-Set Programs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on Logic Programming (ICLP), Technical Communications<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">1433<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1433\/tc_65.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2015_nlpar_lnmr\"><\/a>\n<span class=\"iconeditor\" title=\"Editorship\">E<\/span>&nbsp;<span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Marcello Balduccini<\/span><\/span>, <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Alessandra Mileo<\/span><\/span>, <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Ekaterina Ovchinnikova<\/span><\/span>, <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Alessandra Russo<\/span><\/span>, and <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, editors. \n<b><span itemprop=\"name\">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<\/span><\/b>. \n<time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>, Lexington, KY. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/sites.google.com\/site\/nlpar2015\/\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2015\/nlpar2015-proceedings.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Surmeli2015annotationmanualv1\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Bar\u0131\u015f G\u00fcn S\u00fcrmeli<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Turkish Coreference Annotation Manual (V1)<\/span><\/b>. \n<time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/tinyurl.com\/z7xow7v\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"Eiter2015modelbuildinghextechrep\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A Model Building Framework for Answer Set Programming with External Computations<\/span><\/b>. \nTechnical Report <span itemprop=\"alternateName\">INFSYS RR-1843-15-01<\/span>, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Institut f\u00fcr Informationssysteme, TU Wien<\/span><\/span>, <time datetime=\"2015\" itemprop=\"datePublished\">2015<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1501.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2014:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014alpaspccgtk\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Yuliya Lierler<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation by Means of Declarative Programming<\/span><\/b>. \n<time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>, ALP Issue 12\/2014, Association for Logic Programming. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/www.cs.nmsu.edu\/ALP\/2014\/12\/aspccgtk-towards-syntactic-parsing-with-semantic-disambiguation-by-means-of-declarative-programming\/\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.cs.nmsu.edu\/ALP\/wp-content\/uploads\/2014\/12\/tkSynSemNutshell.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_finding_explanations_of_inconsistency_in_nonmonotonic_multi_context_systems\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Finding Explanations of Inconsistency in Multi-Context Systems<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Artificial Intelligence<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">216<\/span><\/span>, pages <span itemprop=\"pageStart\">233<\/span>-<span itemprop=\"pageEnd\">274<\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1016\/j.artint.2014.07.008\">10.1016\/j.artint.2014.07.008<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370214000915\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1209.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_mostner_morphology_aware_split_tag_german_ner_with_factorie\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">MoSTNER: Morphology-aware split-tag German NER with Factorie<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">KONVENS Workshop Proceedings (GermEval Shared Task on Named Entity Recognition)<\/em><\/span>, pages <span itemprop=\"pageStart\">121<\/span>-<span itemprop=\"pageEnd\">124<\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>, Third place (out of 11) in the GermEval2014 competition. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/hildok.bsz-bw.de\/frontdoor\/index\/index\/docId\/286\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/hildok.bsz-bw.de\/files\/286\/03_04.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_winograd_schemas_relevance_knowledge_graphs\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on the Principles of Knowledge Representation and Reasoning (KR)<\/em><\/span>, pages <span itemprop=\"pageStart\">358<\/span>-<span itemprop=\"pageEnd\">367<\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7958\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2014\/2014_winograd_schemas_relevance_knowledge_graphs.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/winograd\/kr14\/\">supporting material<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_a_systematic_analysis_of_levels_of_integration_between_low_level_reasoning_and_task_planning\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)<\/em><\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/docs.google.com\/a\/studenti.uniroma1.it\/file\/d\/0B8dEUbPKR1laTHQ3dWdOdlk1MFE\/edit\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2014_efficient_hex_program_evaluation_based_on_unfounded_sets\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Efficient HEX-Program Evaluation Based on Unfounded Sets<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Journal of Artificial Intelligence Research<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">49<\/span><\/span>, pages <span itemprop=\"pageStart\">269<\/span>-<span itemprop=\"pageEnd\">321<\/span>, <time datetime=\"2014\" itemprop=\"datePublished\">2014<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1613\/jair.4175\">10.1613\/jair.4175<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.jair.org\/papers\/paper4175.html\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.jair.org\/media\/4175\/live-4175-7717-jair.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2013:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_the_impl_policy_language_for_managing_inconsistency_in_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Applications of Declarative Programming and Knowledge Management (INAP) and Workshop on Logic Programming (WLP) 2011, Revised Selected Papers<\/em><\/span>, pages <span itemprop=\"pageStart\">3<\/span>-<span itemprop=\"pageEnd\">26<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-41524-1_1\">10.1007\/978-3-642-41524-1_1<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_the_impl_policy_language_for_managing_inconsistency_in_multi_context_systems.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_workshop_on_natural_language_processing_and_automated_reasoning\"><\/a>\n<span class=\"iconeditor\" title=\"Editorship\">E<\/span>&nbsp;<span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Chitta Baral<\/span><\/span> and <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, editors. \n<b><span itemprop=\"name\">Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR)<\/span><\/b>. \n<time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, A Corunna, Spain, urn:nbn:de:0074-1044-7. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1044\/\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/ceur-ws.org\/Vol-1044\/nlpar2013-complete.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_flexible_ccg_parsing_using_cyk_and_asp\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">8148<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">499<\/span>-<span itemprop=\"pageEnd\">511<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-40564-8_49\">10.1007\/978-3-642-40564-8_49<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_flexible_ccg_parsing_using_cyk_and_asp.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_prolog_and_asp_inference_under_one_roof\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Marcello Balduccini<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Yuliya Lierler<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Prolog and ASP Inference Under One Roof<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">8148<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">148<\/span>-<span itemprop=\"pageEnd\">160<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-40564-8_15\">10.1007\/978-3-642-40564-8_15<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_prolog_and_asp_inference_under_one_roof.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_acthex_implementing_hex_programs_with_action_atoms\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Stefano Germano<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">ActHEX: Implementing HEX Programs with Action Atoms<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">8148<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">317<\/span>-<span itemprop=\"pageEnd\">322<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-40564-8_31\">10.1007\/978-3-642-40564-8_31<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_acthex_implementing_hex_programs_with_action_atoms.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_finding_optimal_plans_for_multiple_teams_of_robots_through_a_mediator_a_logic_based_approach\"><\/a>\n<span class=\"iconjournal\" title=\"Journal Article\">J<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep Gozen Saribatur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Tansel Uras<\/span><\/span>. \n<b><span itemprop=\"name\">Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach<\/span><\/b>. \n<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming<\/em><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">13<\/span><\/span> (<span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationIssue\"><span itemprop=\"issueNumber\">4-5<\/span><\/span>), pages <span itemprop=\"pageStart\">831<\/span>-<span itemprop=\"pageEnd\">846<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1017\/S1471068413000525\">10.1017\/S1471068413000525<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/journals.cambridge.org\/action\/displayAbstract?fromPage=online&aid=9011730\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_finding_optimal_plans_for_multiple_teams_of_robots_through_a_mediator_a_logic_based_approach.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_levels_of_integration_between_low_level_reasoning_and_task_planning_krr\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Levels of Integration between Low-Level Reasoning and Task Planning<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Knowledge Representation and Reasoning in Robotics (KRR) Workshop at International Conference on Logic Programming (ICLP)<\/em><\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>, arXiv:1307.7461. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1307.7461\">arXiv<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_a_general_formal_framework_for_pathfinding_problems_with_multiple_agents\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Doga G. Kisa<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Umut Oztok<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">A General Formal Framework for Pathfinding Problems with Multiple Agents<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">AAAI Conference on Artificial Intelligence (AAAI)<\/em><\/span>, pages <span itemprop=\"pageStart\">290<\/span>-<span itemprop=\"pageEnd\">296<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI13\/paper\/view\/6293\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_a_general_formal_framework_for_pathfinding_problems_with_multiple_agents.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_levels_of_integration_between_low_level_reasoning_and_task_planning_irs\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>. \n<b><span itemprop=\"name\">Levels of Integration between Low-Level Reasoning and Task Planning<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">AAAI Workshop on Intelligent Robotics Systems (IRS) at AAAI<\/em><\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.aaai.org\/ocs\/index.php\/WS\/AAAIW13\/paper\/view\/7055\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_levels_of_integration_between_low-level_reasoning_and_task_planning.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_experimental_evaluation_of_multi_agent_pathfinding_problems_using_asp\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Doga G. Kisa<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Umut Oztok<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Experimental Evaluation of Multi-Agent Pathfinding Problems using Answer Set Programming<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA)<\/em><\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_experimental_evaluation_of_multi_agent_pathfinding_problems_using_asp.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_levels_of_integration_between_low_level_reasoning_and_task_planning_arw\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>. \n<b><span itemprop=\"name\">Levels of Integration between Low-Level Reasoning and Task Planning<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Austrian Robotics Workshop (ARW)<\/em><\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_levels_of_integration_between_low_level_reasoning_and_task_planning.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_a_systematic_analysis_of_levels_of_integration_between_low_level_reasoning_and_task_planning\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>. \n<b><span itemprop=\"name\">A Systematic Analysis of Levels of Integration between Low-Level Reasoning and Task Planning<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Combining Task and Motion Planning (at IEEE International Conference on Robotics and Automation)<\/em><\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_a_systematic_analysis_of_levels_of_integration_between_low_level_reasoning_and_task_planning.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_siu\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Zeynep G. Sar\u0131batur<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Volkan Patoglu<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Esra Erdem<\/span><\/span>. \n<b><span itemprop=\"name\">Bili\u015fsel Fabrikalarda Birden Fazla Robot Tak\u0131m\u0131 i\u00e7in Eniyile\u015ftirilmi\u015f Ayr\u0131\u015ft\u0131r\u0131labilir Plan Hesaplanmas\u0131\n(Finding Optimal Decoupled Plans for Multiple Teams of Robots in Cognitive Factories)<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">21. Sinyal \u0130\u015fleme ve \u0130leti\u015fim Uygulamalar\u0131 Kurultay\u0131 (21st Signal Processing and Communications Applications Conference)<\/em><\/span>, pages <span itemprop=\"pageStart\">1681<\/span>-<span itemprop=\"pageEnd\">1684<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_siu.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2013_towards_a_tight_integration_of_syntactic_parsing_with_semantic_disambiguation_by_means_of_declarative_programming\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Yuliya Lierler<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">10th International Conference on Computational Semantics (IWCS)<\/em><\/span>, pages <span itemprop=\"pageStart\">383<\/span>-<span itemprop=\"pageEnd\">389<\/span>, <time datetime=\"2013\" itemprop=\"datePublished\">2013<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.aclweb.org\/anthology\/W13-0213\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2013\/2013_towards_a_tight_integration_of_syntactic_parsing_with_semantic_disambiguation_by_means_of_declarative_programming.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2012:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2012_finding_explanations_of_inconsistency_in_multi_context_systems\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Finding Explanations of Inconsistency in Multi-Context Systems<\/span><\/b>. \nTechnical Report <span itemprop=\"alternateName\">INFSYS RR-1843-12-09<\/span>, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Institut f\u00fcr Informationssysteme, TU Wien<\/span><\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1209.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"efkrs2012-rr-1843-12-08\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Improving HEX-Program Evaluation based on Unfounded Sets<\/span><\/b>. \nTechnical Report <span itemprop=\"alternateName\">INFSYS RR-1843-12-08<\/span>, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Institut f\u00fcr Informationssysteme, TU Wien<\/span><\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2012\/2012_improving_hex_program_evaluation_based_on_unfounded_sets.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2012_eliminating_unfounded_set_checking_for_hex_programs\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Eliminating Unfounded Set Checking for HEX-Programs<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)<\/em><\/span>, pages <span itemprop=\"pageStart\">83<\/span>-<span itemprop=\"pageEnd\">97<\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/arxiv.org\/abs\/1301.2215\">arXiv<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2012\/2012_eliminating_unfounded_set_checking_for_hex_programs.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2012_exploiting_unfounded_sets_for_hex_program_evaluation\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Christoph Redl<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Exploiting Unfounded Sets for HEX-Program Evaluation<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">7519<\/span> of <span itemprop=\"name\">LNCS<\/span><\/span>, pages <span itemprop=\"pageStart\">160<\/span>-<span itemprop=\"pageEnd\">175<\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-33353-8_13\">10.1007\/978-3-642-33353-8_13<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2012\/2012_exploiting_unfounded_sets_for_hex_program_evaluation.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2012_inconsistency_in_multi_context_systems_analysis_and_efficient_evaluation\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation<\/span><\/b>. \nPhD Thesis, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Vienna University of Technology<\/span><\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2012\/2012_inconsistency_in_multi_context_systems_analysis_and_efficient_evaluation.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2012_parsing_combinatory_categorial_grammar_via_planning_in_answer_set_programming\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Yuliya Lierler<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">7265<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">436<\/span>-<span itemprop=\"pageEnd\">453<\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>, DOI:&nbsp;<a itemprop=\"sameAs\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-30743-0_30\">10.1007\/978-3-642-30743-0_30<\/a>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2012\/2012_parsing_combinatory_categorial_grammar_via_planning_in_answer_set_programming.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2012_managing_inconsistency_in_multi-context_systems_using_the_impl_policy_language\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language<\/span><\/b>. \nTechnical Report <span itemprop=\"alternateName\">INFSYS RR-1843-12-05<\/span>, <span itemprop=\"sourceOrganization\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span itemprop=\"name\">Vienna University of Technology, Institute for Information Systems<\/span><\/span>, <time datetime=\"2012\" itemprop=\"datePublished\">2012<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2012\/2012_managing_inconsistency_in_multi_context_systems_using_the_impl_policy_language.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2011:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2011_parsing_combinatory_categorial_grammar_with_answer_set_programming_preliminary_report\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Yuliya Lierler<\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Workshop on Logic Programming (WLP)<\/em><\/span>, <time datetime=\"2011\" itemprop=\"datePublished\">2011<\/time>, CoRR 1108.5567, 12~pages (no page numbers). \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_parsing_combinatory_categorial_grammar_with_answer_set_programming_preliminary_report.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/staff\/ps\/pub\/2011\/2011_parsing_combinatory_categorial_grammar_with_answer_set_programming_preliminary_report.slides.pdf\">slides<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2011_semantic_reasoning_with_sparql_in_heterogeneous_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span> and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Semantic Reasoning with SPARQL in Heterogeneous Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Advanced Information Systems Engineering Workshops (CAiSE)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">83<\/span> of <span itemprop=\"name\">Lecture Notes in Business Information Processing<\/span><\/span>, pages <span itemprop=\"pageStart\">575<\/span>-<span itemprop=\"pageEnd\">585<\/span>, <time datetime=\"2011\" itemprop=\"datePublished\">2011<\/time>, (1st International Workshop on Semantic Search (SSW)). \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_semantic_reasoning_with_sparql_in_heterogeneous_multi_context_systems.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2011_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">6645<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">107<\/span>-<span itemprop=\"pageEnd\">119<\/span>, <time datetime=\"2011\" itemprop=\"datePublished\">2011<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2011_pushing_efficient_evaluation_of_hex_programs_by_modular_decomposition\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Krennwallner<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Pushing Efficient Evaluation of HEX Programs by Modular Decomposition<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">6645<\/span> of <span itemprop=\"name\">Lecture Notes in Computer Science<\/span><\/span>, pages <span itemprop=\"pageStart\">93<\/span>-<span itemprop=\"pageEnd\">106<\/span>, <time datetime=\"2011\" itemprop=\"datePublished\">2011<\/time>, Best Paper, also presented at IJCAI 2011. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-20895-9_10\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_pushing_efficient_evaluation_of_hex_programs_by_modular_decomposition.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_pushing_efficient_evaluation_of_hex_programs_by_modular_decomposition.slides.pdf\">slides<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2011_towards_a_policy_language_for_managing_inconsistency_in_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Giovambattista Ianni<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Towards a Policy Language for Managing Inconsistency in Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">738<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, pages <span itemprop=\"pageStart\">23<\/span>-<span itemprop=\"pageEnd\">35<\/span>, <time datetime=\"2011\" itemprop=\"datePublished\">2011<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_towards_a_policy_language_for_managing_inconsistency_in_multi_context_systems.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2011\/2011_towards_a_policy_language_for_managing_inconsistency_in_multi_context_systems.slides.pdf\">slides<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2010:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2010_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Thirty Years of Nonmonotonic Reasoning<\/em><\/span>, <time datetime=\"2010\" itemprop=\"datePublished\">2010<\/time>, 15 pages. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2010\/2010_approximations_for_explanations_of_inconsistency_in_partially_known_multi_context_systems.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2010_the_mcs_ie_system_for_explaining_inconsistency_in_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Markus B\u00f6gl<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<b><span itemprop=\"name\">The MCS-IE System for Explaining Inconsistency in Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">European Conference on Logics in Artificial Intelligence (JELIA)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">6341<\/span> of <span itemprop=\"name\">Lecture Notes in Artificial Intelligence<\/span><\/span>, pages <span itemprop=\"pageStart\">356<\/span>-<span itemprop=\"pageEnd\">359<\/span>, <time datetime=\"2010\" itemprop=\"datePublished\">2010<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-15675-5_31\">link<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2010\/2010_the_mcs_ie_system_for_explaining_inconsistency_in_multi_context_systems.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2010_finding_explanations_of_inconsistency_in_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Finding Explanations of Inconsistency in Nonmonotonic Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Conference on the Principles of Knowledge Representation and Reasoning (KR)<\/em><\/span>, pages <span itemprop=\"pageStart\">329<\/span>-<span itemprop=\"pageEnd\">339<\/span>, <time datetime=\"2010\" itemprop=\"datePublished\">2010<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2010\/2010_finding_explanations_of_inconsistency_in_multi_context_systems.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2010\/kr2010_talk.pdf\">slides<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2010_methods_and_algorithms_for_managing_inconsistency_in_multi_context_systems\"><\/a>\n<span class=\"iconother\" title=\"Other\">O<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>. \n<span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Fangzhen Lin<\/span><\/span> and <span itemprop=\"editor\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Uli Sattler<\/span><\/span>, editors. \n<b><span itemprop=\"name\">Methods and Algorithms for Managing Inconsistency in Multi-Context Systems<\/span><\/b>. \n<time datetime=\"2010\" itemprop=\"datePublished\">2010<\/time>, Poster, International Conference on the Principles of Knowledge Representation and Reasoning, Doctoral Consortium (KR-DC). \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2010\/kr_dc_poster.pdf\">poster<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2010_towards_approximating_output_projected_equilibria_in_partially_known_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>. \n<b><span itemprop=\"name\">Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">Proceedings of the Junior Scientist Conference 2010<\/em><\/span>, pages <span itemprop=\"pageStart\">315<\/span>-<span itemprop=\"pageEnd\">316<\/span>, <time datetime=\"2010\" itemprop=\"datePublished\">2010<\/time>. \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2010\/2010_towards_approximating_output_projected_equilibria_in_partially_known_multi_context_systems.pdf\">PDF<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/staff\/ps\/pub\/2010\/jsc_slides.pdf\">slides<\/a>&nbsp;] [&nbsp;<a itemprop=\"url\" href=\"http:\/\/www.kr.tuwien.ac.at\/staff\/ps\/pub\/2010\/jsc_poster.pdf\">poster<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n\n<h2>Publications 2009:<\/h2>\n\n\n<div class=\"publication\" itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><p><a id=\"2009_towards_diagnosing_inconsistency_in_nonmonotonic_multi_context_systems\"><\/a>\n<span class=\"iconconf\" title=\"Conference Paper\">C<\/span>&nbsp;<span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Thomas Eiter<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Michael Fink<\/span><\/span>, <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\"><u>Peter Sch\u00fcller<\/u><\/span><\/span>, and <span itemprop=\"author\" itemscope itemtype=\"http:\/\/schema.org\/Person\"><span itemprop=\"name\">Antonius Weinzierl<\/span><\/span>. \n<b><span itemprop=\"name\">Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems<\/span><\/b>. \nIn: <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/Periodical\">\n<em itemprop=\"name\">International Workshop on Logic-based Interpretation of Context: Modelling and Applications (Log-IC)<\/em><\/span>, volume <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><span itemprop=\"volumeNumber\">550<\/span> of <span itemprop=\"name\">CEUR Workshop Proceedings<\/span><\/span>, <time datetime=\"2009\" itemprop=\"datePublished\">2009<\/time>, 4~pages (no page numbers). \n[&nbsp;<a itemprop=\"url\" href=\"https:\/\/peterschueller.com\/pub\/2009\/2009_towards_diagnosing_inconsistency_in_nonmonotonic_multi_context_systems.pdf\">PDF<\/a>&nbsp;]\n<\/p><\/div>\n\n\n\n<\/div>\t<\/div>\r\n<\/div><\/div><\/div><\/div><\/div><\/div><\/h2>\n<h2><div class=\"pt-cv-wrapper\"><div class=\"pt-cv-view pt-cv-collapsible\" id=\"pt-cv-view-c6ff6daniu\"><div data-id=\"pt-cv-page-1\" class=\"pt-cv-page\" data-cvc=\"1\"><div class=\"panel-group\" id=\"ee1ad37py3\"><div class=\"panel panel-default pt-cv-content-item pt-cv-1-col\" >\r\n<div class=\"panel-heading pt-cv-title\">\r\n    <a class=\"panel-title\" data-toggle=\"cvcollapse\" data-parent=\"#ee1ad37py3\" data-target=\"#64066cc712\" href='https:\/\/peterschueller.com\/?page_id=284' onclick='event.preventDefault()'>\r\n\t\tGraduated Students (Master and PhD Level)\t<\/a>\r\n\t<\/div>\r\n<div id=\"64066cc712\" class=\"panel-collapse collapse \">\r\n\t<div class=\"panel-body\">\r\n\t\t<a href=\"https:\/\/peterschueller.com\/?page_id=284\" class=\"_self pt-cv-href-thumbnail pt-cv-thumb-default\" target=\"_self\" ><\/a>\n<div class=\"pt-cv-content\"><ul>\n<li>Mishal Benz (Kazmi)<br \/>\nPhD, co-supervision with Yucel Saygin at Sabanci University, graduated 2017 within the <a href=\"https:\/\/peterschueller.com\/wp\/?p=103\">Inspire<\/a>\u00a0project.<br \/>\nFirst position <a href=\"https:\/\/www.scc.kit.edu\/personen\/11438.php\">Postdoc at Karlsruhe Institute of Technology (KIT)<\/a>.<\/li>\n<li>Kenda Alakraa<br \/>\nMSc, main supervision at Marmara University, graduated 2017 within the\u00a0<a href=\"https:\/\/peterschueller.com\/wp\/?p=105\">OmSieve<\/a>\u00a0project.<\/li>\n<li>Fabian Salcher<br \/>\nMSc, co-supervision with Michael Fink at TU Wien, graduated 2016\u200b.<\/li>\n<li><a href=\"http:\/\/www.kr.tuwien.ac.at\/staff\/kiesl\/\">Benjamin Kiesl<\/a><br \/>\nMSc, co-supervision with Hans Tompits at TU Wien, graduated 2015.<\/li>\n<\/ul>\n<\/div>\t<\/div>\r\n<\/div><\/div><\/div><\/div><\/div><\/div><\/h2>\n<h2><div class=\"pt-cv-wrapper\"><div class=\"pt-cv-view pt-cv-collapsible\" id=\"pt-cv-view-98b977al0z\"><div data-id=\"pt-cv-page-1\" class=\"pt-cv-page\" data-cvc=\"1\"><div class=\"panel-group\" id=\"d1b5079s0r\"><div class=\"panel panel-default pt-cv-content-item pt-cv-1-col\" >\r\n<div class=\"panel-heading pt-cv-title\">\r\n    <a class=\"panel-title\" data-toggle=\"cvcollapse\" data-parent=\"#d1b5079s0r\" data-target=\"#68babfe7qe\" href='https:\/\/peterschueller.com\/?page_id=275' onclick='event.preventDefault()'>\r\n\t\tCommunity Services &#8211; Chair and Committee Duties\t<\/a>\r\n\t<\/div>\r\n<div id=\"68babfe7qe\" class=\"panel-collapse collapse \">\r\n\t<div class=\"panel-body\">\r\n\t\t<a href=\"https:\/\/peterschueller.com\/?page_id=275\" class=\"_self pt-cv-href-thumbnail pt-cv-thumb-default\" target=\"_self\" ><\/a>\n<div class=\"pt-cv-content\">\n<table id=\"tablepress-2\" class=\"tablepress tablepress-id-2\">\n<thead>\n<tr class=\"row-1\">\n\t<th class=\"column-1\">Role<\/th><th class=\"column-2\">Event<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-striping row-hover\">\n<tr class=\"row-2\">\n\t<td class=\"column-1\">Chair<\/td><td class=\"column-2\"><a href=\"https:\/\/sites.google.com\/view\/aspcomp2019\/\">Answer Set Programming Challenge 2019<\/a><\/td>\n<\/tr>\n<tr class=\"row-3\">\n\t<td class=\"column-1\">Chair<\/td><td class=\"column-2\"><a href=\"http:\/\/www.kr.tuwien.ac.at\/events\/taasp18\/\">Workshop on Trends and Applications of Answer Set Programming<\/a><\/td>\n<\/tr>\n<tr class=\"row-4\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"https:\/\/sites.sju.edu\/plw\/lpnmr-2019\/\">International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)<\/a><\/td>\n<\/tr>\n<tr class=\"row-5\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"https:\/\/aaai.org\/Conferences\/AAAI-19\/\">AAAI Conference on Artificial Intelligence (AAAI 2019)<\/a><\/td>\n<\/tr>\n<tr class=\"row-6\">\n\t<td class=\"column-1\">Chair<\/td><td class=\"column-2\"> <a href=\"http:\/\/www.kr.tuwien.ac.at\/events\/taasp18\/\">Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)<\/a><\/td>\n<\/tr>\n<tr class=\"row-7\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/www.ijcai-18.org\/\">International Joint Conference on Artificial Intelligence and European Conference on Artificial Inteliigence (IJCAI-ECAI 2018)<\/a><\/td>\n<\/tr>\n<tr class=\"row-8\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"https:\/\/popl18.sigplan.org\/track\/PADL-2018\">Twentieth Symposium on Practical Aspects of Declarative Languages (PADL 2018)<\/a><\/td>\n<\/tr>\n<tr class=\"row-9\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/www.aaai.org\/Conferences\/AAAI\/aaai18.php\">AAAI Conference on Artificial Intelligence (AAAI 2018)<\/a><\/td>\n<\/tr>\n<tr class=\"row-10\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/rcra.aixia.it\/rcra-2018\">International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018)<\/a><\/td>\n<\/tr>\n<tr class=\"row-11\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\">  <a href=\"http:\/\/lpnmr2017.aalto.fi\/\">International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)<\/a><\/td>\n<\/tr>\n<tr class=\"row-12\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"https:\/\/web.fe.up.pt\/~epia2017\/\">Portuguese Conference on Artificial Intelligence (EPIA 2017)<\/a><\/td>\n<\/tr>\n<tr class=\"row-13\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/www.aaai.org\/Conferences\/AAAI\/aaai17.php\">AAAI Conference on Artificial Intelligence (AAAI 2017)<\/a><\/td>\n<\/tr>\n<tr class=\"row-14\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/bit.ly\/PADL-2017\">International Symposium on Practical Aspects of Declarative Languages (PADL 2017)<\/a><\/td>\n<\/tr>\n<tr class=\"row-15\">\n\t<td class=\"column-1\">Publicity Chair<\/td><td class=\"column-2\"><a href=\"http:\/\/lpnmr2017.aalto.fi\/\">International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)<\/a><\/td>\n<\/tr>\n<tr class=\"row-16\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"> <a href=\"http:\/\/www.kr.tuwien.ac.at\/events\/taasp16\/\">Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)<\/a><\/td>\n<\/tr>\n<tr class=\"row-17\">\n\t<td class=\"column-1\">Publicity Chair<\/td><td class=\"column-2\"><a href=\"http:\/\/software.imdea.org\/Conferences\/ICLP2016\/\">International Conference on Logic Programming (ICLP 2016)<\/a><\/td>\n<\/tr>\n<tr class=\"row-18\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/ijcai-16.org\/\">International Joint Conference on Artificial Intelligence (IJCAI 2016)<\/a><\/td>\n<\/tr>\n<tr class=\"row-19\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/www.aaai.org\/Conferences\/AAAI\/aaai16.php\">AAAI Conference on Artificial Intelligence (AAAI 2016)<\/a><\/td>\n<\/tr>\n<tr class=\"row-20\">\n\t<td class=\"column-1\">Chair<\/td><td class=\"column-2\"><a href=\"https:\/\/sites.google.com\/site\/nlpar2015\/\">Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015)<\/a> (colocated with <a href=\"http:\/\/lpnmr2015.mat.unical.it\/\">LPNMR 2015<\/a>)<\/td>\n<\/tr>\n<tr class=\"row-21\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/ijcai-15.org\/\">International Joint Conference on Artificial Intelligence (IJCAI 2015)<\/a><\/td>\n<\/tr>\n<tr class=\"row-22\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/www.aaai.org\/Conferences\/AAAI\/aaai15.php\">AAAI Conference on Artificial Intelligence (AAAI 2015)<\/a><\/td>\n<\/tr>\n<tr class=\"row-23\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/www.aaai.org\/Conferences\/AAAI\/aaai14.php\">AAAI Conference on Artificial Intelligence (AAAI 2014)<\/a><\/td>\n<\/tr>\n<tr class=\"row-24\">\n\t<td class=\"column-1\">Publicity Chair<\/td><td class=\"column-2\"><a href=\"http:\/\/www.iclp2013.org\/\">International Conference on Logic Programming (ICLP 2013)<\/a><\/td>\n<\/tr>\n<tr class=\"row-25\">\n\t<td class=\"column-1\">Chair<\/td><td class=\"column-2\"><a href=\"http:\/\/sites.google.com\/site\/nlpar2013\/\">Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2013)<\/a> (colocated with <a href=\"http:\/\/lpnmr2013.udc.es\/\">LPNMR 2013<\/a> <a href=\"http:\/\/www.wikicfp.com\/cfp\/servlet\/event.showcfp?eventid=30355\">(mirror)<\/a><\/td>\n<\/tr>\n<tr class=\"row-26\">\n\t<td class=\"column-1\">Chair<\/td><td class=\"column-2\"><a href=\"http:\/\/redwood.cs.ttu.edu\/~smohan\/krr_iclp13\/\">Workshop on Knowledge Representation and Reasoning in Robotics (KRR 2013)<\/a> (colocated with <a href=\"http:\/\/www.iclp2013.org\/\">ICLP 2013<\/a>)<\/td>\n<\/tr>\n<tr class=\"row-27\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/ijcai13.org\/\">International Conference on Artificial Intelligence (IJCAI 2013)<\/a><\/td>\n<\/tr>\n<tr class=\"row-28\">\n\t<td class=\"column-1\">PC Member<\/td><td class=\"column-2\"><a href=\"http:\/\/sites.google.com\/site\/aspocp12\/\">Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-2 from cache -->\n<\/div>\t<\/div>\r\n<\/div><\/div><\/div><\/div><\/div><\/div><\/h2>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":41,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-47","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/peterschueller.com\/index.php?rest_route=\/wp\/v2\/pages\/47","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/peterschueller.com\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/peterschueller.com\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/peterschueller.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/peterschueller.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=47"}],"version-history":[{"count":26,"href":"https:\/\/peterschueller.com\/index.php?rest_route=\/wp\/v2\/pages\/47\/revisions"}],"predecessor-version":[{"id":319,"href":"https:\/\/peterschueller.com\/index.php?rest_route=\/wp\/v2\/pages\/47\/revisions\/319"}],"wp:attachment":[{"href":"https:\/\/peterschueller.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=47"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}