J Journal Article C Conference Paper E Editorship O Other
J Zeynep Gozen Saribatur and Thomas Eiter and Peter Schüller. Abstraction for non-ground answer set programs. Artificial Intelligence 300, pages 103563, , DOI: 10.1016/j.artint.2021.103563. [ PDF ]
C Peter Schüller. A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning. In: New Foundations for Human-Centered AI, Workshop at ECAI 2659, pages 25-31, . [ link ] [ PDF ]
J Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, and Peter Schüller. Partial Compilation of ASP Programs. Theory and Practice of Logic Programming 19 (5-6), pages 857-873, , Presented at the International Conference on Logic Programming (ICLP), DOI: 10.1017/S1471068419000231. [ arXiv ] [ PDF ]
C Peter Schüller. The Hexlite Solver. In: European Conference on Logics in Artificial Intelligence (JELIA), pages 593-607, , DOI: 10.1007/978-3-030-19570-0_39. [ link ] [ PDF ]
J Eray Gençay, Peter Schüller, and Esra Erdem. Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming. Journal of Intelligent Manufacturing 30 (3), pages 1407-1422, , DOI: 10.1007/s10845-017-1333-3. [ link ] [ PDF ]
C Zeynep G. Saribatur, Peter Schüller, and Thomas Eiter. Abstraction for Non-Ground Answer Set Programs. In: European Conference on Logics in Artificial Intelligence (JELIA), pages 576-592, , DOI: 10.1007/978-3-030-19570-0_38. [ link ]
E Oliver Niggemann and Peter Schüller, editors. IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency. , DOI: 10.1007/978-3-662-57805-6. [ link ] [ PDF ]
J Peter Schüller and Mishal Benz. Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. Machine Learning 107 (7), pages 1141-1169, , DOI: 10.1007/s10994-018-5708-2. [ arXiv ]
J Peter Schüller. Answer Set Programming in Linguistics. KI - Künstliche Intelligenz 32 (2), pages 151-155, , DOI: 10.1007/s13218-018-0542-z. [ PDF ]
J Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, and Antonius Weinzierl. The DLVHEX System. KI - Künstliche Intelligenz 32 (2), pages 187-189, , DOI: 10.1007/s13218-018-0535-y. [ link ]
J Peter Schüller. Adjudication of Coreference Annotations via Answer Set Optimization. Journal of Experimental & Theoretical Artificial Intelligence 30 (4), pages 525-546, , DOI: 10.1080/0952813X.2018.1456793. [ arXiv ]
J Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, and Peter Schüller. Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. Theory and Practice of Logic Programming 17 (5-6), pages 780-799, , Presented at ICLP 2017, DOI: 10.1017/S1471068417000254. [ link ] [ arXiv ]
J Mishal Kazmi, Peter Schüller, and Yücel Saygın. Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation. Expert Systems With Applications 87, pages 291-303, , DOI: 10.1016/j.eswa.2017.06.013. [ link ] [ arXiv ]
J Peter Schüller. Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundamenta Informaticae 149 (1-2), pages 159-207, , Available as arXiv:1512.08899 [cs.AI], DOI: 10.3233/FI-2016-1446. [ link ] [ arXiv ]
J Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A Model Building Framework for Answer Set Programming with External Computations. Theory and Practice of Logic Programming 16 (04), pages 418-464, , arXiv:1507.01451 [cs.AI], DOI: 10.1017/S1471068415000113. [ link ] [ arXiv ]
J Esra Erdem, Volkan Patoglu, and Peter Schüller. A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Communications 29 (2), pages 319-349, , DOI: 10.3233/AIC-150697. [ link ] [ PDF ]
J Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl. Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence 216, pages 233-274, , DOI: 10.1016/j.artint.2014.07.008. [ link ] [ PDF ]
C Peter Schüller. Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. In: International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 358-367, . [ link ] [ PDF ] [ supporting material ]
C Peter Schüller. Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of Lecture Notes in Computer Science, pages 499-511, , DOI: 10.1007/978-3-642-40564-8_49. [ PDF ]
J Esra Erdem, Volkan Patoglu, Zeynep Gozen Saribatur, Peter Schüller, and Tansel Uras. Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach. Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming 13 (4-5), pages 831-846, , DOI: 10.1017/S1471068413000525. [ link ] [ PDF ]