Advanced Solving Technology for Dynamic and Reactive Applications

  • Gerhard Brewka
  • Stefan Ellmauthaler
  • Gabriele Kern-Isberner
  • Philipp Obermeier
  • Max Ostrowski
  • Javier Romero
  • Torsten Schaub
  • Steffen Schieweck
Project Report


  1. 1.
    Banbara M, Kaufmann B, Ostrowski M, Schaub T (2017) Clingcon: the next generation. Theory Pract Logic Progr 17(4):408–461MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Janhunen T, Kaminski R, Ostrowski M, Schaub T, Schellhorn S, Wanko P (2017) Clingo goes linear constraints over reals and integers. Theory Pract Logic Progr 17(5–6):872–888MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Schieweck S, Kern-Isberner G, ten Hompel M (2016) Using answer set programming in an order-picking system with cellular transport vehicles. In: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), pp 1600–1604. IEEEGoogle Scholar
  4. 4.
    Schieweck S, Kern-Isberner G, ten Hompel M (2017) Various approaches to the application of answer set programming in order-picking systems with intelligent vehicles. In: International Joint Conference on Computational Intelligence, pp 25–34Google Scholar
  5. 5.
    Schieweck S, Kern-Isberner G, ten Hompel M (2017) Planung von Intralogistiksystemen mit Hilfe von Antwortmengenprogrammierung. In: Logistics Journal: Proceedings. Wissenschaftliche Gesellschaft für Technische LogistikGoogle Scholar
  6. 6.
    Nguyen V, Obermeier P, Son T, Schaub T, Yeoh W (2017) Generalized target assignment and path finding using answer set programming. In: Proc. IJCAI-17, pp 1216–1223Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.University of LeipzigLeipzigGermany
  2. 2.University of DortmundDortmundGermany
  3. 3.University of PotsdamPotsdamGermany

Personalised recommendations