Max Ostrowski

According to our database, Max Ostrowski authored at least 21 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Train Scheduling with Hybrid Answer Set Programming.

Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

Theory Pract. Log. Program., 2021

2019

Train Scheduling with Hybrid ASP.

Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

Modern constraint answer set solving.

Max Ostrowski

PhD thesis, 2018

The Potsdam Answer Set Solving Collection 5.0.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Künstliche Intell., 2018

Advanced Solving Technology for Dynamic and Reactive Applications.

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

Künstliche Intell., 2018

2017

Clingo goes linear constraints over reals and integers.

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub

Theory Pract. Log. Program., 2017

Clingcon: The next generation.

Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Theory Pract. Log. Program., 2017

2016

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.

Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski

Biosyst., 2016

An ASP Semantics for Default Reasoning with Constraints.

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theory Solving Made Easy with Clingo 5.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Boolean Network Identification from Multiplex Time Series Data.

Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski

Proceedings of the Computational Methods in Systems Biology, 2015

2012

ASP modulo CSP: The clingcon system.

Max Ostrowski, Torsten Schaub

Theory Pract. Log. Program., 2012

ASP modulo CSP: The clingcon system.

Max Ostrowski

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Automatic network reconstruction using ASP.

Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler

Theory Pract. Log. Program., 2011

Potassco: The Potsdam Answer Set Solving Collection.

Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider

AI Commun., 2011

Evolution of Ontologies using ASP.

Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2009

On the Input Language of ASP Grounder Gringo.

Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Constraint Answer Set Solving.

Martin Gebser, Max Ostrowski, Torsten Schaub

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Conflict-Driven Disjunctive Answer Set Solving.

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Engineering an Incremental ASP Solver.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming, 24th International Conference, 2008