Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTorsten Schaub
Person information
- affiliation: University of Potsdam, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j93]Gerhard Brewka, James P. Delgrande, Javier Romero
, Torsten Schaub:
A general framework for preferences in answer set programming. Artif. Intell. 325: 104023 (2023)- [j92]Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Evolutionary System Design with Answer Set Programming. Algorithms 16(4): 179 (2023) - [j91]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16(4): 185 (2023) - [j90]David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son:
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms 16(4): 216 (2023) - [j89]Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33(3-4): 495-519 (2023) - [j88]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal:
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23(1): 2-56 (2023) - [j87]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23(1): 226-298 (2023) - [j86]Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko:
How to Build Your Own ASP-based System?! Theory Pract. Log. Program. 23(1): 299-361 (2023) - [c223]Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub:
Answer Set Programming Made Easy. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 133-150 - [c222]Nicolas Rühling, Torsten Schaub, Tobias Stolzmann:
Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. ConfWS 2023: 85-94 - [c221]Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner:
Interactive Configuration with ASP Multi-Shot Solving. ConfWS 2023: 95-103 - [c220]Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub:
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? ICAART (1) 2023: 199-206 - [c219]Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko:
Routing and Scheduling in different ways: Abridged Preliminary Report. ICLP Workshops 2023 - [c218]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-present temporal programs over finite traces: a preliminary report. ICLP Workshops 2023 - [c217]Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn:
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). ICLP Workshops 2023 - [c216]Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura:
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA 2023: 262-277 - [c215]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA 2023: 278-286 - [c214]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-Present Temporal Programs over Finite Traces. JELIA 2023: 787-795 - [c213]Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub:
Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL 2023: 232-249 - [c212]Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski:
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. SOCS 2023: 185-186 - [i61]Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann:
Clingraph: A System for ASP-based Visualization. CoRR abs/2303.10118 (2023) - [i60]Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Equilibrium Logic over Timed Traces. CoRR abs/2304.14778 (2023) - [i59]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR abs/2307.10688 (2023) - [i58]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-present temporal programs over finite traces. CoRR abs/2307.12620 (2023) - 2022
- [c211]Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub:
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS 2022: 624-632 - [c210]Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub:
Conflict Handling in Product Configuration using Answer Set Programming. ICLP Workshops 2022 - [c209]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Answer Set Programming over Timed Traces. LPNMR 2022: 117-130 - [c208]Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann:
Clingraph: ASP-Based Visualization. LPNMR 2022: 401-414 - [c207]Javier Romero, Torsten Schaub, Klaus Strauch:
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. RuleML+RR 2022: 20-37 - [c206]Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub:
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN . RuleML+RR 2022: 54-62 - [c205]Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub:
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). SOCS 2022: 320-322 - [i57]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. CoRR abs/2202.05793 (2022) - [i56]Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub:
plingo: A system for probabilistic reasoning in clingo based on lpmln. CoRR abs/2206.11515 (2022) - 2021
- [j85]Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid Answer Set Programming. Theory Pract. Log. Program. 21(3): 317-347 (2021) - [j84]Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. 21(5): 663-679 (2021) - [c204]Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops 2021 - [i55]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
Towards a Semantics for Hybrid ASP systems. CoRR abs/2108.03061 (2021) - [i54]Roland Kaminski, Torsten Schaub:
On the Foundations of Grounding in Answer Set Programming. CoRR abs/2108.04769 (2021) - [i53]Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. CoRR abs/2108.06405 (2021) - [i52]Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for dynamic answer set solving: Preliminary report. CoRR abs/2109.01782 (2021) - [i51]Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub:
Answer Set Programming Made Easy. CoRR abs/2111.06366 (2021) - 2020
- [j83]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [j82]Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20(5): 735-750 (2020) - [j81]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20(5): 783-798 (2020) - [j80]Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20(6): 834-847 (2020) - [c203]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III 2020: 190-209 - [c202]Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière:
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI 2020: 656-663 - [c201]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI 2020: 664-671 - [c200]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR 2020: 193-202 - [i50]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
An ASP semantics for Constraints involving Conditional Aggregates. CoRR abs/2002.06911 (2020) - [i49]Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière:
Implementing Dynamic Answer Set Programming. CoRR abs/2002.06916 (2020) - [i48]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR abs/2003.04176 (2020) - [i47]Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid Answer Set Programming. CoRR abs/2003.08598 (2020) - [i46]Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo: A solver for Epistemic Logic Programs. CoRR abs/2008.02018 (2020) - [i45]Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and Vampire. CoRR abs/2008.02025 (2020) - [i44]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. CoRR abs/2008.02038 (2020) - [i43]Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko:
How to build your own ASP-based system?! CoRR abs/2008.06692 (2020) - [i42]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal:
Temporal Answer Set Programming. CoRR abs/2009.06544 (2020)
2010 – 2019
- 2019
- [j79]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274: 26-43 (2019) - [j78]Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko:
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. 275(1): 3-37 (2019) - [j77]Philipp Obermeier, Javier Romero, Torsten Schaub:
Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. Open J. Databases 6(1): 33-38 (2019) - [j76]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-shot ASP solving with clingo. Theory Pract. Log. Program. 19(1): 27-82 (2019) - [j75]Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid metabolic network completion. Theory Pract. Log. Program. 19(1): 83-108 (2019) - [j74]Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. 19(3): 477-504 (2019) - [c199]Pedro Cabalar, Torsten Schaub:
Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That 2019: 174-186 - [c198]Pedro Cabalar, Torsten Schaub:
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog 2019: 3-6 - [c197]Mario Alviano, Javier Romero, Torsten Schaub:
On the Integration of CP-nets in ASPRIN. IJCAI 2019: 1495-1501 - [c196]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Lower Bound Founded Logic of Here-and-There. JELIA 2019: 509-525 - [c195]Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid ASP. LPNMR 2019: 3-17 - [c194]Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Towards Dynamic Answer Set Programming over Finite Traces. LPNMR 2019: 148-162 - [c193]Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub:
telingo = ASP + Time. LPNMR 2019: 256-269 - [c192]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR 2019: 270-283 - [c191]Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub:
The Return of xorro. LPNMR 2019: 284-297 - [c190]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019: 194-195 - [i41]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [j73]Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub:
High-level synthesis of on-chip multiprocessor architectures based on answer set programming. J. Parallel Distributed Comput. 117: 161-179 (2018) - [j72]Torsten Schaub, Stefan Woltran:
Special Issue on Answer Set Programming. Künstliche Intell. 32(2-3): 101-103 (2018) - [j71]Torsten Schaub, Stefan Woltran:
Answer set programming unleashed! Künstliche Intell. 32(2-3): 105-108 (2018) - [j70]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32(2-3): 181-182 (2018) - [j69]Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck:
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32(2-3): 199-200 (2018) - [j68]Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Design Space Exploration with Answer Set Programming. Künstliche Intell. 32(2-3): 205-206 (2018) - [j67]Vladimir Lifschitz, Torsten Schaub, Stefan Woltran:
Interview with Vladimir Lifschitz. Künstliche Intell. 32(2-3): 213-218 (2018) - [j66]Gerhard Brewka, Torsten Schaub, Stefan Woltran:
Interview with Gerhard Brewka. Künstliche Intell. 32(2-3): 219-221 (2018) - [j65]Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18(3-4): 406-420 (2018) - [j64]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. 18(3-4): 502-519 (2018) - [j63]Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge:
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Theory Pract. Log. Program. 18(3-4): 520-534 (2018) - [c189]Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub:
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018: 509-517 - [c188]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. ASP-DAC 2018: 434-439 - [c187]Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski:
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. CMSB 2018: 59-74 - [c186]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
On leveraging approximations for exact system-level design space exploration: work-in-progress. CODES+ISSS 2018: 15 - [c185]Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Exact multi-objective design space exploration using ASPmT. DATE 2018: 257-260 - [c184]Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - [c183]Mario Alviano, Javier Romero, Torsten Schaub:
Preference Relations by Approximation. KR 2018: 2-11 - [c182]Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Introducing Temporal Stable Models for Linear Dynamic Logic. KR 2018: 12-21 - [c181]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. MBMV 2018 - [i40]Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. CoRR abs/1804.10227 (2018) - [i39]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. CoRR abs/1804.10247 (2018) - [i38]Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub:
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. CoRR abs/1804.10437 (2018) - [i37]Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid Metabolic Network Completion. CoRR abs/1808.04149 (2018) - [i36]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR abs/1810.00453 (2018) - [i35]Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. CoRR abs/1812.04491 (2018) - 2017
- [j62]Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Torsten Schaub:
Automatic construction of parallel portfolios via algorithm configuration. Artif. Intell. 244: 272-290 (2017) - [j61]Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub:
Clingcon: The next generation. Theory Pract. Log. Program. 17(4): 408-461 (2017) - [j60]Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub:
Clingo goes linear constraints over reals and integers. Theory Pract. Log. Program. 17(5-6): 872-888 (2017) - [c180]Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. DATE 2017: 306-309 - [c179]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017: 1216-1223 - [c178]Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub:
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). IJCAI 2017: 5025-5029 - [c177]Javier Romero, Torsten Schaub, Tran Cao Son:
Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR 2017 - [c176]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR 2017: 117-131 - [c175]Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura:
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. LPNMR 2017: 265-278 - [c174]Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. LPNMR 2017: 286-300 - [c173]Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid Metabolic Network Completion. LPNMR 2017: 308-321 - [c172]Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR 2017 - [c171]Roland Kaminski, Torsten Schaub, Philipp Wanko:
A Tutorial on Hybrid Answer Set Solving with clingo. Reasoning Web 2017: 167-203 - [i34]