KLIMOŠ, Miroslav a 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, s. 31-47. ISBN 978-3-662-48898-0. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48899-7_3. |
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, 2015, s.~31-47. ISBN~978-3-662-48898-0. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48899-7\_{}3.
|