Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Schüller
@inproceedings{DBLP:conf/ijcai/SaribaturES22,
author = {Zeynep G. Saribatur and
Thomas Eiter and
Peter Sch{\"{u}}ller},
editor = {Luc De Raedt},
title = {Abstraction for Non-Ground Answer Set Programs (Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5767--5771},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/807},
doi = {10.24963/IJCAI.2022/807},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/SaribaturES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12566,
author = {Peter Sch{\"{u}}ller and
Jo{\~{a}}o Paolo Costeira and
James Crowley and
Jasmin Grosinger and
F{\'{e}}lix Ingrand and
Uwe K{\"{o}}ckemann and
Alessandro Saffiotti and
Martin Welss},
title = {Composing Complex and Hybrid {AI} Solutions},
journal = {CoRR},
volume = {abs/2202.12566},
year = {2022},
url = {https://arxiv.org/abs/2202.12566},
eprinttype = {arXiv},
eprint = {2202.12566},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SaribaturES21,
author = {Zeynep G. Saribatur and
Thomas Eiter and
Peter Sch{\"{u}}ller},
title = {Abstraction for non-ground answer set programs},
journal = {Artif. Intell.},
volume = {300},
pages = {103563},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103563},
doi = {10.1016/J.ARTINT.2021.103563},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SaribaturES21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/MansouriPS21,
author = {Masoumeh Mansouri and
Federico Pecora and
Peter Sch{\"{u}}ller},
title = {Combining Task and Motion Planning: Challenges and Guidelines},
journal = {Frontiers Robotics {AI}},
volume = {8},
pages = {637888},
year = {2021},
url = {https://doi.org/10.3389/frobt.2021.637888},
doi = {10.3389/FROBT.2021.637888},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firai/MansouriPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-14480,
author = {Luciano Serafini and
Raul Barbosa and
Jasmin Grosinger and
Luca Iocchi and
Christian Napoli and
Salvatore Rinzivillo and
Jacques Robin and
Alessandro Saffiotti and
Teresa Scantamburlo and
Peter Sch{\"{u}}ller and
Paolo Traverso and
Javier V{\'{a}}zquez{-}Salceda},
title = {On some Foundational Aspects of Human-Centered Artificial Intelligence},
journal = {CoRR},
volume = {abs/2112.14480},
year = {2021},
url = {https://arxiv.org/abs/2112.14480},
eprinttype = {arXiv},
eprint = {2112.14480},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Schuller20,
author = {Peter Sch{\"{u}}ller},
editor = {Alessandro Saffiotti and
Luciano Serafini and
Paul Lukowicz},
title = {A new {OWLAPI} interface for HEX-programs applied to explaining contingencies
in production planning},
booktitle = {Proceedings of the First International Workshop on New Foundations
for Human-Centered {AI} (NeHuAI) co-located with 24th European Conference
on Artificial Intelligence {(ECAI} 2020), Santiago de Compostella,
Spain, September 4, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2659},
pages = {25--31},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2659/schueller.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Schuller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EiterFSS20,
author = {Thomas Eiter and
Andreas A. Falkner and
Patrik Schneider and
Peter Sch{\"{u}}ller},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {ASP-Based Signal Plan Adjustments for Traffic Flow Optimization},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {3026--3033},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200478},
doi = {10.3233/FAIA200478},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EiterFSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CuteriDRS20,
author = {Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
editor = {Christian Bessiere},
title = {Overcoming the Grounding Bottleneck Due to Constraints in {ASP} Solving:
Constraints Become Propagators},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1688--1694},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/234},
doi = {10.24963/IJCAI.2020/234},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CuteriDRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/GencaySE19,
author = {Eray Gen{\c{c}}ay and
Peter Sch{\"{u}}ller and
Esra Erdem},
title = {Applications of non-monotonic reasoning to automotive product configuration
using answer set programming},
journal = {J. Intell. Manuf.},
volume = {30},
number = {3},
pages = {1407--1422},
year = {2019},
url = {https://doi.org/10.1007/s10845-017-1333-3},
doi = {10.1007/S10845-017-1333-3},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/GencaySE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CuteriDRS19,
author = {Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
title = {Partial Compilation of {ASP} Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {857--873},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000231},
doi = {10.1017/S1471068419000231},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CuteriDRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SaribaturSE19,
author = {Zeynep G. Saribatur and
Peter Sch{\"{u}}ller and
Thomas Eiter},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Abstraction for Non-ground Answer Set Programs},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {576--592},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_38},
doi = {10.1007/978-3-030-19570-0\_38},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SaribaturSE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Schuller19,
author = {Peter Sch{\"{u}}ller},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {The Hexlite Solver - Lightweight and Efficient Evaluation of {HEX}
Programs},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {593--607},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_39},
doi = {10.1007/978-3-030-19570-0\_39},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Schuller19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/konvens/MontaniS19,
author = {Joaqu{\'{\i}}n Padilla Montani and
Peter Sch{\"{u}}ller},
title = {TUWienKBS19 at GermEval Task 2, 2019: Ensemble Learning for German
Offensive Language Detection},
booktitle = {Proceedings of the 15th Conference on Natural Language Processing,
{KONVENS} 2019, Erlangen, Germany, October 9-11, 2019},
year = {2019},
url = {https://corpora.linguistik.uni-erlangen.de/data/konvens/proceedings/papers/germeval/Germeval\_Task\_2\_2019\_paper\_12.TUWIENKSBS.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/konvens/MontaniS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08231,
author = {Richard Taupe and
Konstantin Schekotihin and
Peter Sch{\"{u}}ller and
Antonius Weinzierl and
Gerhard Friedrich},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics
for {ASP}},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {22--35},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.9},
doi = {10.4204/EPTCS.306.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10469,
author = {Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
title = {Partial Compilation of {ASP} Programs},
journal = {CoRR},
volume = {abs/1907.10469},
year = {2019},
url = {http://arxiv.org/abs/1907.10469},
eprinttype = {arXiv},
eprint = {1907.10469},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-04998,
author = {Thomas Eiter and
Zeynep G. Saribatur and
Peter Sch{\"{u}}ller},
title = {Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems},
journal = {CoRR},
volume = {abs/1909.04998},
year = {2019},
url = {http://arxiv.org/abs/1909.04998},
eprinttype = {arXiv},
eprint = {1909.04998},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-04998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/Schuller18,
author = {Peter Sch{\"{u}}ller},
title = {Adjudication of coreference annotations via answer set optimisation},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {30},
number = {4},
pages = {525--546},
year = {2018},
url = {https://doi.org/10.1080/0952813X.2018.1456793},
doi = {10.1080/0952813X.2018.1456793},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jetai/Schuller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Schuller18,
author = {Peter Sch{\"{u}}ller},
title = {Answer Set Programming in Linguistics},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {151--155},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0542-z},
doi = {10.1007/S13218-018-0542-Z},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Schuller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/EiterGIKRSW18,
author = {Thomas Eiter and
Stefano Germano and
Giovambattista Ianni and
Tobias Kaminski and
Christoph Redl and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
title = {The {DLVHEX} System},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {187--189},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0535-y},
doi = {10.1007/S13218-018-0535-Y},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/EiterGIKRSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Schuller18a,
author = {Peter Sch{\"{u}}ller},
title = {Answer Set Programming Applied to Coreference Resolution and Semantic
Similarity},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {207--208},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0539-7},
doi = {10.1007/S13218-018-0539-7},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Schuller18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SchullerB18,
author = {Peter Sch{\"{u}}ller and
Mishal Benz},
title = {Best-effort inductive logic programming via fine-grained cost-based
hypothesis generation - The inspire system at the inductive logic
programming competition},
journal = {Mach. Learn.},
volume = {107},
number = {7},
pages = {1141--1169},
year = {2018},
url = {https://doi.org/10.1007/s10994-018-5708-2},
doi = {10.1007/S10994-018-5708-2},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/SchullerB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00033,
author = {Peter Sch{\"{u}}ller},
title = {Technical Report: Adjudication of Coreference Annotations via Answer
Set Optimization},
journal = {CoRR},
volume = {abs/1802.00033},
year = {2018},
url = {http://arxiv.org/abs/1802.00033},
eprinttype = {arXiv},
eprint = {1802.00033},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/KazmiSS17,
author = {Mishal Kazmi and
Peter Sch{\"{u}}ller and
Y{\"{u}}cel Saygin},
title = {Improving scalability of inductive logic programming via pruning and
best-effort optimisation},
journal = {Expert Syst. Appl.},
volume = {87},
pages = {291--303},
year = {2017},
url = {https://doi.org/10.1016/j.eswa.2017.06.013},
doi = {10.1016/J.ESWA.2017.06.013},
timestamp = {Wed, 23 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/KazmiSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CuteriDRS17,
author = {Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
title = {Constraints, lazy constraints, or propagators in {ASP} solving: An
empirical analysis},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {780--799},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000254},
doi = {10.1017/S1471068417000254},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CuteriDRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/FullenSN17,
author = {Marta Fullen and
Peter Sch{\"{u}}ller and
Oliver Niggemann},
title = {Defining and validating similarity measures for industrial alarm flood
analysis},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {781--786},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104872},
doi = {10.1109/INDIN.2017.8104872},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/FullenSN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/AslanciCST17,
author = {Ezdin Aslanci and
Kutalmis Coskun and
Peter Sch{\"{u}}ller and
M. Borahan T{\"{u}}mer},
title = {Detection of regime switching points in non-stationary sequences using
stochastic learning based weak estimation method},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {787--792},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104873},
doi = {10.1109/INDIN.2017.8104873},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/AslanciCST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/SurmeliEDST17,
author = {Baris G{\"{u}}n S{\"{u}}rmeli and
Feyza Eksen and
Bilal Dinc and
Peter Sch{\"{u}}ller and
M. Borahan T{\"{u}}mer},
title = {Unsupervised mode detection in cyber-physical systems using variable
order Markov models},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {841--846},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104881},
doi = {10.1109/INDIN.2017.8104881},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/SurmeliEDST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Schuller17,
author = {Peter Sch{\"{u}}ller},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {Adjudication of Coreference Annotations via Answer Set Optimization},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {343--357},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_31},
doi = {10.1007/978-3-319-61660-5\_31},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Schuller17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml4cps/FullenSN17,
author = {Marta Fullen and
Peter Sch{\"{u}}ller and
Oliver Niggemann},
editor = {J{\"{u}}rgen Beyerer and
Alexander Maier and
Oliver Niggemann},
title = {Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis},
booktitle = {Machine Learning for Cyber Physical Systems, Selected papers from
the International Conference {ML4CPS} 2017, Lemgo, Germany, September
25-26, 2017},
pages = {53--61},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-59084-3\_7},
doi = {10.1007/978-3-662-59084-3\_7},
timestamp = {Mon, 20 May 2019 15:12:02 +0200},
biburl = {https://dblp.org/rec/conf/ml4cps/FullenSN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/EiterKRSW17,
author = {Thomas Eiter and
Tobias Kaminski and
Christoph Redl and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
editor = {Giovambattista Ianni and
Domenico Lembo and
Leopoldo E. Bertossi and
Wolfgang Faber and
Birte Glimm and
Georg Gottlob and
Steffen Staab},
title = {Answer Set Programming with External Source Access},
booktitle = {Reasoning Web. Semantic Interoperability on the Web - 13th International
Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {10370},
pages = {204--275},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61033-7\_7},
doi = {10.1007/978-3-319-61033-7\_7},
timestamp = {Sat, 05 Sep 2020 18:07:33 +0200},
biburl = {https://dblp.org/rec/conf/rweb/EiterKRSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchullerCTSPKK17,
author = {Peter Sch{\"{u}}ller and
K{\"{u}}bra Cingilli and
Ferit Tun{\c{c}}er and
Baris G{\"{u}}n S{\"{u}}rmeli and
Ayseg{\"{u}}l Pekel and
Ayse Hande Karatay and
Hacer Ezgi Karakas},
title = {Marmara Turkish Coreference Corpus and Coreference Resolution Baseline},
journal = {CoRR},
volume = {abs/1706.01863},
year = {2017},
url = {http://arxiv.org/abs/1706.01863},
eprinttype = {arXiv},
eprint = {1706.01863},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchullerCTSPKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KazmiSS17,
author = {Mishal Kazmi and
Peter Sch{\"{u}}ller and
Y{\"{u}}cel Saygin},
title = {Improving Scalability of Inductive Logic Programming via Pruning and
Best-Effort Optimisation},
journal = {CoRR},
volume = {abs/1706.05171},
year = {2017},
url = {http://arxiv.org/abs/1706.05171},
eprinttype = {arXiv},
eprint = {1706.05171},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KazmiSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchullerK17,
author = {Peter Sch{\"{u}}ller and
Mishal Kazmi},
title = {Best-Effort Inductive Logic Programming via Fine-grained Cost-based
Hypothesis Generation},
journal = {CoRR},
volume = {abs/1707.02729},
year = {2017},
url = {http://arxiv.org/abs/1707.02729},
eprinttype = {arXiv},
eprint = {1707.02729},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchullerK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuteriDRS17,
author = {Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
title = {Constraints, Lazy Constraints, or Propagators in {ASP} Solving: An
Empirical Analysis},
journal = {CoRR},
volume = {abs/1707.04027},
year = {2017},
url = {http://arxiv.org/abs/1707.04027},
eprinttype = {arXiv},
eprint = {1707.04027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CuteriDRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ErdemPS16,
author = {Esra Erdem and
Volkan Patoglu and
Peter Sch{\"{u}}ller},
title = {A systematic analysis of levels of integration between high-level
task planning and low-level feasibility checks},
journal = {{AI} Commun.},
volume = {29},
number = {2},
pages = {319--349},
year = {2016},
url = {https://doi.org/10.3233/AIC-150697},
doi = {10.3233/AIC-150697},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ErdemPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Schuller16,
author = {Peter Sch{\"{u}}ller},
title = {Modeling Variations of First-Order Horn Abduction in Answer Set Programming},
journal = {Fundam. Informaticae},
volume = {149},
number = {1-2},
pages = {159--207},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1446},
doi = {10.3233/FI-2016-1446},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Schuller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFIKRS16,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {A model building framework for answer set programming with external
computations},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {4},
pages = {418--464},
year = {2016},
url = {https://doi.org/10.1017/S1471068415000113},
doi = {10.1017/S1471068415000113},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFIKRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroRS16,
author = {Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {External Propagators in {WASP:} Preliminary Report},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {1--9},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DodaroRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Schuller16,
author = {Peter Sch{\"{u}}ller},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Adjudication of Coreference Annotations via Finding Optimal Repairs
of Equivalence Relations},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {57--71},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Schuller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EiterRS16,
author = {Thomas Eiter and
Christoph Redl and
Peter Sch{\"{u}}ller},
editor = {Christoph Beierle and
Gerhard Brewka and
Matthias Thimm},
title = {Problem Solving Using the {HEX} Family},
booktitle = {Computational Models of Rationality, Essays dedicated to Gabriele
Kern-Isberner on the occasion of her 60th birthday},
pages = {150--174},
publisher = {College Publications},
year = {2016},
timestamp = {Fri, 10 Jun 2016 13:23:36 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EiterRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semeval/RabigerKSSS16,
author = {Stefan R{\"{a}}biger and
Mishal Kazmi and
Y{\"{u}}cel Saygin and
Peter Sch{\"{u}}ller and
Myra Spiliopoulou},
editor = {Steven Bethard and
Daniel M. Cer and
Marine Carpuat and
David Jurgens and
Preslav Nakov and
Torsten Zesch},
title = {SteM at SemEval-2016 Task 4: Applying Active Learning to Improve Sentiment
Classification},
booktitle = {Proceedings of the 10th International Workshop on Semantic Evaluation,
SemEval@NAACL-HLT 2016, San Diego, CA, USA, June 16-17, 2016},
pages = {64--70},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/s16-1007},
doi = {10.18653/V1/S16-1007},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semeval/RabigerKSSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semeval/KazmiS16,
author = {Mishal Kazmi and
Peter Sch{\"{u}}ller},
editor = {Steven Bethard and
Daniel M. Cer and
Marine Carpuat and
David Jurgens and
Preslav Nakov and
Torsten Zesch},
title = {Inspire at SemEval-2016 Task 2: Interpretable Semantic Textual Similarity
Alignment based on Answer Set Programming},
booktitle = {Proceedings of the 10th International Workshop on Semantic Evaluation,
SemEval@NAACL-HLT 2016, San Diego, CA, USA, June 16-17, 2016},
pages = {1109--1115},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/s16-1171},
doi = {10.18653/V1/S16-1171},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semeval/KazmiS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siu/AvciMS16,
author = {Gokhan Avci and
Mustafa Mehuljic and
Peter Sch{\"{u}}ller},
title = {Giving hints for logic programming examples without revealing solutions},
booktitle = {24th Signal Processing and Communication Application Conference, {SIU}
2016, Zonguldak, Turkey, May 16-19, 2016},
pages = {513--516},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SIU.2016.7495790},
doi = {10.1109/SIU.2016.7495790},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/siu/AvciMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AvciMS16,
author = {Gokhan Avci and
Mustafa Mehuljic and
Peter Sch{\"{u}}ller},
title = {Technical Report: Giving Hints for Logic Programming Examples without
Revealing Solutions},
journal = {CoRR},
volume = {abs/1607.07847},
year = {2016},
url = {http://arxiv.org/abs/1607.07847},
eprinttype = {arXiv},
eprint = {1607.07847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AvciMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Schuller15,
author = {Peter Sch{\"{u}}ller},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Modeling Abduction over Acyclic First-Order Logic Horn Theories in
Answer Set Programming: Preliminary Experiments},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {A} workshop of the {XIV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2015),
Ferrara, Italy, September 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1451},
pages = {76--90},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Schuller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i-semantics/SchullerK15,
author = {Peter Sch{\"{u}}ller and
Mishal Kazmi},
editor = {Agata Filipowska and
Ruben Verborgh and
Axel Polleres},
title = {Using Semantic Web Resources for Solving Winograd Schemas: Sculptures,
Shelves, Envy, and Success},
booktitle = {Joint Proceedings of the Posters and Demos Track of 11th International
Conference on Semantic Systems - SEMANTiCS 2015 and 1st Workshop on
Data Science: Methods, Technology and Applications (DSci15) 11th International
Conference on Semantic Systems - SEMANTiCS 2015, Vienna, Austria,
September 15-17, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1481},
pages = {22--25},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1481/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/i-semantics/SchullerK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KieslST15,
author = {Benjamin Kiesl and
Peter Sch{\"{u}}ller and
Hans Tompits},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {On Structural Analysis of Non-Ground Answer-Set Programs},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_65.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KieslST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchullerW15,
author = {Peter Sch{\"{u}}ller and
Antonius Weinzierl},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Answer Set Application Programming: a Case Study on Tetris},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SchullerW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EiterFIKRS15,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {A model building framework for Answer Set Programming with external
computations},
journal = {CoRR},
volume = {abs/1507.01451},
year = {2015},
url = {http://arxiv.org/abs/1507.01451},
eprinttype = {arXiv},
eprint = {1507.01451},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EiterFIKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Schuller15,
author = {Peter Sch{\"{u}}ller},
title = {Modeling Variations of First-Order Horn Abduction in Answer Set Programming
using On-Demand Constraints and Flexible Value Invention},
journal = {CoRR},
volume = {abs/1512.08899},
year = {2015},
url = {http://arxiv.org/abs/1512.08899},
eprinttype = {arXiv},
eprint = {1512.08899},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Schuller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterFSW14,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
title = {Finding explanations of inconsistency in multi-context systems},
journal = {Artif. Intell.},
volume = {216},
pages = {233--274},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.07.008},
doi = {10.1016/J.ARTINT.2014.07.008},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterFSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/EiterFKRS14,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {Efficient HEX-Program Evaluation Based on Unfounded Sets},
journal = {J. Artif. Intell. Res.},
volume = {49},
pages = {269--321},
year = {2014},
url = {https://doi.org/10.1613/jair.4175},
doi = {10.1613/JAIR.4175},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/EiterFKRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Schuller14,
author = {Peter Sch{\"{u}}ller},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge
Graphs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7958},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/Schuller14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ErdemPSSU13,
author = {Esra Erdem and
Volkan Patoglu and
Zeynep G. Saribatur and
Peter Sch{\"{u}}ller and
Tansel Uras},
title = {Finding optimal plans for multiple teams of robots through a mediator:
{A} logic-based approach},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {831--846},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000525},
doi = {10.1017/S1471068413000525},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ErdemPSSU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ErdemKOS13,
author = {Esra Erdem and
Doga Gizem Kisa and
Umut {\"{O}}ztok and
Peter Sch{\"{u}}ller},
editor = {Marie desJardins and
Michael L. Littman},
title = {A General Formal Framework for Pathfinding Problems with Multiple
Agents},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {290--296},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8592},
doi = {10.1609/AAAI.V27I1.8592},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ErdemKOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcs/LierlerS13,
author = {Yuliya Lierler and
Peter Sch{\"{u}}ller},
editor = {Katrin Erk and
Alexander Koller},
title = {Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation
by means of Declarative Programming},
booktitle = {Proceedings of the 10th International Conference on Computational
Semantics, {IWCS} 2013, March 19-22, 2013, University of Potsdam,
Potsdam, Germany},
pages = {383--389},
publisher = {The Association for Computer Linguistics},
year = {2013},
url = {https://aclanthology.org/W13-0213/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwcs/LierlerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BalducciniLS13,
author = {Marcello Balduccini and
Yuliya Lierler and
Peter Sch{\"{u}}ller},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Prolog and {ASP} Inference under One Roof},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {148--160},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_15},
doi = {10.1007/978-3-642-40564-8\_15},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BalducciniLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FinkGIRS13,
author = {Michael Fink and
Stefano Germano and
Giovambattista Ianni and
Christoph Redl and
Peter Sch{\"{u}}ller},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {ActHEX: Implementing {HEX} Programs with Action Atoms},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {317--322},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_31},
doi = {10.1007/978-3-642-40564-8\_31},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FinkGIRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Schuller13,
author = {Peter Sch{\"{u}}ller},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Flexible Combinatory Categorial Grammar Parsing Using the {CYK} Algorithm
and Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {499--511},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_49},
doi = {10.1007/978-3-642-40564-8\_49},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Schuller13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siu/SaribaturSPE13,
author = {Zeynep G. Saribatur and
Peter Sch{\"{u}}ller and
Volkan Patoglu and
Esra Erdem},
title = {Finding optimal decoupled plans for multiple teams of robots in cognitive
factories},
booktitle = {21st Signal Processing and Communications Applications Conference,
{SIU} 2013, Haspolat, Turkey, April 24-26, 2013},
pages = {1--4},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIU.2013.6531540},
doi = {10.1109/SIU.2013.6531540},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/siu/SaribaturSPE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2013nlpar,
editor = {Chitta Baral and
Peter Sch{\"{u}}ller},
title = {Proceedings of the 1st Workshop on Natural Language Processing and
Automated Reasoning co-located with 12th International Conference
on Logic Programming and Nonmonotonic Reasoning {(LPNMR} 2013), {A}
Corunna, Spain, September 15th, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1044},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1044},
urn = {urn:nbn:de:0074-1044-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/2013nlpar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1390,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {Eliminating Unfounded Set Checking for HEX-Programs},
journal = {CoRR},
volume = {abs/1301.1390},
year = {2013},
url = {http://arxiv.org/abs/1301.1390},
eprinttype = {arXiv},
eprint = {1301.1390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ErdemPS13,
author = {Esra Erdem and
Volkan Patoglu and
Peter Sch{\"{u}}ller},
title = {Levels of Integration between Low-Level Reasoning and Task Planning},
journal = {CoRR},
volume = {abs/1307.7461},
year = {2013},
url = {http://arxiv.org/abs/1307.7461},
eprinttype = {arXiv},
eprint = {1307.7461},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ErdemPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LierlerS12,
author = {Yuliya Lierler and
Peter Sch{\"{u}}ller},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Parsing Combinatory Categorial Grammar via Planning in Answer Set
Programming},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {436--453},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_30},
doi = {10.1007/978-3-642-30743-0\_30},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LierlerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFKRS12,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Exploiting Unfounded Sets for HEX-Program Evaluation},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {160--175},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_13},
doi = {10.1007/978-3-642-33353-8\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterFKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SchullerW11,
author = {Peter Sch{\"{u}}ller and
Antonius Weinzierl},
editor = {Camille Salinesi and
Oscar Pastor},
title = {Semantic Reasoning with {SPARQL} in Heterogeneous Multi-context Systems},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2011 International
Workshops, London, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {83},
pages = {575--585},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22056-2\_59},
doi = {10.1007/978-3-642-22056-2\_59},
timestamp = {Mon, 18 Jan 2021 08:56:37 +0100},
biburl = {https://dblp.org/rec/conf/caise/SchullerW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/EiterFIS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Peter Sch{\"{u}}ller},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {The {IMPL} Policy Language for Managing Inconsistency in Multi-Context
Systems},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {3--26},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_1},
doi = {10.1007/978-3-642-41524-1\_1},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/EiterFIS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFIS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Peter Sch{\"{u}}ller},
editor = {Alessandra Mileo and
Michael Fink},
title = {Towards a Policy Language for Managing Inconsistency in Multi-Context
Systems},
booktitle = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context:
Modelling and Applications, Vancouver, Canada, May 16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {738},
pages = {23--35},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-738/eiter-etal.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFIS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFIKS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner and
Peter Sch{\"{u}}ller},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Pushing Efficient Evaluation of {HEX} Programs by Modular Decomposition},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {93--106},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_10},
doi = {10.1007/978-3-642-20895-9\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFIKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFS11,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Approximations for Explanations of Inconsistency in Partially Known
Multi-Context Systems},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {107--119},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_11},
doi = {10.1007/978-3-642-20895-9\_11},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5567,
author = {Yuliya Lierler and
Peter Sch{\"{u}}ller},
title = {Parsing Combinatory Categorial Grammar with Answer Set Programming:
Preliminary Report},
journal = {CoRR},
volume = {abs/1108.5567},
year = {2011},
url = {http://arxiv.org/abs/1108.5567},
eprinttype = {arXiv},
eprint = {1108.5567},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-5567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BoglEFS10,
author = {Markus B{\"{o}}gl and
Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {The mcs-ie System for Explaining Inconsistency in Multi-Context Systems},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {356--359},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_31},
doi = {10.1007/978-3-642-15675-5\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BoglEFS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFSW10,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Finding Explanations of Inconsistency in Multi-Context Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1265},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkern/SchullerHK92,
author = {Peter Sch{\"{u}}ller and
Hermann H{\"{a}}rtig and
Winfried E. K{\"{u}}hnhauser and
Hermann Streich},
title = {Performance of the BirLiX Operating System},
booktitle = {Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures,
Seattle, WA, USA, 27-28 April 1992s},
pages = {147--160},
publisher = {{USENIX}},
year = {1992},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkern/SchullerHK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
