Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philipp Wanko
@article{DBLP:journals/ijpp/MullerWHS24,
author = {Luise M{\"{u}}ller and
Philipp Wanko and
Christian Haubelt and
Torsten Schaub},
title = {Investigating Methods for ASPmT-Based Design Space Exploration in
Evolutionary Product Design},
journal = {Int. J. Parallel Program.},
volume = {52},
number = {1},
pages = {59--92},
year = {2024},
url = {https://doi.org/10.1007/s10766-024-00763-2},
doi = {10.1007/S10766-024-00763-2},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/MullerWHS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-12153,
author = {Roland Kaminski and
Torsten Schaub and
Tran Cao Son and
Jir{\'{\i}} Svancara and
Philipp Wanko},
title = {Routing and Scheduling in Answer Set Programming applied to Multi-Agent
Path Finding: Preliminary Report},
journal = {CoRR},
volume = {abs/2403.12153},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.12153},
doi = {10.48550/ARXIV.2403.12153},
eprinttype = {arXiv},
eprint = {2403.12153},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-12153.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/HaubeltMNSW23,
author = {Christian Haubelt and
Luise M{\"{u}}ller and
Kai Neubauer and
Torsten Schaub and
Philipp Wanko},
title = {Evolutionary System Design with Answer Set Programming},
journal = {Algorithms},
volume = {16},
number = {4},
pages = {179},
year = {2023},
url = {https://doi.org/10.3390/a16040179},
doi = {10.3390/A16040179},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/HaubeltMNSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/CabalarFSW23,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {On the Semantics of Hybrid {ASP} Systems Based on Clingo},
journal = {Algorithms},
volume = {16},
number = {4},
pages = {185},
year = {2023},
url = {https://doi.org/10.3390/a16040185},
doi = {10.3390/A16040185},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/CabalarFSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/RajaratnamSWCLS23,
author = {David Rajaratnam and
Torsten Schaub and
Philipp Wanko and
Kai Chen and
Sirui Liu and
Tran Cao Son},
title = {Solving an Industrial-Scale Warehouse Delivery Problem with Answer
Set Programming Modulo Difference Constraints},
journal = {Algorithms},
volume = {16},
number = {4},
pages = {216},
year = {2023},
url = {https://doi.org/10.3390/a16040216},
doi = {10.3390/A16040216},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/RajaratnamSWCLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KaminskiRSW23,
author = {Roland Kaminski and
Javier Romero and
Torsten Schaub and
Philipp Wanko},
title = {How to Build Your Own ASP-based System?!},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {299--361},
year = {2023},
url = {https://doi.org/10.1017/S1471068421000508},
doi = {10.1017/S1471068421000508},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KaminskiRSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BehrensKSSSW23,
author = {Jan Behrens and
Roland Kaminski and
Torsten Schaub and
Tran Cao Son and
Jiri Svancara and
Philipp Wanko},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Routing and Scheduling in different ways: Abridged Preliminary Report},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper2ASPOCP.pdf},
timestamp = {Mon, 18 Dec 2023 10:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BehrensKSSSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SvancaraTBSWK23,
author = {Jir{\'{\i}} Svancara and
Etienne Tignon and
Roman Bart{\'{a}}k and
Torsten Schaub and
Philipp Wanko and
Roland Kaminski},
editor = {Roman Bart{\'{a}}k and
Wheeler Ruml and
Oren Salzman},
title = {Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to
Wait, That Is the Question [Extended Abstract]},
booktitle = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
2023, July 14-16, 2023, Prague, Czech Republic},
pages = {185--186},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/socs.v16i1.27306},
doi = {10.1609/SOCS.V16I1.27306},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/SvancaraTBSWK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AbelsJOSTW21,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
title = {Train Scheduling with Hybrid Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {317--347},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000046},
doi = {10.1017/S1471068420000046},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AbelsJOSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03061,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {Towards a Semantics for Hybrid {ASP} systems},
journal = {CoRR},
volume = {abs/2108.03061},
year = {2021},
url = {https://arxiv.org/abs/2108.03061},
eprinttype = {arXiv},
eprint = {2108.03061},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CabalarFSW20,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {An {ASP} Semantics for Constraints Involving Conditional Aggregates},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {664--671},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200152},
doi = {10.3233/FAIA200152},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CabalarFSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CabalarFSW20,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Uniform Treatment of Aggregates and Constraints in Hybrid {ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {193--202},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/20},
doi = {10.24963/KR.2020/20},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CabalarFSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06911,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {An {ASP} semantics for Constraints involving Conditional Aggregates},
journal = {CoRR},
volume = {abs/2002.06911},
year = {2020},
url = {https://arxiv.org/abs/2002.06911},
eprinttype = {arXiv},
eprint = {2002.06911},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04176,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {A Uniform Treatment of Aggregates and Constraints in Hybrid {ASP}},
journal = {CoRR},
volume = {abs/2003.04176},
year = {2020},
url = {https://arxiv.org/abs/2003.04176},
eprinttype = {arXiv},
eprint = {2003.04176},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08598,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
title = {Train Scheduling with Hybrid Answer Set Programming},
journal = {CoRR},
volume = {abs/2003.08598},
year = {2020},
url = {https://arxiv.org/abs/2003.08598},
eprinttype = {arXiv},
eprint = {2003.08598},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06692,
author = {Roland Kaminski and
Javier Romero and
Torsten Schaub and
Philipp Wanko},
title = {How to build your own ASP-based system?!},
journal = {CoRR},
volume = {abs/2008.06692},
year = {2020},
url = {https://arxiv.org/abs/2008.06692},
eprinttype = {arXiv},
eprint = {2008.06692},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BanbaraIKOSSTW19,
author = {Mutsunori Banbara and
Katsumi Inoue and
Benjamin Kaufmann and
Tenda Okimoto and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Philipp Wanko},
title = {teaspoon : solving the curriculum-based course timetabling problems
with answer set programming},
journal = {Ann. Oper. Res.},
volume = {275},
number = {1},
pages = {3--37},
year = {2019},
url = {https://doi.org/10.1007/s10479-018-2757-7},
doi = {10.1007/S10479-018-2757-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/anor/BanbaraIKOSSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FriouxSSSW19,
author = {Cl{\'{e}}mence Frioux and
Torsten Schaub and
Sebastian Schellhorn and
Anne Siegel and
Philipp Wanko},
title = {Hybrid metabolic network completion},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {1},
pages = {83--108},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000455},
doi = {10.1017/S1471068418000455},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FriouxSSSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AbelsJOSTW19,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Train Scheduling with Hybrid {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {3--17},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_1},
doi = {10.1007/978-3-030-20528-7\_1},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AbelsJOSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05248,
author = {Philipp Wanko},
title = {Design Space Exploration via Answer Set Programming Modulo Theories},
journal = {CoRR},
volume = {abs/1905.05248},
year = {2019},
url = {http://arxiv.org/abs/1905.05248},
eprinttype = {arXiv},
eprint = {1905.05248},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GebserKKLOORSSW18,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Patrick L{\"{u}}hne and
Philipp Obermeier and
Max Ostrowski and
Javier Romero and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {The Potsdam Answer Set Solving Collection 5.0},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {181--182},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0528-x},
doi = {10.1007/S13218-018-0528-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/GebserKKLOORSSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/HaubeltNSW18,
author = {Christian Haubelt and
Kai Neubauer and
Torsten Schaub and
Philipp Wanko},
title = {Design Space Exploration with Answer Set Programming},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {205--206},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0530-3},
doi = {10.1007/S13218-018-0530-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/HaubeltNSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/NeubauerHWS18,
author = {Kai Neubauer and
Christian Haubelt and
Philipp Wanko and
Torsten Schaub},
editor = {Youngsoo Shin},
title = {Utilizing quad-trees for efficient design space exploration with partial
assignment evaluation},
booktitle = {23rd Asia and South Pacific Design Automation Conference, {ASP-DAC}
2018, Jeju, Korea (South), January 22-25, 2018},
pages = {434--439},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ASPDAC.2018.8297362},
doi = {10.1109/ASPDAC.2018.8297362},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/NeubauerHWS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/NeubauerHWS18,
author = {Kai Neubauer and
Christian Haubelt and
Philipp Wanko and
Torsten Schaub},
editor = {Aviral Shrivastava and
Sudeep Pasricha},
title = {On leveraging approximations for exact system-level design space exploration:
work-in-progress},
booktitle = {Proceedings of the International Conference on Hardware/Software Codesign
and System Synthesis, {CODES+ISSS} 2018, part of {ESWEEK} 2018, Torino,
Italy, September 30 - October 5, 2018},
pages = {15},
publisher = {{IEEE} / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/CODESISSS.2018.8525974},
doi = {10.1109/CODESISSS.2018.8525974},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/NeubauerHWS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NeubauerWSH18,
author = {Kai Neubauer and
Philipp Wanko and
Torsten Schaub and
Christian Haubelt},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Exact multi-objective design space exploration using ASPmT},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {257--260},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342014},
doi = {10.23919/DATE.2018.8342014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/NeubauerWSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/NeubauerHWS18,
author = {Kai Neubauer and
Christian Haubelt and
Philipp Wanko and
Torsten Schaub},
title = {Systematic Test Case Instance Generation for the Assessment of System-level
Design Space Exploration Approaches},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
February 8-9, 2018},
publisher = {Universit{\"{a}}t T{\"{u}}bingen},
year = {2018},
url = {https://hdl.handle.net/10900/84295},
timestamp = {Wed, 04 May 2022 13:03:25 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/NeubauerHWS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04149,
author = {Cl{\'{e}}mence Frioux and
Torsten Schaub and
Sebastian Schellhorn and
Anne Siegel and
Philipp Wanko},
title = {Hybrid Metabolic Network Completion},
journal = {CoRR},
volume = {abs/1808.04149},
year = {2018},
url = {http://arxiv.org/abs/1808.04149},
eprinttype = {arXiv},
eprint = {1808.04149},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JanhunenKOSWS17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Sebastian Schellhorn and
Philipp Wanko and
Torsten Schaub},
title = {Clingo goes linear constraints over reals and integers},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {872--888},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000242},
doi = {10.1017/S1471068417000242},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JanhunenKOSWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NeubauerWSH17,
author = {Kai Neubauer and
Philipp Wanko and
Torsten Schaub and
Christian Haubelt},
editor = {David Atienza and
Giorgio Di Natale},
title = {Enhancing symbolic system synthesis through ASPmT with partial assignment
evaluation},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {306--309},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927005},
doi = {10.23919/DATE.2017.7927005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/NeubauerWSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FriouxSSSW17,
author = {Cl{\'{e}}mence Frioux and
Torsten Schaub and
Sebastian Schellhorn and
Anne Siegel and
Philipp Wanko},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {Hybrid Metabolic Network Completion},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {308--321},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_28},
doi = {10.1007/978-3-319-61660-5\_28},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FriouxSSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {clingo goes Linear Constraints over Reals and Integers},
booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
Computing Paradigms co-located with the 14th International Conference
on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenKOSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/KaminskiSW17,
author = {Roland Kaminski and
Torsten Schaub and
Philipp Wanko},
editor = {Giovambattista Ianni and
Domenico Lembo and
Leopoldo E. Bertossi and
Wolfgang Faber and
Birte Glimm and
Georg Gottlob and
Steffen Staab},
title = {A Tutorial on Hybrid Answer Set Solving with clingo},
booktitle = {Reasoning Web. Semantic Interoperability on the Web - 13th International
Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {10370},
pages = {167--203},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61033-7\_6},
doi = {10.1007/978-3-319-61033-7\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rweb/KaminskiSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {Clingo goes Linear Constraints over Reals and Integers},
journal = {CoRR},
volume = {abs/1707.04053},
year = {2017},
url = {http://arxiv.org/abs/1707.04053},
eprinttype = {arXiv},
eprint = {1707.04053},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JanhunenKOSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKOSW16,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub and
Philipp Wanko},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Theory Solving Made Easy with Clingo 5},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {2:1--2:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.2},
doi = {10.4230/OASICS.ICLP.2016.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKOSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/0003SW16,
author = {Javier Romero and
Torsten Schaub and
Philipp Wanko},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Computing Diverse Optimal Stable Models},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {3:1--3:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.3},
doi = {10.4230/OASICS.ICLP.2016.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/0003SW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wanko16,
author = {Philipp Wanko},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Scalable Design Space Exploration via Answer Set Programming},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {23:1--23:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.23},
doi = {10.4230/OASICS.ICLP.2016.23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Wanko16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GebserKROSW13,
author = {Martin Gebser and
Benjamin Kaufmann and
Javier Romero and
Ram{\'{o}}n Otero and
Torsten Schaub and
Philipp Wanko},
editor = {Marie desJardins and
Michael L. Littman},
title = {Domain-Specific Heuristics in Answer Set Programming},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {350--356},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8585},
doi = {10.1609/AAAI.V27I1.8585},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GebserKROSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-09 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
