Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Max Ostrowski
@article{DBLP:journals/tplp/AbelsJOSTW21,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
title = {Train Scheduling with Hybrid Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {317--347},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000046},
doi = {10.1017/S1471068420000046},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AbelsJOSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08598,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
title = {Train Scheduling with Hybrid Answer Set Programming},
journal = {CoRR},
volume = {abs/2003.08598},
year = {2020},
url = {https://arxiv.org/abs/2003.08598},
eprinttype = {arXiv},
eprint = {2003.08598},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AbelsJOSTW19,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Train Scheduling with Hybrid {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {3--17},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_1},
doi = {10.1007/978-3-030-20528-7\_1},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AbelsJOSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Ostrowski18,
author = {Max Ostrowski},
title = {Modern constraint answer set solving},
school = {University of Potsdam, Germany},
year = {2018},
url = {https://publishup.uni-potsdam.de/frontdoor/index/index/docId/40779},
urn = {urn:nbn:de:kobv:517-opus4-407799},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Ostrowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GebserKKLOORSSW18,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Patrick L{\"{u}}hne and
Philipp Obermeier and
Max Ostrowski and
Javier Romero and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {The Potsdam Answer Set Solving Collection 5.0},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {181--182},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0528-x},
doi = {10.1007/S13218-018-0528-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/GebserKKLOORSSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BrewkaEKOORSS18,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Gabriele Kern{-}Isberner and
Philipp Obermeier and
Max Ostrowski and
Javier Romero and
Torsten Schaub and
Steffen Schieweck},
title = {Advanced Solving Technology for Dynamic and Reactive Applications},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {199--200},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0538-8},
doi = {10.1007/S13218-018-0538-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BrewkaEKOORSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanbaraKOS17,
author = {Mutsunori Banbara and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub},
title = {Clingcon: The next generation},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {4},
pages = {408--461},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000138},
doi = {10.1017/S1471068417000138},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BanbaraKOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JanhunenKOSWS17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Sebastian Schellhorn and
Philipp Wanko and
Torsten Schaub},
title = {Clingo goes linear constraints over reals and integers},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {872--888},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000242},
doi = {10.1017/S1471068417000242},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JanhunenKOSWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {clingo goes Linear Constraints over Reals and Integers},
booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
Computing Paradigms co-located with the 14th International Conference
on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenKOSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BanbaraKOS17,
author = {Mutsunori Banbara and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub},
title = {Clingcon: The Next Generation},
journal = {CoRR},
volume = {abs/1705.04569},
year = {2017},
url = {http://arxiv.org/abs/1705.04569},
eprinttype = {arXiv},
eprint = {1705.04569},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanbaraKOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {Clingo goes Linear Constraints over Reals and Integers},
journal = {CoRR},
volume = {abs/1707.04053},
year = {2017},
url = {http://arxiv.org/abs/1707.04053},
eprinttype = {arXiv},
eprint = {1707.04053},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JanhunenKOSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/OstrowskiPSSG16,
author = {Max Ostrowski and
Lo{\"{\i}}c Paulev{\'{e}} and
Torsten Schaub and
Anne Siegel and
Carito Guziolowski},
title = {Boolean network identification from perturbation time series data
combining dynamics abstraction and logic programming},
journal = {Biosyst.},
volume = {149},
pages = {139--153},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.07.009},
doi = {10.1016/J.BIOSYSTEMS.2016.07.009},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/OstrowskiPSSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKOSW16,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub and
Philipp Wanko},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Theory Solving Made Easy with Clingo 5},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {2:1--2:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.2},
doi = {10.4230/OASICS.ICLP.2016.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKOSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CabalarKOS16,
author = {Pedro Cabalar and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub},
editor = {Subbarao Kambhampati},
title = {An {ASP} Semantics for Default Reasoning with Constraints},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1015--1021},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/148},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CabalarKOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/OstrowskiPSSG15,
author = {Max Ostrowski and
Lo{\"{\i}}c Paulev{\'{e}} and
Torsten Schaub and
Anne Siegel and
Carito Guziolowski},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Boolean Network Identification from Multiplex Time Series Data},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {170--181},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_15},
doi = {10.1007/978-3-319-23401-4\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/OstrowskiPSSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Max Ostrowski and
Andrea Peano and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {112--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_10},
doi = {10.1007/978-3-319-23264-5\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BanbaraGIOPSSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OstrowskiS12,
author = {Max Ostrowski and
Torsten Schaub},
title = {{ASP} modulo {CSP:} The clingcon system},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {485--503},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000142},
doi = {10.1017/S1471068412000142},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/OstrowskiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ostrowski12,
author = {Max Ostrowski},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {{ASP} modulo {CSP:} The clingcon system},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {458--463},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.458},
doi = {10.4230/LIPICS.ICLP.2012.458},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ostrowski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2287,
author = {Max Ostrowski and
Torsten Schaub},
title = {{ASP} modulo {CSP:} The clingcon system},
journal = {CoRR},
volume = {abs/1210.2287},
year = {2012},
url = {http://arxiv.org/abs/1210.2287},
eprinttype = {arXiv},
eprint = {1210.2287},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GebserKKOSS11,
author = {Martin Gebser and
Benjamin Kaufmann and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Marius Schneider},
title = {Potassco: The Potsdam Answer Set Solving Collection},
journal = {{AI} Commun.},
volume = {24},
number = {2},
pages = {107--124},
year = {2011},
url = {https://doi.org/10.3233/AIC-2011-0491},
doi = {10.3233/AIC-2011-0491},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GebserKKOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DurzinskyMOSW11,
author = {Markus Durzinsky and
Wolfgang Marwan and
Max Ostrowski and
Torsten Schaub and
Annegret Wagler},
title = {Automatic network reconstruction using {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {749--766},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000287},
doi = {10.1017/S1471068411000287},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DurzinskyMOSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OstrowskiFSA11,
author = {Max Ostrowski and
Giorgos Flouris and
Torsten Schaub and
Grigoris Antoniou},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Evolution of Ontologies using {ASP}},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {16--27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.16},
doi = {10.4230/LIPICS.ICLP.2011.16},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/OstrowskiFSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5671,
author = {Max Ostrowski and
Torsten Schaub and
Markus Durzinsky and
Wolfgang Marwan and
Annegret Wagler},
title = {Automatic Network Reconstruction using {ASP}},
journal = {CoRR},
volume = {abs/1107.5671},
year = {2011},
url = {http://arxiv.org/abs/1107.5671},
eprinttype = {arXiv},
eprint = {1107.5671},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5671.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserOS09,
author = {Martin Gebser and
Max Ostrowski and
Torsten Schaub},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Constraint Answer Set Solving},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {235--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_22},
doi = {10.1007/978-3-642-02846-5\_22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKOST09,
author = {Martin Gebser and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {On the Input Language of {ASP} Grounder Gringo},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {502--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_49},
doi = {10.1007/978-3-642-04238-6\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKOST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKOST08,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Engineering an Incremental {ASP} Solver},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {190--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_23},
doi = {10.1007/978-3-540-89982-2\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKOST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DrescherGGKKOS08,
author = {Christian Drescher and
Martin Gebser and
Torsten Grote and
Benjamin Kaufmann and
Arne K{\"{o}}nig and
Max Ostrowski and
Torsten Schaub},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Conflict-Driven Disjunctive Answer Set Solving},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {422--432},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-041.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DrescherGGKKOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
