no code implementations • 25 Feb 2022 • Peter Schüller, João Paolo Costeira, James Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss
Progress in several areas of computer science has been enabled by comfortable and efficient means of experimentation, clear interfaces, and interchangable components, for example using OpenCV for computer vision or ROS for robotics.
1 code implementation • 18 Sep 2019 • Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently.
no code implementations • 11 Sep 2019 • Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
Humans are capable of abstracting away irrelevant details when studying problems.
no code implementations • 24 Jul 2019 • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
In this paper, we propose an extended architecture for ASP systems, in which parts of the input program are compiled into an ad-hoc evaluation algorithm (i. e., we obtain a specific binary for a given program), and might not be subject to the grounding step.
2 code implementations • 31 Jan 2018 • Peter Schüller
We describe the first automatic approach for merging coreference annotations obtained from multiple annotators into a single gold standard.
no code implementations • 13 Jul 2017 • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
One of the successes of ASP is the availability of efficient systems.
no code implementations • 10 Jul 2017 • Peter Schüller, Mishal Benz
The distinguishing feature of Inspire is an ASP encoding for hypothesis space generation: given a set of facts representing the mode bias, and a set of cost configuration parameters, each answer set of this encoding represents a single rule that is considered for finding a hypothesis that entails the given examples.
no code implementations • 16 Jun 2017 • Mishal Kazmi, Peter Schüller, Yücel Saygın
We focus on extending the XHAIL algorithm for ILP which is based on Answer Set Programming and we evaluate our extensions using the Natural Language Processing application of sentence chunking.
1 code implementation • 6 Jun 2017 • Peter Schüller, Kübra Cıngıllı, Ferit Tunçer, Barış Gün Sürmeli, Ayşegül Pekel, Ayşe Hande Karatay, Hacer Ezgi Karakaş
We describe the Marmara Turkish Coreference Corpus, which is an annotation of the whole METU-Sabanci Turkish Treebank with mentions and coreference chains.
no code implementations • 26 Jul 2016 • Gokhan Avci, Mustafa Mehuljic, Peter Schüller
We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism.
1 code implementation • 30 Dec 2015 • Peter Schüller
We study abduction in First Order Horn logic theories where all atoms can be abduced and we are looking for preferred solutions with respect to three objective functions: cardinality minimality, coherence, and weighted abduction.
no code implementations • 6 Jul 2015 • Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats.
no code implementations • 29 Jul 2013 • Esra Erdem, Volkan Patoglu, Peter Schüller
We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level reasoning to address hybrid planning problems in robotics.