Skip to main content
SpringerLink
Log in

Advanced Solving Technology for Dynamic and Reactive Applications

  • Project Report
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Notes

  1. Our current logistics applications are not yet based on clingcon as the system was not available when this work started. This will change in the near future.

References

  1. Banbara M, Kaufmann B, Ostrowski M, Schaub T (2017) Clingcon: the next generation. Theory Pract Logic Progr 17(4):408–461

    Article  MathSciNet  MATH  Google Scholar 

  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–888

    Article  MathSciNet  MATH  Google Scholar 

  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. IEEE

  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–34

  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 Logistik

  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–1223

Download references

Author information

Authors and Affiliations

  1. University of Leipzig, Leipzig, Germany

    Gerhard Brewka, Stefan Ellmauthaler, Philipp Obermeier, Max Ostrowski, Javier Romero & Steffen Schieweck

  2. University of Dortmund, Dortmund, Germany

    Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero & Steffen Schieweck

  3. University of Potsdam, Potsdam, Germany

    Stefan Ellmauthaler, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub & Steffen Schieweck

Authors
  1. Gerhard Brewka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Ellmauthaler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gabriele Kern-Isberner
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Philipp Obermeier
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Max Ostrowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Javier Romero
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Torsten Schaub
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Steffen Schieweck
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gerhard Brewka.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Brewka, G., Ellmauthaler, S., Kern-Isberner, G. et al. Advanced Solving Technology for Dynamic and Reactive Applications. Künstl Intell 32, 199–200 (2018). https://doi.org/10.1007/s13218-018-0538-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-018-0538-8

Keywords

Search

Navigation