Skip to main content
Top
Published in: KI - Künstliche Intelligenz 2-3/2018

17-05-2018 | Project Report

Advanced Solving Technology for Dynamic and Reactive Applications

Authors: Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck

Published in: KI - Künstliche Intelligenz | Issue 2-3/2018

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Excerpt

The project Advanced Solving Technology for Dynamic and Reactive Applications (henceforth called ASTRA) is part of the DFG-funded Research Unit HYBRIS: Hybrid Reasoning for Intelligent Systems (www.hybrid-reasoning.org/). The Unit started in 2012 with the aim of investigating different combinations of both qualitative and quantitative reasoning. Among the quantitative aspects addressed are time, uncertainty, preferences, continuous state spaces, and quantitative data such as point clouds or text, from which meaningful symbolic descriptions can be extracted. …

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Show more products
Footnotes
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.
 
Literature
1.
2.
go back to reference 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–888MathSciNetCrossRefMATH 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–888MathSciNetCrossRefMATH
3.
go back to reference 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 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.
go back to reference 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 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.
go back to reference 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 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.
go back to reference 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 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
Metadata
Title
Advanced Solving Technology for Dynamic and Reactive Applications
Authors
Gerhard Brewka
Stefan Ellmauthaler
Gabriele Kern-Isberner
Philipp Obermeier
Max Ostrowski
Javier Romero
Torsten Schaub
Steffen Schieweck
Publication date
17-05-2018
Publisher
Springer Berlin Heidelberg
Published in
KI - Künstliche Intelligenz / Issue 2-3/2018
Print ISSN: 0933-1875
Electronic ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-018-0538-8

Other articles of this Issue 2-3/2018

KI - Künstliche Intelligenz 2-3/2018 Go to the issue

News

News

Technical Contribution

Applications of ASP in Robotics

Premium Partner