Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.
M. Gebser, R. Kaminski, P. Obermeier, и T. Schaub. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, том 9060 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2015)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/birthday/GebserKOS14
%A Gebser, Martin
%A Kaminski, Roland
%A Obermeier, Philipp
%A Schaub, Torsten
%B Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
%D 2015
%E Eiter, Thomas
%E Strass, Hannes
%E Truszczynski, Miroslaw
%E Woltran, Stefan
%I Springer
%K
%P 17-32
%T Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.
%U http://dblp.uni-trier.de/db/conf/birthday/brewka2014.html#GebserKOS14
%V 9060
%@ 978-3-319-14725-3
@inproceedings{conf/birthday/GebserKOS14,
added-at = {2023-12-12T22:39:19.000+0100},
author = {Gebser, Martin and Kaminski, Roland and Obermeier, Philipp and Schaub, Torsten},
biburl = {https://www.bibsonomy.org/bibtex/2c30de26f55b660ffd7486c22af87376f/admin},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation},
crossref = {conf/birthday/2014brewka},
editor = {Eiter, Thomas and Strass, Hannes and Truszczynski, Miroslaw and Woltran, Stefan},
ee = {https://doi.org/10.1007/978-3-319-14726-0_2},
interhash = {4c976b9f6e03f413faf148dba2b3b6e1},
intrahash = {c30de26f55b660ffd7486c22af87376f},
isbn = {978-3-319-14725-3},
keywords = {},
pages = {17-32},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T22:39:19.000+0100},
title = {Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.},
url = {http://dblp.uni-trier.de/db/conf/birthday/brewka2014.html#GebserKOS14},
volume = 9060,
year = 2015
}