Philipp Wanko

According to our database, Philipp Wanko authored at least 30 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design.

Luise Müller, Philipp Wanko, Christian Haubelt, Torsten Schaub

Int. J. Parallel Program., April, 2024

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report.

Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko

CoRR, 2024

Towards Industrial-Scale Product Configuration.

Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.

David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son

Algorithms, April, 2023

Evolutionary System Design with Answer Set Programming.

Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko

Algorithms, April, 2023

On the Semantics of Hybrid ASP Systems Based on Clingo.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Algorithms, April, 2023

How to Build Your Own ASP-based System?!

Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

Theory Pract. Log. Program., 2023

Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract].

Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Routing and Scheduling in different ways: Abridged Preliminary Report.

Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2021

Train Scheduling with Hybrid Answer Set Programming.

Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

Theory Pract. Log. Program., 2021

Towards a Semantics for Hybrid ASP systems.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

CoRR, 2021

2020

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

An ASP Semantics for Constraints Involving Conditional Aggregates.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Hybrid metabolic network completion.

Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko

Theory Pract. Log. Program., 2019

Design Space Exploration via Answer Set Programming Modulo Theories.

Philipp Wanko

CoRR, 2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Ann. Oper. Res., 2019

Train Scheduling with Hybrid ASP.

Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

Design Space Exploration with Answer Set Programming.

Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko

Künstliche Intell., 2018

The Potsdam Answer Set Solving Collection 5.0.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Künstliche Intell., 2018

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Exact multi-objective design space exploration using ASPmT.

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

On leveraging approximations for exact system-level design space exploration: work-in-progress.

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

Clingo goes linear constraints over reals and integers.

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub

Theory Pract. Log. Program., 2017

A Tutorial on Hybrid Answer Set Solving with clingo.

Roland Kaminski, Torsten Schaub, Philipp Wanko

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Scalable Design Space Exploration via Answer Set Programming.

Philipp Wanko

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Theory Solving Made Easy with Clingo 5.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Computing Diverse Optimal Stable Models.

Javier Romero, Torsten Schaub, Philipp Wanko

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2013

Domain-Specific Heuristics in Answer Set Programming.

Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013