Philipp Wanko

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 36

Top Topics

Answer Set Programming

Linear Constraints

Design Space Exploration

Top Venues

Theory Pract. Log. Program.

ICLP (Technical Communications)

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)
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)
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)
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko
Evolutionary System Design with Answer Set Programming. Algorithms 16 (4) (2023)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16 (4) (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, Jorge Fandinno, Torsten Schaub, Philipp Wanko
Towards a Semantics for Hybrid ASP systems. 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, 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)
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)
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
How to build your own ASP-based system?! CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI (2020)
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)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid metabolic network completion. 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)
Philipp Wanko
Design Space Exploration via Answer Set Programming Modulo Theories. CoRR (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)
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
On leveraging approximations for exact system-level design space exploration: work-in-progress. CODES+ISSS (2018)
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)
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) (2018)
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
Exact multi-objective design space exploration using ASPmT. DATE (2018)
Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko
Design Space Exploration with Answer Set Programming. Künstliche Intell. 32 (2-3) (2018)
Roland Kaminski, Torsten Schaub, Philipp Wanko
A Tutorial on Hybrid Answer Set Solving with clingo. Reasoning Web (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
Clingo goes Linear Constraints over Reals and Integers. CoRR (2017)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid Metabolic Network Completion. LPNMR (2017)
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. DATE (2017)
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) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR (2017)
Philipp Wanko
Scalable Design Space Exploration via Answer Set Programming. ICLP (Technical Communications) (2016)
Javier Romero, Torsten Schaub, Philipp Wanko
Computing Diverse Optimal Stable Models. ICLP (Technical Communications) (2016)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) (2016)
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko
Domain-Specific Heuristics in Answer Set Programming. AAAI (2013)