Content: Publications

Publications by Philipp Wanko

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

Train scheduling with hybrid ASP

the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19) (2019)

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

Hybrid Metabolic Network Completion

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 83-108 (2018)

Kai Neubauer, Philipp Wanko, Tobias Neumann, Christian Haubelt

Exact Multi-Objective Design Space Exploration using ASPmT

the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18) (2018)

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

Clingo goes Linear Constraints over Reals and Integers

Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)

Roland Kaminski, Torsten Schaub, Philipp Wanko

A Tutorial on Hybrid Answer Set Solving with clingo

the Thirteenth International Summer School of the Reasoning Web (2017)

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

the Twentieth Conference on Design, Automation and Test in Europe (DATE'17) (2017)

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

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

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

Domain-specific Heuristics in Answer Set Programming

Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)