Advanced Solving Technology for Dynamic and Reactive Applications
KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Brewka, Gerhard; Ellmauthaler, Stefan; Kern-Isberner, Gabriele; Obermeier, Philipp; Ostrowski, Max; Romero, Javier; Schaub, Torsten; Schieweck, Steffen