Max Ostrowski

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