


Остановите войну!
for scientists:
Torsten 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
- 2022
- [c206]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 - [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]Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub:
Clingcon: The Next Generation. CoRR abs/1705.04569 (2017) - [i33]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-shot ASP solving with clingo. CoRR abs/1705.09811 (2017) - [i32]Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
Clingo goes Linear Constraints over Reals and Integers. CoRR abs/1707.04053 (2017) - [i31]Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub:
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. CoRR abs/1711.05090 (2017) - 2016
- [j59]Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
:
Grounding and Solving in Answer Set Programming. AI Mag. 37(3): 25-32 (2016) - [j58]Martin Gebser, Torsten Schaub
:
Modeling and Language Extensions. AI Mag. 37(3): 33-44 (2016) - [j57]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. Biosyst. 149: 139-153 (2016) - [j56]Michael Abseher, Martin Gebser, Nysret Musliu
, Torsten Schaub
, Stefan Woltran:
Shift Design with Answer Set Programming. Fundam. Informaticae 147(1): 1-25 (2016) - [j55]Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
:
Answer Set Programming Modulo Acyclicity. Fundam. Informaticae 147(1): 63-91 (2016) - [c170]Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh:
Solving Goal Recognition Design Using ASP. AAAI 2016: 3181-3187 - [c169]Paul Vicol, James P. Delgrande, Torsten Schaub
:
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. ECAI 2016: 1221-1229 - [c168]Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub:
Fouille de motifs séquentiels avec ASP. EGC 2016: 39-50 - [c167]Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
:
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. EGC (best of volume) 2016: 41-81 - [c166]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
, Philipp Wanko:
Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) 2016: 2:1-2:15 - [c165]Javier Romero, Torsten Schaub
, Philipp Wanko:
Computing Diverse Optimal Stable Models. ICLP (Technical Communications) 2016: 3:1-3:14 - [c164]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
:
Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) 2016: 9:1-9:15 - [c163]Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran:
ASP for Anytime Dynamic Programming on Tree Decompositions. IJCAI 2016: 979-986 - [c162]Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub:
An ASP Semantics for Default Reasoning with Constraints. IJCAI 2016: 1015-1021 - [c161]Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub:
Knowledge-Based Sequence Mining with ASP. IJCAI 2016: 1497-1504 - [c160]Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub
, Shahab Tasharrofi:
Writing Declarative Specifications for Clauses. JELIA 2016: 256-271 - [i30]Martin Gebser, Roland Kaminski, Torsten Schaub:
Grounding Recursive Aggregates: Preliminary Report. CoRR abs/1603.03884 (2016) - [i29]Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke:
Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. CoRR abs/1611.06413 (2016) - 2015
- [j54]Marius Lindauer
, Holger H. Hoos, Frank Hutter, Torsten Schaub
:
AutoFolio: An Automatically Configured Algorithm Selector. J. Artif. Intell. Res. 53: 745-778 (2015) - [j53]Santiago Videla, Carito Guziolowski, Federica Eduati
, Sven Thiele
, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez
, Torsten Schaub
, Anne Siegel:
Learning Boolean logic models of signaling networks with ASP. Theor. Comput. Sci. 599: 79-101 (2015) - [j52]Holger H. Hoos
, Roland Kaminski, Marius Lindauer
, Torsten Schaub
:
aspeed: Solver scheduling via answer set programming. Theory Pract. Log. Program. 15(1): 117-142 (2015) - [j51]Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
:
Abstract gringo. Theory Pract. Log. Program. 15(4-5): 449-463 (2015) - [c159]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015: 1467-1474 - [c158]Marijn Heule, Torsten Schaub:
What's Hot in the SAT and ASP Competitions. AAAI 2015: 4322-4323 - [c157]Marius Lindauer
, Holger H. Hoos, Frank Hutter, Torsten Schaub:
AutoFolio: Algorithm Configuration for Algorithm Selection. AAAI Workshop: Algorithm Configuration 2015 - [c156]Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub
:
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 17-32 - [c155]Max Ostrowski, Loïc Paulevé, Torsten Schaub
, Anne Siegel, Carito Guziolowski
:
Boolean Network Identification from Multiplex Time Series Data. CMSB 2015: 170-181 - [c154]Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt:
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. DATE 2015: 357-362 - [c153]Michael Abseher, Martin Gebser, Nysret Musliu
, Torsten Schaub
, Stefan Woltran:
Shift Design with Answer Set Programming. LPNMR 2015: 32-39 - [c152]Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt
, Torsten Schaub
:
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. LPNMR 2015: 55-68 - [c151]Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub
:
Integrating ASP into ROS for Reasoning in Robots. LPNMR 2015: 69-82 - [c150]