The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sebastian Schellhorn" ( http://dblp.L3S.de/Authors/Sebastian_Schellhorn )

  Author page on DBLP  Author page in RDF  Community of Sebastian Schellhorn in ASPL-2

Publication years (Num. hits)
2017 (5) 2018 (2) 2019 (3)
Publication types (Num. hits)
article(6) inproceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang aggregates as propositional formulas. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid metabolic network completion. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Lower Bound Founded Logic of Here-and-There. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko Clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub Clingo goes linear constraints over reals and integers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang Aggregates as Propositional Formulas. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license