Další formáty:
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 a 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. s.~31-47. ISBN~978-3-662-48898-0. doi:10.1007/978-3-662-48899-7\_{}3. 2015.
|
