Philipp Wanko

Orcid: 0000-0003-4986-4881

According to our database1, Philipp Wanko authored at least 27 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Evolutionary System Design with Answer Set Programming.
Algorithms, April, 2023

On the Semantics of Hybrid ASP Systems Based on Clingo.
Algorithms, April, 2023

How to Build Your Own ASP-based System?!
Theory Pract. Log. Program., 2023

Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract].
Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Routing and Scheduling in different ways: Abridged Preliminary Report.
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.
Theory Pract. Log. Program., 2021

Towards a Semantics for Hybrid ASP systems.
CoRR, 2021

2020
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

An ASP Semantics for Constraints Involving Conditional Aggregates.
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.
Theory Pract. Log. Program., 2019

Design Space Exploration via Answer Set Programming Modulo Theories.
CoRR, 2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res., 2019

Train Scheduling with Hybrid ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018
Design Space Exploration with Answer Set Programming.
Künstliche Intell., 2018

The Potsdam Answer Set Solving Collection 5.0.
Künstliche Intell., 2018

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Exact multi-objective design space exploration using ASPmT.
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.
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.
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017
Clingo goes linear constraints over reals and integers.
Theory Pract. Log. Program., 2017

A Tutorial on Hybrid Answer Set Solving with clingo.
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
Scalable Design Space Exploration via Answer Set Programming.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Theory Solving Made Easy with Clingo 5.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Computing Diverse Optimal Stable Models.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2013
Domain-Specific Heuristics in Answer Set Programming.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013


  Loading...