Torsten Schaub

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 166

Top Venues

CoRR

Theory Pract. Log. Program.

LPNMR

Künstliche Intell.

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Luise Müller, Philipp Wanko, Christian Haubelt, Torsten Schaub
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design. Int. J. Parallel Program. 52 (1-2) (2024)
Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. CoRR (2024)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric Dynamic Equilibrium Logic. CoRR (2024)
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR (2024)
Jirí Svancara, Dor Atzmon, Klaus Strauch, Roland Kaminski, Torsten Schaub
Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. ICAART (3) (2024)
Javier Romero, Torsten Schaub, Klaus Strauch
On the generalization of learned constraints for ASP solving in temporal domains. CoRR (2024)
Roland Kaminski, Torsten Schaub, Klaus Strauch, Jirí Svancara
Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. ICAART (1) (2024)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM (2024)
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)
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
Answer Set Programming Made Easy. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA (2023)
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)
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) (2023)
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) (2023)
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) (2023)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR (2023)
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
A general framework for preferences in answer set programming. Artif. Intell. 325 (2023)
Roland Kaminski, Torsten Schaub
On the Foundations of Grounding in Answer Set Programming. Theory Pract. Log. Program. 23 (6) (2023)
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko
Evolutionary System Design with Answer Set Programming. Algorithms 16 (4) (2023)
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)
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)
Nicolas Rühling, Torsten Schaub, Tobias Stolzmann
Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. ConfWS (2023)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16 (4) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Equilibrium Logic over Timed Traces. CoRR (2023)
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
Clingraph: A System for ASP-based Visualization. CoRR (2023)
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
How to Build Your Own ASP-based System?! Theory Pract. Log. Program. 23 (1) (2023)
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)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-Present Temporal Programs over Finite Traces. JELIA (2023)
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL (2023)
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)
Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner
Interactive Configuration with ASP Multi-Shot Solving. ConfWS (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-present temporal programs over finite traces. CoRR (2023)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Answer Set Programming over Timed Traces. LPNMR (2022)
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
Clingraph: ASP-Based Visualization. LPNMR (2022)
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)
Javier Romero, Torsten Schaub, Klaus Strauch
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. RuleML+RR (2022)
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
. RuleML+RR (2022)
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 (2022)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. CoRR (2022)
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)
Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub
Conflict Handling in Product Configuration using Answer Set Programming. ICLP Workshops (2022)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
Towards a Semantics for Hybrid ASP systems. CoRR (2021)
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) (2021)
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops (2021)
Roland Kaminski, Torsten Schaub
On the Foundations of Grounding in Answer Set Programming. CoRR (2021)
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
Answer Set Programming Made Easy. CoRR (2021)
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
Planning with Incomplete Information in Quantified Answer Set Programming. CoRR (2021)
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) (2021)
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
Automata for dynamic answer set solving: Preliminary report. CoRR (2021)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP semantics for Constraints involving Conditional Aggregates. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR (2020)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and Vampire. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
eclingo: A solver for Epistemic Logic Programs. CoRR (2020)
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
Train Scheduling with Hybrid Answer Set Programming. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. CoRR (2020)
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
How to build your own ASP-based system?! CoRR (2020)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III (2020)
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) (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
Implementing Dynamic Answer Set Programming. CoRR (2020)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20 (6) (2020)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Temporal Answer Set Programming. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI (2020)
Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274 (2019)
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. 19 (3) (2019)
Pedro Cabalar, Torsten Schaub
Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That (2019)
Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
telingo = ASP + Time. LPNMR (2019)
Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
The Return of xorro. LPNMR (2019)
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) (2019)
Mario Alviano, Javier Romero, Torsten Schaub
On the Integration of CP-nets in ASPRIN. IJCAI (2019)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR (2019)
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 (2019)
Pedro Cabalar, Torsten Schaub
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog (2019)
Philipp Obermeier, Javier Romero, Torsten Schaub
Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. Open J. Databases 6 (1) (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Lower Bound Founded Logic of Here-and-There. JELIA (2019)
Pedro Cabalar, Martín Diéguez, Torsten Schaub
Towards Dynamic Answer Set Programming over Finite Traces. LPNMR (2019)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid metabolic network completion. Theory Pract. Log. Program. 19 (1) (2019)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Multi-shot ASP solving with clingo. Theory Pract. Log. Program. 19 (1) (2019)
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
Train Scheduling with Hybrid ASP. LPNMR (2019)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid Metabolic Network Completion. CoRR (2018)
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. ASP-DAC (2018)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. CoRR (2018)
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)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18 (3-4) (2018)
Mario Alviano, Javier Romero, Torsten Schaub
Preference Relations by Approximation. KR (2018)
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) (2018)
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI (2018)
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) (2018)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR (2018)
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
On leveraging approximations for exact system-level design space exploration: work-in-progress. CODES+ISSS (2018)
Torsten Schaub, Stefan Woltran
Answer set programming unleashed! Künstliche Intell. 32 (2-3) (2018)
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
Experimenting with robotic intra-logistics domains. CoRR (2018)
Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS (2018)
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 (2018)
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) (2018)

Torsten Schaub.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Torsten Schaub