Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

clingo goes Linear Constraints over Reals and Integers.

T. Janhunen, R. Kaminski, M. Ostrowski, T. Schaub, S. Schellhorn, and P. Wanko. ASPOCP@LPNMR, volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sebastian Friedl University of Stuttgart

Communication extension for cloud-based machine control of simulated robot processesF. Kretschmer, S. Friedl, A. Lechler, and A. Verl. 2016 IEEE International Conference on Industrial Technology (ICIT), page 54-58. (March 2016)

Sebastian Brandhofer University of Stuttgart

Sebastian Haunss

Dr. Sebastian Rojek University of Stuttgart

Sebastian Lippold University of Stuttgart

Other publications of authors with the same name

The Potsdam Answer Set Solving Collection 5.0.M. Gebser, R. Kaminski, B. Kaufmann, P. Lühne, P. Obermeier, M. Ostrowski, J. Romero, T. Schaub, S. Schellhorn, and P. Wanko. KI, 32 (2-3): 181-182 (2018)Hybrid Metabolic Network Completion.C. Frioux, T. Schaub, S. Schellhorn, A. Siegel, and P. Wanko. LPNMR, volume 10377 of Lecture Notes in Computer Science, page 308-321. Springer, (2017)Lower Bound Founded Logic of Here-and-There.P. Cabalar, J. Fandinno, T. Schaub, and S. Schellhorn. JELIA, volume 11468 of Lecture Notes in Computer Science, page 509-525. Springer, (2019)Hybrid metabolic network completion.C. Frioux, T. Schaub, S. Schellhorn, A. Siegel, and P. Wanko. TPLP, 19 (1): 83-108 (2019)Hybrid Metabolic Network Completion.C. Frioux, T. Schaub, S. Schellhorn, A. Siegel, and P. Wanko. CoRR, (2018)Gelfond-Zhang Aggregates as Propositional Formulas.P. Cabalar, J. Fandinno, T. Schaub, and S. Schellhorn. LPNMR, volume 10377 of Lecture Notes in Computer Science, page 117-131. Springer, (2017)clingo goes Linear Constraints over Reals and Integers.T. Janhunen, R. Kaminski, M. Ostrowski, T. Schaub, S. Schellhorn, and P. Wanko. ASPOCP@LPNMR, volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Gelfond-Zhang aggregates as propositional formulas.P. Cabalar, J. Fandinno, T. Schaub, and S. Schellhorn. Artif. Intell., (2019)