Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Gebser
@article{DBLP:journals/tplp/AlvianoFG23,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Aggregate Semantics for Propositional Answer Set Programs},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {157--194},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000047},
doi = {10.1017/S1471068422000047},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TarzariolGSL23,
author = {Alice Tarzariol and
Martin Gebser and
Konstantin Schekotihin and
Mark Law},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Learning to Break Symmetries for Efficient Optimization in Answer
Set Programming},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6541--6549},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25804},
doi = {10.1609/AAAI.V37I5.25804},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TarzariolGSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/TasselGS23,
author = {Pierre Tassel and
Martin Gebser and
Konstantin Schekotihin},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling
Problems Based on Constraint Programming},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {614--622},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27243},
doi = {10.1609/ICAPS.V33I1.27243},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/TasselGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/KovacsTG23,
author = {Benjamin Kov{\'{a}}cs and
Pierre Tassel and
Martin Gebser},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {Optimizing Dispatching Strategies for Semiconductor Manufacturing
Facilities with Genetic Programming},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2023, Lisbon, Portugal, July 15-19, 2023},
pages = {1374--1382},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583131.3590402},
doi = {10.1145/3583131.3590402},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/KovacsTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ElKholanyAG23,
author = {Mohammed M. S. El{-}Kholany and
Ramsha Ali and
Martin Gebser},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing
Processes},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {243--252},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_17},
doi = {10.1007/978-3-031-43619-2\_17},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ElKholanyAG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BortoliCGS23,
author = {Marco De Bortoli and
Luk{\'{a}}s Chrpa and
Martin Gebser and
Gerald Steinbauer{-}Wagner},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Enhancing Temporal Planning by Sequential Macro-Actions},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {595--604},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_40},
doi = {10.1007/978-3-031-43619-2\_40},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BortoliCGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AliEG23,
author = {Ramsha Ali and
Mohammed M. S. El{-}Kholany and
Martin Gebser},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Flexible Job-shop Scheduling for Semiconductor Manufacturing with
Hybrid Answer Set Programming (Application Paper)},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {85--95},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_6},
doi = {10.1007/978-3-031-24841-2\_6},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/AliEG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/BortoliCGS23,
author = {Marco De Bortoli and
Luk{\'{a}}s Chrpa and
Martin Gebser and
Gerald Steinbauer{-}Wagner},
editor = {C{\'{e}}dric Buche and
Alessandra Rossi and
Marco Sim{\~{o}}es and
Ubbo Visser},
title = {Improving Applicability of Planning in the RoboCup Logistics League
Using Macro-actions Refinement},
booktitle = {RoboCup 2023: Robot World Cup {XXVI} [Bordeaux, France, 4-10 July,
2023]},
series = {Lecture Notes in Computer Science},
volume = {14140},
pages = {287--298},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-55015-7\_24},
doi = {10.1007/978-3-031-55015-7\_24},
timestamp = {Fri, 12 Apr 2024 13:24:15 +0200},
biburl = {https://dblp.org/rec/conf/robocup/BortoliCGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/TasselKGSSS23,
author = {Pierre Tassel and
Benjamin Kov{\'{a}}cs and
Martin Gebser and
Konstantin Schekotihin and
Patrick St{\"{o}}ckermann and
Georg Seidel},
title = {Semiconductor Fab Scheduling With Self-Supervised And Reinforcement
Learning},
booktitle = {Winter Simulation Conference, {WSC} 2023, San Antonio, TX, USA, December
10-13, 2023},
pages = {1924--1935},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WSC60868.2023.10407747},
doi = {10.1109/WSC60868.2023.10407747},
timestamp = {Sat, 24 Feb 2024 20:42:44 +0100},
biburl = {https://dblp.org/rec/conf/wsc/TasselKGSSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/StockermannIASGTCZ23,
author = {Patrick St{\"{o}}ckermann and
Alessandro Immordino and
Thomas Altenm{\"{u}}ller and
Georg Seidel and
Martin Gebser and
Pierre Tassel and
Chew Wye Chan and
Feifei Zhang},
title = {Dispatching in Real Frontend Fabs With Industrial Grade Discrete-Event
Simulations by Deep Reinforcement Learning with Evolution Strategies},
booktitle = {Winter Simulation Conference, {WSC} 2023, San Antonio, TX, USA, December
10-13, 2023},
pages = {3047--3058},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WSC60868.2023.10408625},
doi = {10.1109/WSC60868.2023.10408625},
timestamp = {Sat, 24 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/StockermannIASGTCZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2024,
editor = {Martin Gebser and
Ilya Sergey},
title = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52038-9},
doi = {10.1007/978-3-031-52038-9},
isbn = {978-3-031-52037-2},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07162,
author = {Pierre Tassel and
Benjamin Kov{\'{a}}cs and
Martin Gebser and
Konstantin Schekotihin and
Patrick St{\"{o}}ckermann and
Georg Seidel},
title = {Semiconductor Fab Scheduling with Self-Supervised and Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2302.07162},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.07162},
doi = {10.48550/ARXIV.2302.07162},
eprinttype = {arXiv},
eprint = {2302.07162},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-07162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05747,
author = {Pierre Tassel and
Martin Gebser and
Konstantin Schekotihin},
title = {An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling
Problems Based on Constraint Programming},
journal = {CoRR},
volume = {abs/2306.05747},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05747},
doi = {10.48550/ARXIV.2306.05747},
eprinttype = {arXiv},
eprint = {2306.05747},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09168,
author = {Martin Gebser and
Joohyung Lee and
Yuliya Lierler},
title = {Elementary Sets for Logic Programs},
journal = {CoRR},
volume = {abs/2307.09168},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09168},
doi = {10.48550/ARXIV.2307.09168},
eprinttype = {arXiv},
eprint = {2307.09168},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09168.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12081,
author = {Marco De Bortoli and
Luk{\'{a}}s Chrpa and
Martin Gebser and
Gerald Steinbauer{-}Wagner},
title = {Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended
Version)},
journal = {CoRR},
volume = {abs/2307.12081},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12081},
doi = {10.48550/ARXIV.2307.12081},
eprinttype = {arXiv},
eprint = {2307.12081},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14799,
author = {Mohammed M. S. El{-}Kholany and
Ramsha Ali and
Martin Gebser},
title = {Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing
processes (Extended version)},
journal = {CoRR},
volume = {abs/2307.14799},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14799},
doi = {10.48550/ARXIV.2307.14799},
eprinttype = {arXiv},
eprint = {2307.14799},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/TarzariolGS22,
author = {Alice Tarzariol and
Martin Gebser and
Konstantin Schekotihin},
title = {Lifting symmetry breaking constraints with inductive logic programming},
journal = {Mach. Learn.},
volume = {111},
number = {4},
pages = {1303--1326},
year = {2022},
url = {https://doi.org/10.1007/s10994-022-06146-3},
doi = {10.1007/S10994-022-06146-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/TarzariolGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TarzariolSGL22,
author = {Alice Tarzariol and
Konstantin Schekotihin and
Martin Gebser and
Mark Law},
title = {Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial
Problems},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {4},
pages = {606--622},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000151},
doi = {10.1017/S1471068422000151},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/TarzariolSGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/El-KholanyGS22,
author = {Mohammed M. S. El{-}Kholany and
Martin Gebser and
Konstantin Schekotihin},
title = {Problem Decomposition and Multi-shot {ASP} Solving for Job-shop Scheduling},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {4},
pages = {623--639},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000217},
doi = {10.1017/S1471068422000217},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/El-KholanyGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/TasselKGSKS22,
author = {Pierre Tassel and
Benjamin Kov{\'{a}}cs and
Martin Gebser and
Konstantin Schekotihin and
Wolfgang Kohlenbrein and
Philipp Schrott{-}Kostwein},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial
Scheduling},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {638--646},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19852},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/TasselKGSKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/El-KholanySG22,
author = {Mohammed M. S. El{-}Kholany and
Konstantin Schekotihin and
Martin Gebser},
editor = {James Cheney and
Simona Perri},
title = {Decomposition-Based Job-Shop Scheduling with Constrained Clustering},
booktitle = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
pages = {165--180},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7\_11},
doi = {10.1007/978-3-030-94479-7\_11},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/El-KholanySG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/KovacsTGS22,
author = {Benjamin Kov{\'{a}}cs and
Pierre Tassel and
Martin Gebser and
Georg Seidel},
title = {A Customizable Reinforcement Learning Environment for Semiconductor
Fab Simulation},
booktitle = {Winter Simulation Conference, {WSC} 2022, Singapore, December 11-14,
2022},
pages = {2663--2674},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/WSC57314.2022.10015524},
doi = {10.1109/WSC57314.2022.10015524},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/KovacsTGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/FriedrichGT22,
author = {Gerhard Friedrich and
Martin Gebser and
Erich Christian Teppan},
editor = {Birgit Vogel{-}Heuser and
Manuel Wimmer},
title = {Symbolic Artificial Intelligence Methods for Prescriptive Analytics},
booktitle = {Digital Transformation - Core Technologies and Emerging Topics from
a Computer Science Perspective},
pages = {385--414},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65004-2\_16},
doi = {10.1007/978-3-662-65004-2\_16},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/FriedrichGT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-02685,
editor = {Yuliya Lierler and
Jos{\'{e}} F. Morales and
Carmine Dodaro and
Ver{\'{o}}nica Dahl and
Martin Gebser and
K. Tuncay Tekle},
title = {Proceedings 38th International Conference on Logic Programming, {ICLP}
2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
31st July 2022 - 6th August 2022},
series = {{EPTCS}},
volume = {364},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.364},
doi = {10.4204/EPTCS.364},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07129,
author = {Alice Tarzariol and
Martin Gebser and
Mark Law and
Konstantin Schekotihin},
title = {Efficient lifting of symmetry breaking constraints for complex combinatorial
problems},
journal = {CoRR},
volume = {abs/2205.07129},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07129},
doi = {10.48550/ARXIV.2205.07129},
eprinttype = {arXiv},
eprint = {2205.07129},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07537,
author = {Mohammed M. S. El{-}Kholany and
Martin Gebser and
Konstantin Schekotihin},
title = {Problem Decomposition and Multi-shot {ASP} Solving for Job-shop Scheduling},
journal = {CoRR},
volume = {abs/2205.07537},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07537},
doi = {10.48550/ARXIV.2205.07537},
eprinttype = {arXiv},
eprint = {2205.07537},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KovacsTKSG21,
author = {Benjamin Kov{\'{a}}cs and
Pierre Tassel and
Wolfgang Kohlenbrein and
Philipp Schrott{-}Kostwein and
Martin Gebser},
editor = {Laurent D. Michel},
title = {Utilizing Constraint Optimization for Industrial Machine Workload
Balancing},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {36:1--36:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.36},
doi = {10.4230/LIPICS.CP.2021.36},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KovacsTKSG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TarzariolGS21,
author = {Alice Tarzariol and
Martin Gebser and
Konstantin Schekotihin},
editor = {Zhi{-}Hua Zhou},
title = {Lifting Symmetry Breaking Constraints with Inductive Logic Programming},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2062--2068},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/284},
doi = {10.24963/IJCAI.2021/284},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TarzariolGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2021,
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5},
doi = {10.1007/978-3-030-75775-5},
isbn = {978-3-030-75774-8},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03760,
author = {Pierre Tassel and
Martin Gebser and
Konstantin Schekotihin},
title = {A Reinforcement Learning Environment For Job-Shop Scheduling},
journal = {CoRR},
volume = {abs/2104.03760},
year = {2021},
url = {https://arxiv.org/abs/2104.03760},
eprinttype = {arXiv},
eprint = {2104.03760},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08662,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Aggregate Semantics for Propositional Answer Set Programs},
journal = {CoRR},
volume = {abs/2109.08662},
year = {2021},
url = {https://arxiv.org/abs/2109.08662},
eprinttype = {arXiv},
eprint = {2109.08662},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-11806,
author = {Alice Tarzariol and
Martin Gebser and
Konstantin Schekotihin},
title = {Lifting Symmetry Breaking Constraints with Inductive Logic Programming},
journal = {CoRR},
volume = {abs/2112.11806},
year = {2021},
url = {https://arxiv.org/abs/2112.11806},
eprinttype = {arXiv},
eprint = {2112.11806},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-11806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GebserJR20,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
title = {Declarative encodings of acyclicity properties},
journal = {J. Log. Comput.},
volume = {30},
number = {4},
pages = {923--952},
year = {2020},
url = {https://doi.org/10.1093/logcom/exv063},
doi = {10.1093/LOGCOM/EXV063},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GebserJR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserMR20,
author = {Martin Gebser and
Marco Maratea and
Francesco Ricca},
title = {The Seventh Answer Set Programming Competition: Design and Results},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {2},
pages = {176--204},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000061},
doi = {10.1017/S1471068419000061},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriFGIKKLM20,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {2},
pages = {294--309},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000450},
doi = {10.1017/S1471068419000450},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriFGIKKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TasselGR20,
author = {Pierre Tassel and
Martin Gebser and
Mohamed Rbaia},
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {An {ASP} Multi-Shot Encoding for the Aircraft Routing and Maintenance
Planning Problem},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TasselGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2020w,
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678},
urn = {urn:nbn:de:0074-2678-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserKKS19,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
title = {Multi-shot {ASP} solving with clingo},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {1},
pages = {27--82},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000054},
doi = {10.1017/S1471068418000054},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserKKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DimopoulosGLRS19,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
title = {plasp 3: Towards Effective {ASP} Planning},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {477--504},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000583},
doi = {10.1017/S1471068418000583},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DimopoulosGLRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09134,
author = {Martin Gebser and
Marco Maratea and
Francesco Ricca},
title = {The Seventh Answer Set Programming Competition: Design and Results},
journal = {CoRR},
volume = {abs/1904.09134},
year = {2019},
url = {http://arxiv.org/abs/1904.09134},
eprinttype = {arXiv},
eprint = {1904.09134},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04326,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {CoRR},
volume = {abs/1911.04326},
year = {2019},
url = {http://arxiv.org/abs/1911.04326},
eprinttype = {arXiv},
eprint = {1911.04326},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BobdaYGIS18,
author = {Christophe Bobda and
Franck Yonga and
Martin Gebser and
Harold Ishebabi and
Torsten Schaub},
title = {High-level synthesis of on-chip multiprocessor architectures based
on answer set programming},
journal = {J. Parallel Distributed Comput.},
volume = {117},
pages = {161--179},
year = {2018},
url = {https://doi.org/10.1016/j.jpdc.2018.02.010},
doi = {10.1016/J.JPDC.2018.02.010},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BobdaYGIS18.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/tplp/GebserOOS18,
author = {Martin Gebser and
Philipp Obermeier and
Thomas Otto and
Torsten Schaub and
Orkunt Sabuncu and
Van Nguyen and
Tran Cao Son},
title = {Experimenting with robotic intra-logistics domains},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {502--519},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000200},
doi = {10.1017/S1471068418000200},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserOOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserOSR18,
author = {Martin Gebser and
Philipp Obermeier and
Torsten Schaub and
Michel Ratsch{-}Heitmann and
Mario Runge},
title = {Routing Driverless Transport Vehicles in Car Assembly with Answer
Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {520--534},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000182},
doi = {10.1017/S1471068418000182},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserOSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SchapersNLGS18,
author = {Bj{\"{o}}rn Sch{\"{a}}pers and
Tim Niemueller and
Gerhard Lakemeyer and
Martin Gebser and
Torsten Schaub},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {ASP-Based Time-Bounded Planning for Logistics Robots},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {509--517},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17777},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/SchapersNLGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GebserLMPRS18,
author = {Martin Gebser and
Nicola Leone and
Marco Maratea and
Simona Perri and
Francesco Ricca and
Torsten Schaub},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Evaluation Techniques and Systems for Answer Set Programming: a Survey},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5450--5456},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/769},
doi = {10.24963/IJCAI.2018/769},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GebserLMPRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10247,
author = {Martin Gebser and
Philipp Obermeier and
Thomas Otto and
Torsten Schaub and
Orkunt Sabuncu and
Van Nguyen and
Tran Cao Son},
title = {Experimenting with robotic intra-logistics domains},
journal = {CoRR},
volume = {abs/1804.10247},
year = {2018},
url = {http://arxiv.org/abs/1804.10247},
eprinttype = {arXiv},
eprint = {1804.10247},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10437,
author = {Martin Gebser and
Philipp Obermeier and
Michel Ratsch{-}Heitmann and
Mario Runge and
Torsten Schaub},
title = {Routing Driverless Transport Vehicles in Car Assembly with Answer
Set Programming},
journal = {CoRR},
volume = {abs/1804.10437},
year = {2018},
url = {http://arxiv.org/abs/1804.10437},
eprinttype = {arXiv},
eprint = {1804.10437},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-04491,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
title = {plasp 3: Towards Effective {ASP} Planning},
journal = {CoRR},
volume = {abs/1812.04491},
year = {2018},
url = {http://arxiv.org/abs/1812.04491},
eprinttype = {arXiv},
eprint = {1812.04491},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-04491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GebserMR17,
author = {Martin Gebser and
Marco Maratea and
Francesco Ricca},
title = {The Sixth Answer Set Programming Competition},
journal = {J. Artif. Intell. Res.},
volume = {60},
pages = {41--95},
year = {2017},
url = {https://doi.org/10.1613/jair.5373},
doi = {10.1613/JAIR.5373},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GebserMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sac/JanhunenGRNPC17,
author = {Tomi Janhunen and
Martin Gebser and
Jussi Rintanen and
Henrik J. Nyman and
Johan Pensar and
Jukka Corander},
title = {Learning discrete decomposable graphical models via constraint optimization},
journal = {Stat. Comput.},
volume = {27},
number = {1},
pages = {115--130},
year = {2017},
url = {https://doi.org/10.1007/s11222-015-9611-4},
doi = {10.1007/S11222-015-9611-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sac/JanhunenGRNPC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserMR17,
author = {Martin Gebser and
Marco Maratea and
Francesco Ricca},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {The Design of the Seventh Answer Set Programming Competition},
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 = {3--9},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_1},
doi = {10.1007/978-3-319-61660-5\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DimopoulosGL0S17,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {plasp 3: Towards Effective {ASP} Planning},
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 = {286--300},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_26},
doi = {10.1007/978-3-319-61660-5\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DimopoulosGL0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserKKS17,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
title = {Multi-shot {ASP} solving with clingo},
journal = {CoRR},
volume = {abs/1705.09811},
year = {2017},
url = {http://arxiv.org/abs/1705.09811},
eprinttype = {arXiv},
eprint = {1705.09811},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserKKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CalimeriGMR16,
author = {Francesco Calimeri and
Martin Gebser and
Marco Maratea and
Francesco Ricca},
title = {Design and results of the Fifth Answer Set Programming Competition},
journal = {Artif. Intell.},
volume = {231},
pages = {151--181},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2015.09.008},
doi = {10.1016/J.ARTINT.2015.09.008},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CalimeriGMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/GebserS16,
author = {Martin Gebser and
Torsten Schaub},
title = {Modeling and Language Extensions},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {33--44},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2673},
doi = {10.1609/AIMAG.V37I3.2673},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/GebserS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbseherGMSW16,
author = {Michael Abseher and
Martin Gebser and
Nysret Musliu and
Torsten Schaub and
Stefan Woltran},
title = {Shift Design with Answer Set Programming},
journal = {Fundam. Informaticae},
volume = {147},
number = {1},
pages = {1--25},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1396},
doi = {10.3233/FI-2016-1396},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbseherGMSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BomansonGJKS16,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen and
Benjamin Kaufmann and
Torsten Schaub},
title = {Answer Set Programming Modulo Acyclicity},
journal = {Fundam. Informaticae},
volume = {147},
number = {1},
pages = {63--91},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1398},
doi = {10.3233/FI-2016-1398},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BomansonGJKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GebserMR16,
author = {Martin Gebser and
Marco Maratea and
Francesco Ricca},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {What's Hot in the Answer Set Programming Competition},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {4327--4329},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.9872},
doi = {10.1609/AAAI.V30I1.9872},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GebserMR16.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/BomansonGJ16,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Rewriting Optimization Statements in Answer-Set Programs},
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 = {5:1--5:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.5},
doi = {10.4230/OASICS.ICLP.2016.5},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BomansonGJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKL0S16,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Answer Set Solving with Generalized Learned Constraints},
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 = {9:1--9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.9},
doi = {10.4230/OASICS.ICLP.2016.9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKL0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GebserGQ0S16,
author = {Martin Gebser and
Thomas Guyet and
Ren{\'{e}} Quiniou and
Javier Romero and
Torsten Schaub},
editor = {Subbarao Kambhampati},
title = {Knowledge-Based Sequence Mining with {ASP}},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1497--1504},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/215},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GebserGQ0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoFG16,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
editor = {Subbarao Kambhampati},
title = {From Non-Convex Aggregates to Monotone Aggregates in {ASP}},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4100--4194},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/610},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvianoFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GebserJKST16,
author = {Martin Gebser and
Tomi Janhunen and
Roland Kaminski and
Torsten Schaub and
Shahab Tasharrofi},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Writing Declarative Specifications for Clauses},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {256--271},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_17},
doi = {10.1007/978-3-319-48758-8\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GebserJKST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserKS16,
author = {Martin Gebser and
Roland Kaminski and
Torsten Schaub},
title = {Grounding Recursive Aggregates: Preliminary Report},
journal = {CoRR},
volume = {abs/1603.03884},
year = {2016},
url = {http://arxiv.org/abs/1603.03884},
eprinttype = {arXiv},
eprint = {1603.03884},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VidelaGETGNSSS15,
author = {Santiago Videla and
Carito Guziolowski and
Federica Eduati and
Sven Thiele and
Martin Gebser and
Jacques Nicolas and
Julio Saez{-}Rodriguez and
Torsten Schaub and
Anne Siegel},
title = {Learning Boolean logic models of signaling networks with {ASP}},
journal = {Theor. Comput. Sci.},
volume = {599},
pages = {79--101},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.06.022},
doi = {10.1016/J.TCS.2014.06.022},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/VidelaGETGNSSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserHKLS15,
author = {Martin Gebser and
Amelia Harrison and
Roland Kaminski and
Vladimir Lifschitz and
Torsten Schaub},
title = {Abstract gringo},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {449--463},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000150},
doi = {10.1017/S1471068415000150},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserHKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFG15,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Rewriting recursive aggregates in answer set programming: back to
monotonicity},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {559--573},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000228},
doi = {10.1017/S1471068415000228},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GebserKOS14,
author = {Martin Gebser and
Roland Kaminski and
Philipp Obermeier and
Torsten Schaub},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Ricochet Robots Reloaded: {A} Case-Study in Multi-shot {ASP} Solving},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {17--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_2},
doi = {10.1007/978-3-319-14726-0\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GebserKOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/confws/GebserRS15,
author = {Martin Gebser and
Anna Ryabokon and
Gottfried Schenner},
editor = {Juha Tiihonen and
Andreas A. Falkner and
Tomas Axling},
title = {Solving combined configuration problems: a heuristic approach},
booktitle = {Proceedings of the 17th International Configuration Workshop, Vienna,
Austria, September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1453},
pages = {55--59},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1453/09\_GebserRyabokonSchenner\_SolvingCombinedConfiguration\_Confws-15\_p55.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/confws/GebserRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AbseherGMSW15,
author = {Michael Abseher and
Martin Gebser and
Nysret Musliu and
Torsten Schaub and
Stefan Woltran},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Shift Design with Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {32--39},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_4},
doi = {10.1007/978-3-319-23264-5\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AbseherGMSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Max Ostrowski and
Andrea Peano and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {112--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_10},
doi = {10.1007/978-3-319-23264-5\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BanbaraGIOPSSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BomansonGJKS15,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Answer Set Programming Modulo Acyclicity},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {143--150},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_13},
doi = {10.1007/978-3-319-23264-5\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BomansonGJKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserJJKS15,
author = {Martin Gebser and
Tomi Janhunen and
Holger Jost and
Roland Kaminski and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {{ASP} Solving for Expanding Universes},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {354--367},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_30},
doi = {10.1007/978-3-319-23264-5\_30},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserJJKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKK0S15,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Javier Romero and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Progress in clasp Series 3},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {368--383},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_31},
doi = {10.1007/978-3-319-23264-5\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKK0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserRS15,
author = {Martin Gebser and
Anna Ryabokon and
Gottfried Schenner},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Combining Heuristics for Configuration Problems Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {384--397},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_32},
doi = {10.1007/978-3-319-23264-5\_32},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserMR15,
author = {Martin Gebser and
Marco Maratea and
Francesco Ricca},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {The Design of the Sixth Answer Set Programming Competition - - Report
-},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {531--544},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_44},
doi = {10.1007/978-3-319-23264-5\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoFG15,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Rewriting recursive aggregates in answer set programming: back to
monotonicity},
journal = {CoRR},
volume = {abs/1507.03923},
year = {2015},
url = {http://arxiv.org/abs/1507.03923},
eprinttype = {arXiv},
eprint = {1507.03923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserHKLS15,
author = {Martin Gebser and
Amelia Harrison and
Roland Kaminski and
Vladimir Lifschitz and
Torsten Schaub},
title = {Abstract Gringo},
journal = {CoRR},
volume = {abs/1507.06576},
year = {2015},
url = {http://arxiv.org/abs/1507.06576},
eprinttype = {arXiv},
eprint = {1507.06576},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserHKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserOS15,
author = {Martin Gebser and
Philipp Obermeier and
Torsten Schaub},
title = {Interactive Answer Set Programming - Preliminary Report},
journal = {CoRR},
volume = {abs/1511.01261},
year = {2015},
url = {http://arxiv.org/abs/1511.01261},
eprinttype = {arXiv},
eprint = {1511.01261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserOS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GebserJR14,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Answer Set Programming as {SAT} modulo Acyclicity},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {351--356},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-351},
doi = {10.3233/978-1-61499-419-0-351},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GebserJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GebserJR14,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {{SAT} Modulo Graphs: Acyclicity},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {137--151},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_10},
doi = {10.1007/978-3-319-11558-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GebserJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BomansonGJ14,
author = {Jori Bomanson and
Martin Gebser and
Tomi Janhunen},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Improving the Normalization of Weight Rules in Answer Set Programs},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {166--180},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_12},
doi = {10.1007/978-3-319-11558-0\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BomansonGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GebserJR14,
author = {Martin Gebser and
Tomi Janhunen and
Jussi Rintanen},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {{ASP} Encodings of Acyclicity Properties},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8025},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/GebserJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/CerexheGT14,
author = {Timothy Joseph Cerexhe and
Martin Gebser and
Michael Thielscher},
editor = {Duc Nghia Pham and
Seong{-}Bae Park},
title = {Online Agent Logic Programming with oClingo},
booktitle = {{PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim
International Conference on Artificial Intelligence, Gold Coast, QLD,
Australia, December 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8862},
pages = {945--957},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13560-1\_82},
doi = {10.1007/978-3-319-13560-1\_82},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/CerexheGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserKKS14,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
title = {Clingo = {ASP} + Control: Preliminary Report},
journal = {CoRR},
volume = {abs/1405.3694},
year = {2014},
url = {http://arxiv.org/abs/1405.3694},
eprinttype = {arXiv},
eprint = {1405.3694},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserKKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalimeriGMR14,
author = {Francesco Calimeri and
Martin Gebser and
Marco Maratea and
Francesco Ricca},
title = {The Design of the Fifth Answer Set Programming Competition},
journal = {CoRR},
volume = {abs/1405.3710},
year = {2014},
url = {http://arxiv.org/abs/1405.3710},
eprinttype = {arXiv},
eprint = {1405.3710},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalimeriGMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GebserS13,
author = {Martin Gebser and
Torsten Schaub},
title = {Tableau Calculi for Logic Programs under Answer Set Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {15:1--15:40},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480767},
doi = {10.1145/2480759.2480767},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GebserS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GavanelliG13,
author = {Marco Gavanelli and
Martin Gebser},
title = {The {ICLP} 2013 Doctoral Consortium},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013027.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GavanelliG13.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}
}
@inproceedings{DBLP:conf/ijcai/GebserKS13,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Francesca Rossi},
title = {Advanced Conflict-Driven Disjunctive Answer Set Solving},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {912--918},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6835},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GebserKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AndresGSHRG13,
author = {Benjamin Andres and
Martin Gebser and
Torsten Schaub and
Christian Haubelt and
Felix Reimann and
Michael Gla{\ss}},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Symbolic System Synthesis Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {79--91},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_9},
doi = {10.1007/978-3-642-40564-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AndresGSHRG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AndresSGSBS13,
author = {Benjamin Andres and
Matthias Sauer and
Martin Gebser and
Tobias Schubert and
Bernd Becker and
Torsten Schaub},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Accurate Computation of Sensitizable Paths Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {92--101},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_10},
doi = {10.1007/978-3-642-40564-8\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/AndresSGSBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ColletEGPSST13,
author = {Guillaume Collet and
Damien Eveillard and
Martin Gebser and
Sylvain Prigent and
Torsten Schaub and
Anne Siegel and
Sven Thiele},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Extending the Metabolic Network of \emph{Ectocarpus Siliculosus} Using
Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {245--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_25},
doi = {10.1007/978-3-642-40564-8\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ColletEGPSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserGSS13,
author = {Martin Gebser and
Thomas Glase and
Orkunt Sabuncu and
Torsten Schaub},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Matchmaking with Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {342--347},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_34},
doi = {10.1007/978-3-642-40564-8\_34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserJKOSSS13,
author = {Martin Gebser and
Holger Jost and
Roland Kaminski and
Philipp Obermeier and
Orkunt Sabuncu and
Torsten Schaub and
Marius Schneider},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Ricochet Robots: {A} Transverse {ASP} Benchmark},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {348--360},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_35},
doi = {10.1007/978-3-642-40564-8\_35},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserJKOSSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/AndresGSHRG13,
author = {Benjamin Andres and
Martin Gebser and
Torsten Schaub and
Christian Haubelt and
Felix Reimann and
Michael Gla{\ss}},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {A Combined Mapping and Routing Algorithm for 3D NoCs Based on {ASP}},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {35--46},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Mon, 18 Mar 2013 20:33:43 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/AndresGSHRG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1392,
author = {Martin Gebser and
Torsten Grote and
Roland Kaminski and
Philipp Obermeier and
Orkunt Sabuncu and
Torsten Schaub},
title = {Answer Set Programming for Stream Reasoning},
journal = {CoRR},
volume = {abs/1301.1392},
year = {2013},
url = {http://arxiv.org/abs/1301.1392},
eprinttype = {arXiv},
eprint = {1301.1392},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BanbaraGISSTW13,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
title = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
journal = {CoRR},
volume = {abs/1312.6113},
year = {2013},
url = {http://arxiv.org/abs/1312.6113},
eprinttype = {arXiv},
eprint = {1312.6113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanbaraGISSTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserOS13,
author = {Martin Gebser and
Philipp Obermeier and
Torsten Schaub},
title = {A System for Interactive Query Answering with Answer Set Programming},
journal = {CoRR},
volume = {abs/1312.6143},
year = {2013},
url = {http://arxiv.org/abs/1312.6143},
eprinttype = {arXiv},
eprint = {1312.6143},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2012Gebser,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
title = {Answer Set Solving in Practice},
series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
publisher = {Morgan {\&} Claypool Publishers},
year = {2012},
url = {https://doi.org/10.2200/S00457ED1V01Y201211AIM019},
doi = {10.2200/S00457ED1V01Y201211AIM019},
isbn = {978-3-031-00433-9},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2012Gebser.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GebserKS12,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
title = {Conflict-driven answer set solving: From theory to practice},
journal = {Artif. Intell.},
volume = {187},
pages = {52--89},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.04.001},
doi = {10.1016/J.ARTINT.2012.04.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GebserKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserKS12,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
title = {Multi-threaded {ASP} solving with clasp},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {525--545},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000166},
doi = {10.1017/S1471068412000166},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GebserKS12,
author = {Martin Gebser and
Roland Kaufmann and
Torsten Schaub},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Gearing Up for Effective {ASP} Planning},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {296--310},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_20},
doi = {10.1007/978-3-642-30743-0\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GebserKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GebserGKOSS12,
author = {Martin Gebser and
Torsten Grote and
Roland Kaminski and
Philipp Obermeier and
Orkunt Sabuncu and
Torsten Schaub},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Stream Reasoning with Answer Set Programming: Preliminary Report},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4504},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GebserGKOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-3265,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
title = {Multi-threaded {ASP} Solving with clasp},
journal = {CoRR},
volume = {abs/1210.3265},
year = {2012},
url = {http://arxiv.org/abs/1210.3265},
eprinttype = {arXiv},
eprint = {1210.3265},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Gebser2011,
author = {Martin Gebser},
title = {Proof theory and algorithms for answer set programming},
school = {University of Potsdam},
year = {2011},
url = {http://opus.kobv.de/ubp/volltexte/2011/5542/},
urn = {urn:nbn:de:kobv:517-opus-55425},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Gebser2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GebserKKOSS11,
author = {Martin Gebser and
Benjamin Kaufmann and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Marius Schneider},
title = {Potassco: The Potsdam Answer Set Solving Collection},
journal = {{AI} Commun.},
volume = {24},
number = {2},
pages = {107--124},
year = {2011},
url = {https://doi.org/10.3233/AIC-2011-0491},
doi = {10.3233/AIC-2011-0491},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GebserKKOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GebserSS11,
author = {Martin Gebser and
Orkunt Sabuncu and
Torsten Schaub},
title = {An incremental answer set programming based system for finite model
computation},
journal = {{AI} Commun.},
volume = {24},
number = {2},
pages = {195--212},
year = {2011},
url = {https://doi.org/10.3233/AIC-2011-0496},
doi = {10.3233/AIC-2011-0496},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GebserSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserSTV11,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {Detecting inconsistencies in large biological networks with answer
set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {323--360},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000554},
doi = {10.1017/S1471068410000554},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserKS11,
author = {Martin Gebser and
Roland Kaminski and
Torsten Schaub},
title = {Complex optimization in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {821--839},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000329},
doi = {10.1017/S1471068411000329},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserLL11,
author = {Martin Gebser and
Joohyung Lee and
Yuliya Lierler},
title = {On elementary loops of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {6},
pages = {953--988},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000019},
doi = {10.1017/S1471068411000019},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GebserKKS11,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Challenges in Answer Set Solving},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {74--90},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_6},
doi = {10.1007/978-3-642-20832-4\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GebserKKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKS11,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Multi-Criteria Optimization in Answer Set Programming},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {1--10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.1},
doi = {10.4230/LIPICS.ICLP.2011.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GebserSS11,
author = {Martin Gebser and
Orkunt Sabuncu and
Torsten Schaub},
editor = {Toby Walsh},
title = {Finite Model Computation via Answer Set Programming},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2626--2631},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-437},
doi = {10.5591/978-1-57735-516-8/IJCAI11-437},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GebserSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserGKS11,
author = {Martin Gebser and
Torsten Grote and
Roland Kaminski and
Torsten Schaub},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Reactive Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {54--66},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_7},
doi = {10.1007/978-3-642-20895-9\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserGKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKKS11,
author = {Martin Gebser and
Roland Kaminski and
Arne K{\"{o}}nig and
Torsten Schaub},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Advances in \emph{gringo} Series 3},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {345--351},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_39},
doi = {10.1007/978-3-642-20895-9\_39},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKKSSZ11,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub and
Marius Thomas Schneider and
Stefan Ziller},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {A Portfolio Solver for Answer Set Programming: Preliminary Report},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {352--357},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_40},
doi = {10.1007/978-3-642-20895-9\_40},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKKSSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKKS11a,
author = {Martin Gebser and
Roland Kaminski and
Murat Knecht and
Torsten Schaub},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {plasp: {A} Prototype for PDDL-Based Planning in {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {358--363},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_41},
doi = {10.1007/978-3-642-20895-9\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKKS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKKSS11,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub and
Bettina Schnor},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Cluster-Based {ASP} Solving with \emph{claspar}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {364--369},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_42},
doi = {10.1007/978-3-642-20895-9\_42},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKKSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0113,
author = {Martin Gebser and
Roland Kaminski and
Torsten Schaub},
editor = {Conrad Drescher and
In{\^{e}}s Lynce and
Ralf Treinen},
title = {aspcud: {A} Linux Package Configuration Tool Based on Answer Set Programming},
booktitle = {Proceedings Second Workshop on Logics for Component Configuration,
LoCoCo 2011, Perugia, Italy, 12th September 2011},
series = {{EPTCS}},
volume = {65},
pages = {12--25},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.65.2},
doi = {10.4204/EPTCS.65.2},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5742,
author = {Martin Gebser and
Roland Kaminski and
Torsten Schaub},
title = {Complex Optimization in Answer Set Programming},
journal = {CoRR},
volume = {abs/1107.5742},
year = {2011},
url = {http://arxiv.org/abs/1107.5742},
eprinttype = {arXiv},
eprint = {1107.5742},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GebserKSTV10,
author = {Martin Gebser and
Arne K{\"{o}}nig and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {The BioASP Library: {ASP} Solutions for Systems Biology},
booktitle = {22nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2010, Arras, France, 27-29 October 2010 - Volume 1},
pages = {383--389},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICTAI.2010.62},
doi = {10.1109/ICTAI.2010.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GebserKSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GebserSS10,
author = {Martin Gebser and
Orkunt Sabuncu and
Torsten Schaub},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {An Incremental Answer Set Programming Based System for Finite ModelComputation},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {169--181},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_16},
doi = {10.1007/978-3-642-15675-5\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GebserSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GebserGS10,
author = {Martin Gebser and
Torsten Grote and
Torsten Schaub},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Coala: {A} Compiler from Action Languages to {ASP}},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {360--364},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_32},
doi = {10.1007/978-3-642-15675-5\_32},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GebserGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GebserGISSTV10,
author = {Martin Gebser and
Carito Guziolowski and
Mihail Ivanchev and
Torsten Schaub and
Anne Siegel and
Sven Thiele and
Philippe Veber},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Repair and Prediction (under Inconsistency) in Large Biological Networks
with Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1334},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GebserGISSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-1716,
author = {Christian Drescher and
Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
title = {Heuristics in Conflict Resolution},
journal = {CoRR},
volume = {abs/1005.1716},
year = {2010},
url = {http://arxiv.org/abs/1005.1716},
eprinttype = {arXiv},
eprint = {1005.1716},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-1716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-0134,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {Detecting Inconsistencies in Large Biological Networks with Answer
Set Programming},
journal = {CoRR},
volume = {abs/1007.0134},
year = {2010},
url = {http://arxiv.org/abs/1007.0134},
eprinttype = {arXiv},
eprint = {1007.0134},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-0134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5847,
author = {Martin Gebser and
Joohyung Lee and
Yuliya Lierler},
title = {On Elementary Loops of Logic Programs},
journal = {CoRR},
volume = {abs/1012.5847},
year = {2010},
url = {http://arxiv.org/abs/1012.5847},
eprinttype = {arXiv},
eprint = {1012.5847},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrc/IshebabiMBGS09,
author = {Harold Ishebabi and
Philipp Mahr and
Christophe Bobda and
Martin Gebser and
Torsten Schaub},
title = {Answer Set versus Integer Linear Programming for Automatic Synthesis
of Multiprocessor Systems from Real-Time Parallel Programs},
journal = {Int. J. Reconfigurable Comput.},
volume = {2009},
pages = {863630:1--863630:11},
year = {2009},
url = {https://doi.org/10.1155/2009/863630},
doi = {10.1155/2009/863630},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrc/IshebabiMBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GebserGMS09,
author = {Martin Gebser and
Mona Gharib and
Robert E. Mercer and
Torsten Schaub},
title = {Monotonic Answer Set Programming},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {539--564},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn040},
doi = {10.1093/LOGCOM/EXN040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GebserGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GebserKS09,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {Solution Enumeration for Projected Boolean Search Problems},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 6th International Conference,
{CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {71--86},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6\_7},
doi = {10.1007/978-3-642-01929-6\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GebserKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserOS09,
author = {Martin Gebser and
Max Ostrowski and
Torsten Schaub},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Constraint Answer Set Solving},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {235--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_22},
doi = {10.1007/978-3-642-02846-5\_22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKS09,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Patricia M. Hill and
David Scott Warren},
title = {On the Implementation of Weight Constraint Rules in Conflict-Driven
{ASP} Solvers},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {250--264},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_23},
doi = {10.1007/978-3-642-02846-5\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EllguthGGKKLSSS09,
author = {Enrico Ellguth and
Martin Gebser and
Markus Gusowski and
Benjamin Kaufmann and
Roland Kaminski and
Stefan Liske and
Torsten Schaub and
Lars Schneidenbach and
Bettina Schnor},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Simple Distributed Conflict-Driven Answer Set Solver},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {490--495},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_47},
doi = {10.1007/978-3-642-04238-6\_47},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EllguthGGKKLSSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKOST09,
author = {Martin Gebser and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {On the Input Language of {ASP} Grounder Gringo},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {502--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_49},
doi = {10.1007/978-3-642-04238-6\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKOST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKS09,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The Conflict-Driven Answer Set Solver clasp: Progress Report},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {509--514},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_50},
doi = {10.1007/978-3-642-04238-6\_50},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/IshebabiMBGS09,
author = {Harold Ishebabi and
Philipp Mahr and
Christophe Bobda and
Martin Gebser and
Torsten Schaub},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Application of {ASP} for Automatic Synthesis of Flexible Multiprocessor
Systems from Parallel Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {598--603},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_64},
doi = {10.1007/978-3-642-04238-6\_64},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/IshebabiMBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DeneckerVBGT09,
author = {Marc Denecker and
Joost Vennekens and
Stephen Bond and
Martin Gebser and
Miroslaw Truszczynski},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The Second Answer Set Programming Competition},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {637--654},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_75},
doi = {10.1007/978-3-642-04238-6\_75},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DeneckerVBGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/SchneidenbachSGKKS09,
author = {Lars Schneidenbach and
Bettina Schnor and
Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Matti Ropo and
Jan Westerholm and
Jack J. Dongarra},
title = {Experiences Running a Parallel Answer Set Solver on Blue Gene},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
16th European {PVM/MPI} Users' Group Meeting, Espoo, Finland, September
7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5759},
pages = {64--72},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03770-2\_13},
doi = {10.1007/978-3-642-03770-2\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/pvm/SchneidenbachSGKKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GebserPST08,
author = {Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits},
editor = {Dieter Fox and
Carla P. Gomes},
title = {A Meta-Programming Technique for Debugging Answer-Set Programs},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {448--453},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-071.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GebserPST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GebserKNS08,
author = {Martin Gebser and
Benjamin Kaufmann and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Advanced Preprocessing for Answer Set Solving},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {15--19},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-15},
doi = {10.3233/978-1-58603-891-5-15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GebserKNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GebserSTW08,
author = {Martin Gebser and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Alternative Characterizations for Program Equivalence under Answer-Set
Semantics Based on Unfounded Sets},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {24--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_5},
doi = {10.1007/978-3-540-77684-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/GebserSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserSTUV08,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Bj{\"{o}}rn Usadel and
Philippe Veber},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Detecting Inconsistencies in Large Biological Networks with Answer
Set Programming},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {130--144},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_19},
doi = {10.1007/978-3-540-89982-2\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserSTUV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKOST08,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Engineering an Incremental {ASP} Solver},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {190--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_23},
doi = {10.1007/978-3-540-89982-2\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKOST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DrescherGGKKOS08,
author = {Christian Drescher and
Martin Gebser and
Torsten Grote and
Benjamin Kaufmann and
Arne K{\"{o}}nig and
Max Ostrowski and
Torsten Schaub},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Conflict-Driven Disjunctive Answer Set Solving},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {422--432},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-041.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DrescherGGKKOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserS07,
author = {Martin Gebser and
Torsten Schaub},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Generic Tableaux for Answer Set Programming},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {119--133},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_9},
doi = {10.1007/978-3-540-74610-2\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Gebser07,
author = {Martin Gebser},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Advanced Techniques for Answer Set Programming},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {458--459},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_44},
doi = {10.1007/978-3-540-74610-2\_44},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Gebser07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GebserKNS07,
author = {Martin Gebser and
Benjamin Kaufmann and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Manuela M. Veloso},
title = {Conflict-Driven Answer Set Solving},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {386},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/060.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GebserKNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserLNNST07,
author = {Martin Gebser and
Lengning Liu and
Gayathri Namasivayam and
Andr{\'{e}} Neumann and
Torsten Schaub and
Miroslaw Truszczynski},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {The First Answer Set Programming System Competition},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {3--17},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_3},
doi = {10.1007/978-3-540-72200-7\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserLNNST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrainGPSTW07,
author = {Martin Brain and
Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Debugging {ASP} Programs by Means of {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {31--43},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_5},
doi = {10.1007/978-3-540-72200-7\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrainGPSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKNS07,
author = {Martin Gebser and
Benjamin Kaufmann and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Conflict-Driven Answer Set Enumeration},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {136--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_13},
doi = {10.1007/978-3-540-72200-7\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserLL07,
author = {Martin Gebser and
Joohyung Lee and
Yuliya Lierler},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Head-Elementary-Set-Free Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {149--161},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_14},
doi = {10.1007/978-3-540-72200-7\_14},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKNS07a,
author = {Martin Gebser and
Benjamin Kaufmann and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {\emph{clasp} : {A} Conflict-Driven Answer Set Solver},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {260--265},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_23},
doi = {10.1007/978-3-540-72200-7\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKNS07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserST07,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {GrinGo : {A} New Grounder for Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {266--271},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_24},
doi = {10.1007/978-3-540-72200-7\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserSTW07,
author = {Martin Gebser and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {David Pearce and
Axel Polleres and
Agust{\'{\i}}n Valverde and
Stefan Woltran},
title = {Alternative Characterizations for Program Equivalence under Answer-Set
Semantics: Preliminary Report},
booktitle = {Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence
for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {265},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-265/CENT2007-paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/GebserPSTW07,
author = {Martin Gebser and
J{\"{o}}rg P{\"{u}}hrer and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Dietmar Seipel and
Michael Hanus and
Armin Wolf},
title = {spock: {A} Debugging Support Tool for Logic Programs under the Answer-Set
Semantics},
booktitle = {Applications of Declarative Programming and Knowledge Management,
17th International Conference, {INAP} 2007, and 21st Workshop on Logic
Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5437},
pages = {247--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-00675-3\_17},
doi = {10.1007/978-3-642-00675-3\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/GebserPSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GebserLL06,
author = {Martin Gebser and
Joohyung Lee and
Yuliya Lierler},
title = {Elementary Sets of Logic Programs},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {244--249},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-039.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GebserLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AngerGJS06,
author = {Christian Anger and
Martin Gebser and
Tomi Janhunen and
Torsten Schaub},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {What's a Head Without a Body?},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {769--770},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/AngerGJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserS06,
author = {Martin Gebser and
Torsten Schaub},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Tableau Calculi for Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {11--25},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_4},
doi = {10.1007/11799573\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/AngerGLNS05,
author = {Christian Anger and
Martin Gebser and
Thomas Linke and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Marina De Vos and
Alessandro Provetti},
title = {The nomore++ Approach to Answer Set Solving},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {142},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-142/page163.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/AngerGLNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AngerGLNS05,
author = {Christian Anger and
Martin Gebser and
Thomas Linke and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {The nomore++ Approach to Answer Set Solving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {95--109},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_8},
doi = {10.1007/11591191\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AngerGLNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserS05,
author = {Martin Gebser and
Torsten Schaub},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Loops: Relevant or Redundant?},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {53--65},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_5},
doi = {10.1007/11546207\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AngerGLNS05,
author = {Christian Anger and
Martin Gebser and
Thomas Linke and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {The nomore++ System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {422--426},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_39},
doi = {10.1007/11546207\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AngerGLNS05.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-12 18:29 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:
