( en | de | ru )

 

Disambiguation of "Wanko, Philipp"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.

, , , and . DATE, page 306-309. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Wanko

Eric Wanko

Marius Wanko

Thomas Wankowski

Helmut Wanko

 

Other publications of authors with the same name

Scalable Design Space Exploration via Answer Set Programming.. ICLP (Technical Communications), volume 52 of OASIcs, page 23:1-23:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Routing and Scheduling in different ways: Abridged Preliminary Report., , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Evolutionary System Design with Answer Set Programming., , , , and . Algorithms, 16 (4): 179 (April 2023)Train Scheduling with Hybrid ASP., , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 3-17. Springer, (2019)Train Scheduling with Hybrid Answer Set Programming., , , , , and . Theory Pract. Log. Program., 21 (3): 317-347 (2021)Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report., , , , and . CoRR, (2024)Design Space Exploration via Answer Set Programming Modulo Theories.. CoRR, (2019)Train Scheduling with Hybrid Answer Set Programming., , , , , and . CoRR, (2020)Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches., , , and . MBMV, Universität Tübingen, (2018)An ASP Semantics for Constraints Involving Conditional Aggregates., , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 664-671. IOS Press, (2020)