|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 25 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
Train Scheduling with Hybrid ASP.  |
LPNMR  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
The Potsdam Answer Set Solving Collection 5.0. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Steffen Schieweck |
Advanced Solving Technology for Dynamic and Reactive Applications. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub |
Clingcon: The Next Generation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
Clingo goes Linear Constraints over Reals and Integers. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub |
Clingo goes linear constraints over reals and integers. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub |
Clingcon: The next generation. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
clingo goes Linear Constraints over Reals and Integers. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski |
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. |
Biosystems |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
Theory Solving Made Easy with Clingo 5. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
An ASP Semantics for Default Reasoning with Constraints. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise |
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski |
Boolean Network Identification from Multiplex Time Series Data. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Torsten Schaub |
ASP modulo CSP: The clingcon system |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Max Ostrowski, Torsten Schaub |
ASP modulo CSP: The clingcon system. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski |
ASP modulo CSP: The clingcon system. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider |
Potassco: The Potsdam Answer Set Solving Collection. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler |
Automatic Network Reconstruction using ASP |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler |
Automatic network reconstruction using ASP. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou |
Evolution of Ontologies using ASP. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Max Ostrowski, Torsten Schaub |
Constraint Answer Set Solving. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele |
On the Input Language of ASP Grounder Gringo. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
Engineering an Incremental ASP Solver. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub |
Conflict-Driven Disjunctive Answer Set Solving. |
KR |
2008 |
DBLP BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license