Max Ostrowski

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 15

Top Topics

Solving Constraint Satisfaction Problems

Answer Set Programming

Linear Constraints

Causal Theories

Top Venues

Theory Pract. Log. Program.

Künstliche Intell.

ICLP (Technical Communications)

Publications

Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
Train Scheduling with Hybrid Answer Set Programming. Theory Pract. Log. Program. 21 (3) (2021)
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
Train Scheduling with Hybrid Answer Set Programming. CoRR (2020)
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
Train Scheduling with Hybrid ASP. LPNMR (2019)
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32 (2-3) (2018)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32 (2-3) (2018)
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
Clingcon: The next generation. Theory Pract. Log. Program. 17 (4) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
Clingo goes Linear Constraints over Reals and Integers. CoRR (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
Clingo goes linear constraints over reals and integers. Theory Pract. Log. Program. 17 (5-6) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR (2017)
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
Clingcon: The Next Generation. CoRR (2017)
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosyst. 149 (2016)
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
An ASP Semantics for Default Reasoning with Constraints. IJCAI (2016)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) (2016)
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
Boolean Network Identification from Multiplex Time Series Data. CMSB (2015)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR (2015)
Max Ostrowski, Torsten Schaub
ASP modulo CSP: The clingcon system CoRR (2012)
Max Ostrowski, Torsten Schaub
ASP modulo CSP: The clingcon system. Theory Pract. Log. Program. 12 (4-5) (2012)
Max Ostrowski
ASP modulo CSP: The clingcon system. ICLP (Technical Communications) (2012)
Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider
Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24 (2) (2011)
Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler
Automatic Network Reconstruction using ASP CoRR (2011)
Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler
Automatic network reconstruction using ASP. Theory Pract. Log. Program. 11 (4-5) (2011)
Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou
Evolution of Ontologies using ASP. ICLP (Technical Communications) (2011)
Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
On the Input Language of ASP Grounder Gringo. LPNMR (2009)
Martin Gebser, Max Ostrowski, Torsten Schaub
Constraint Answer Set Solving. ICLP (2009)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
Engineering an Incremental ASP Solver. ICLP (2008)
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
Conflict-Driven Disjunctive Answer Set Solving. KR (2008)