Advanced Solving Technology for Dynamic and Reactive Applications

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Steffen Schieweck. Advanced Solving Technology for Dynamic and Reactive Applications. KI, 32(2-3):199-200, 2018. [doi]

Authors

Gerhard Brewka

This author has not been identified. Look up 'Gerhard Brewka' in Google

Stefan Ellmauthaler

This author has not been identified. Look up 'Stefan Ellmauthaler' in Google

Gabriele Kern-Isberner

This author has not been identified. Look up 'Gabriele Kern-Isberner' in Google

Philipp Obermeier

This author has not been identified. Look up 'Philipp Obermeier' in Google

Max Ostrowski

This author has not been identified. Look up 'Max Ostrowski' in Google

Javier Romero 0003

This author has not been identified. Look up 'Javier Romero 0003' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Steffen Schieweck

This author has not been identified. Look up 'Steffen Schieweck' in Google