Dr. Max Ostrowski

University of Potsdam
Institute of Computer Science
August-Bebel-Str. 89
D-14482 Potsdam

Office complex III, House 4, Room 02.08
directly at the Griebnitzsee S-Bahn station

Phone   +49-331-977-3086
Fax   +49-331-977-3122
Email  ostrowsk@cs.uni-potsdam.de

Publications

2019

  1. Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., & Wanko, P. (2019). Train Scheduling with Hybrid ASP. In LPNMR (Vol. 11481, pp. 3–17). Springer. [pdf] [bib]

2018

  1. Brewka, G., Ellmauthaler, S., Kern-Isberner, G., Obermeier, P., Ostrowski, M., Romero, J., … Schieweck, S. (2018). Advanced Solving Technology for Dynamic and Reactive Applications. KI, 32(2-3), 199–200. [pdf] [bib]
  2. Ostrowski, M. (2018). Modern Constraint Answer Set Solving (Dissertation). University of Potsdam. [pdf] [bib]
  3. Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Obermeier, P., Ostrowski, M., … Wanko, P. (2018). The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3), 181–182. [pdf] [bib]

2017

  1. Banbara, M., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The Next Generation. CoRR, abs/1705.04569. [bib]
  2. Banbara, M., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The next generation. TPLP, 17(4), 408–461. [pdf] [bib]
  3. Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., & Wanko, P. (2017). clingo goes Linear Constraints over Reals and Integers. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [bib]
  4. Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., & Wanko, P. (2017). Clingo goes Linear Constraints over Reals and Integers. CoRR, abs/1707.04053. [pdf] [bib]
  5. Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P., & Schaub, T. (2017). Clingo goes linear constraints over reals and integers. TPLP, 17(5-6), 872–888. [pdf] [bib]
  6. Ostrowski, M. (2017). Modern Constraint Answer Set Solving. In DC@LPNMR (pp. 22–27). [pdf] [bib]

2016

  1. Cabalar, P., Kaminski, R., Ostrowski, M., & Schaub, T. (2016). An ASP Semantics for Default Reasoning with Constraints. In IJCAI (pp. 1015–1021). IJCAI/AAAI Press. [pdf] [bib]
  2. Ostrowski, M., Paulevé Loı̈c, Schaub, T., Siegel, A., & Guziolowski, C. (2016). Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosystems, 149, 139–153. [pdf] [bib]
  3. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5. In ICLP (Technical Communications) (Vol. 52, pp. 2:1–2:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  4. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5 (Extended Version). [pdf] [bib]

2015

  1. Banbara, M., Gebser, M., Inoue, K., Ostrowski, M., Peano, A., Schaub, T., … Weise, M. (2015). aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. In LPNMR (Vol. 9345, pp. 112–126). Springer. [pdf] [bib]
  2. Ostrowski, M., Paulevé Loı̈c, Schaub, T., Siegel, A., & Guziolowski, C. (2015). Boolean Network Identification from Multiplex Time Series Data. In CMSB (Vol. 9308, pp. 170–181). Springer. [pdf] [bib]

2012

  1. Ostrowski, M. (2012). ASP modulo CSP: The clingcon system. In ICLP (Technical Communications) (Vol. 17, pp. 458–463). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  2. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. CoRR, abs/1210.2287. [bib]
  3. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. TPLP, 12(4-5), 485–503. [pdf] [bib]
  4. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. In CSPSAT. [pdf] [bib]

2011

  1. Ostrowski, M., Schaub, T., Durzinsky, M., Marwan, W., & Wagler, A. (2011). Automatic Network Reconstruction using ASP. CoRR, abs/1107.5671. [bib]
  2. Durzinsky, M., Marwan, W., Ostrowski, M., Schaub, T., & Wagler, A. (2011). Automatic network reconstruction using ASP. TPLP, 11(4-5), 749–766. [pdf] [bib]
  3. Ostrowski, M., Flouris, G., Schaub, T., & Antoniou, G. (2011). Evolution of Ontologies using ASP (No. TR-415). ICS. [pdf] [bib]
  4. Ostrowski, M., Flouris, G., Schaub, T., & Antoniou, G. (2011). Evolution of Ontologies using ASP. In ICLP (Technical Communications) (Vol. 11, pp. 16–27). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  5. Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., & Schneider, M. T. (2011). Potassco: The Potsdam Answer Set Solving Collection. AI Commun., 24(2), 107–124. [pdf] [bib]

2009

  1. Gebser, M., Ostrowski, M., & Schaub, T. (2009). Constraint Answer Set Solving. In ICLP (Vol. 5649, pp. 235–249). Springer. [pdf] [bib]
  2. Gebser, M., Kaminski, R., Ostrowski, M., Schaub, T., & Thiele, S. (2009). On the Input Language of ASP Grounder Gringo. In LPNMR (Vol. 5753, pp. 502–508). Springer. [pdf] [bib]

2008

  1. Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., & Thiele, S. (2008). A Versatile Intermediate Language for Answer Set Programming. In NMR@KR (pp. 150–159). [pdf] [bib]
  2. Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., & Thiele, S. (2008). A Versatile Intermediate Language for Answer Set Programming: Syntax Proposal. Unpublished draft. [pdf] [bib]
  3. Drescher, C., Gebser, M., Grote, T., Kaufmann, B., König, A., Ostrowski, M., & Schaub, T. (2008). Conflict-Driven Disjunctive Answer Set Solving. In KR (pp. 422–432). AAAI Press. [pdf] [bib]
  4. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Thiele, S. (2008). Engineering an Incremental ASP Solver. In ICLP (Vol. 5366, pp. 190–205). Springer. [pdf] [bib]