All Stories

  1. Sub-cm space debris in LEO: A comparison between the ESA MASTER model and ADLER in-situ data

    Article • Journal of Space Safety Engineering, March 2025, Elsevier

    Dr Peter Schüller

  2. Partial Compilation of ASP Programs

    Article • Theory and Practice of Logic Programming, September 2019, Cambridge University Press

    Dr Peter Schüller

  3. Abstraction for Non-ground Answer Set Programs

    Article • January 2019, Springer Science + Business Media

    Dr Peter Schüller

  4. The Hexlite Solver

    Article • January 2019, Springer Science + Business Media

    Dr Peter Schüller

  5. Answer Set Programming in Linguistics

    Article • KI - Künstliche Intelligenz, June 2018, Springer Science + Business Media

    Dr Peter Schüller

  6. Best-effort inductive logic programming via fine-grained cost-based hypothesis generation

    Article • Machine Learning, May 2018, Springer Science + Business Media

    Dr Peter Schüller

  7. Answer Set Programming Applied to Coreference Resolution and Semantic Similarity

    Article • KI - Künstliche Intelligenz, May 2018, Springer Science + Business Media

    Dr Peter Schüller

  8. The DLVHEX System

    Article • KI - Künstliche Intelligenz, May 2018, Springer Science + Business Media

    Dr Peter Schüller

  9. Adjudication of coreference annotations via answer set optimisation

    Article • Journal of Experimental & Theoretical Artificial Intelligence, April 2018, Taylor & Francis

    Dr Peter Schüller

  10. Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis

    Article • Theory and Practice of Logic Programming, August 2017, Cambridge University Press

    Dr Peter Schüller

  11. Defining and validating similarity measures for industrial alarm flood analysis

    Article • July 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Peter Schüller

  12. Detection of regime switching points in non-stationary sequences using stochastic learning based weak estimation method

    Article • July 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Peter Schüller

  13. Unsupervised mode detection in cyber-physical systems using variable order Markov models

    Article • July 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Peter Schüller

  14. Applications of non-monotonic reasoning to automotive product configuration using answer set programming

    Article • Journal of Intelligent Manufacturing, May 2017, Springer Science + Business Media

    Dr Peter Schüller

  15. Answer Set Programming with External Source Access

    Article • January 2017, Springer Science + Business Media

    Dr Peter Schüller

  16. Adjudication of Coreference Annotations via Answer Set Optimization

    Article • January 2017, Springer Science + Business Media

    Dr Peter Schüller

  17. Modeling Variations of First-Order Horn Abduction in Answer Set Programming

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Dr Peter Schüller

  18. Giving hints for logic programming examples without revealing solutions

    Article • May 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Peter Schüller

  19. A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks

    Article • AI Communications, March 2016, IOS Press

    Dr Peter Schüller, Esra Erdem

  20. Inspire at SemEval-2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming

    Article • January 2016, Association for Computational Linguistics (ACL)

    Dr Peter Schüller

  21. A model building framework for answer set programming with external computations

    Article • Theory and Practice of Logic Programming, August 2015, Cambridge University Press

    Dr Peter Schüller

  22. Finding explanations of inconsistency in multi-context systems

    Article • Artificial Intelligence, November 2014, Elsevier

    Dr Peter Schüller

  23. Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach

    Article • Theory and Practice of Logic Programming, July 2013, Cambridge University Press

    Dr Peter Schüller

  24. Finding optimal decoupled plans for multiple teams of robots in cognitive factories

    Article • April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Peter Schüller

  25. The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

    Article • January 2013, Springer Science + Business Media

    Dr Peter Schüller

  26. ActHEX: Implementing HEX Programs with Action Atoms

    Article • January 2013, Springer Science + Business Media

    Dr Peter Schüller

  27. Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming

    Article • January 2013, Springer Science + Business Media

    Dr Peter Schüller

  28. Prolog and ASP Inference under One Roof

    Article • January 2013, Springer Science + Business Media

    Dr Peter Schüller

  29. Exploiting Unfounded Sets for HEX-Program Evaluation

    Article • January 2012, Springer Science + Business Media

    Dr Peter Schüller

  30. Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming

    Article • January 2012, Springer Science + Business Media

    Dr Peter Schüller

  31. Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

    Article • January 2011, Springer Science + Business Media

    Dr Peter Schüller

  32. Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems

    Article • January 2011, Springer Science + Business Media

    Dr Peter Schüller

  33. Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems

    Article • January 2011, Springer Science + Business Media

    Dr Peter Schüller

  34. The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

    Article • January 2010, Springer Science + Business Media

    Dr Peter Schüller