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, 17 s. ISBN 978-3-662-48898-0. doi:10.1007/978-3-662-48899-7_3.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Cobra: A Tool for Solving General Deductive Games
Autoři KLIMOŠ, Miroslav (203 Česká republika, domácí) a Antonín KUČERA (203 Česká republika, garant, domácí).
Vydání Heidelberg, Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), od s. 31-47, 17 s. 2015.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/15:00081423
Organizační jednotka Fakulta informatiky
ISBN 978-3-662-48898-0
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-662-48899-7_3
Klíčová slova anglicky deductive games; strategy synthesis
Štítky firank_A
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:34.
Anotace
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.
Návaznosti
GA15-17564S, projekt VaVNázev: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
Investor: Grantová agentura ČR, Standardní projekty
VytisknoutZobrazeno: 17. 10. 2019 02:57