Clingcon: The next generation
BANBARA, MUTSUNORI, KAUFMANN, BENJAMIN, OSTROWSKI, MAX, SCHAUB, TORSTEN
Published in Theory and practice of logic programming (01.07.2017)
Published in Theory and practice of logic programming (01.07.2017)
Get full text
Journal Article
Potassco: The Potsdam Answer Set Solving Collection
Gebser, Martin, Kaufmann, Benjamin, Kaminski, Roland, Ostrowski, Max, Schaub, Torsten, Schneider, Marius
Published in Ai communications (2011)
Published in Ai communications (2011)
Get full text
Journal Article
Clingo goes linear constraints over reals and integers
JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN
Published in Theory and practice of logic programming (01.09.2017)
Published in Theory and practice of logic programming (01.09.2017)
Get full text
Journal Article
Train Scheduling with Hybrid Answer Set Programming
ABELS, DIRK, JORDI, JULIAN, OSTROWSKI, MAX, SCHAUB, TORSTEN, TOLETTI, AMBRA, WANKO, PHILIPP
Published in Theory and practice of logic programming (01.05.2021)
Published in Theory and practice of logic programming (01.05.2021)
Get full text
Journal Article
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming
Ostrowski, M., Paulevé, L., Schaub, T., Siegel, A., Guziolowski, C.
Published in BioSystems (01.11.2016)
Published in BioSystems (01.11.2016)
Get full text
Journal Article
Train Scheduling with Hybrid ASP
Abels, Dirk, Jordi, Julian, Ostrowski, Max, Schaub, Torsten, Toletti, Ambra, Wanko, Philipp
Published in Logic Programming and Nonmonotonic Reasoning (2019)
Published in Logic Programming and Nonmonotonic Reasoning (2019)
Get full text
Book Chapter
Automatic network reconstruction using ASP
DURZINSKY, MARKUS, MARWAN, WOLFGANG, OSTROWSKI, MAX, SCHAUB, TORSTEN, WAGLER, ANNEGRET
Published in Theory and practice of logic programming (01.07.2011)
Published in Theory and practice of logic programming (01.07.2011)
Get full text
Journal Article
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Banbara, Mutsunori, Gebser, Martin, Inoue, Katsumi, Ostrowski, Max, Peano, Andrea, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Weise, Matthias
Published in Logic Programming and Nonmonotonic Reasoning (2015)
Published in Logic Programming and Nonmonotonic Reasoning (2015)
Get full text
Book Chapter
Train Scheduling with Hybrid Answer Set Programming
Abels, Dirk, Julian, Jordi, Ostrowski, Max, Schaub, Torsten, Toletti, Ambra, Wanko, Philipp
Published in arXiv.org (19.03.2020)
Published in arXiv.org (19.03.2020)
Get full text
Paper
Journal Article
Clingcon: The Next Generation
Banbara, Mutsunori, Kaufmann, Benjamin, Ostrowski, Max, Schaub, Torsten
Year of Publication 12.05.2017
Year of Publication 12.05.2017
Get full text
Journal Article
Clingo goes Linear Constraints over Reals and Integers
Janhunen, Tomi, Kaminski, Roland, Ostrowski, Max, Schaub, Torsten, Schellhorn, Sebastian, Wanko, Philipp
Year of Publication 13.07.2017
Year of Publication 13.07.2017
Get full text
Journal Article
Clingcon: The Next Generation
Banbara, Mutsunori, Kaufmann, Benjamin, Ostrowski, Max, Schaub, Torsten
Published in arXiv.org (12.05.2017)
Get full text
Published in arXiv.org (12.05.2017)
Paper
Automatic Network Reconstruction using ASP
Ostrowski, Max, Schaub, Torsten, Durzinsky, Markus, Marwan, Wolfgang, Wagler, Annegret
Year of Publication 28.07.2011
Year of Publication 28.07.2011
Get full text
Journal Article
Clingo goes Linear Constraints over Reals and Integers
Janhunen, Tomi, Kaminski, Roland, Ostrowski, Max, Schaub, Torsten, Schellhorn, Sebastian, Wanko, Philipp
Published in arXiv.org (13.07.2017)
Get full text
Published in arXiv.org (13.07.2017)
Paper