| KLIMOŠ, Miroslav and Antonín KUČERA. Cobra: A Tool for Solving General Deductive Games. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015). Heidelberg: Springer, 2015, p. 31-47. ISBN 978-3-662-48898-0. Available from: https://dx.doi.org/10.1007/978-3-662-48899-7_3. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1323100,
author = {Klimoš, Miroslav and Kučera, Antonín},
address = {Heidelberg},
booktitle = {Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015)},
doi = {http://dx.doi.org/10.1007/978-3-662-48899-7_3},
editor = {Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov},
keywords = {deductive games; strategy synthesis},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Heidelberg},
isbn = {978-3-662-48898-0},
pages = {31-47},
publisher = {Springer},
title = {Cobra: A Tool for Solving General Deductive Games},
year = {2015}
}
TY - JOUR
ID - 1323100
AU - Klimoš, Miroslav - Kučera, Antonín
PY - 2015
TI - Cobra: A Tool for Solving General Deductive Games
PB - Springer
CY - Heidelberg
SN - 9783662488980
KW - deductive games
KW - strategy synthesis
N2 - We propose a general framework for modelling and solving deductive games, where one player selects a secret code and the other player strives to discover this code using a minimal number of allowed experiments that reveal some partial information about the code. The framework is implemented in a software tool Cobra, and its functionality is demonstrated by producing new results about existing deductive games.
ER -
KLIMOŠ, Miroslav and Antonín KUČERA. Cobra: A Tool for Solving General Deductive Games. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. \textit{Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015)}. Heidelberg: Springer, 2015, p.~31-47. ISBN~978-3-662-48898-0. Available from: https://dx.doi.org/10.1007/978-3-662-48899-7\_{}3.
|
