Detailed Information on Publication Record
2015
Cobra: A Tool for Solving General Deductive Games
KLIMOŠ, Miroslav and Antonín KUČERABasic information
Original name
Cobra: A Tool for Solving General Deductive Games
Authors
KLIMOŠ, Miroslav (203 Czech Republic, belonging to the institution) and Antonín KUČERA (203 Czech Republic, guarantor, belonging to the institution)
Edition
Heidelberg, Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), p. 31-47, 17 pp. 2015
Publisher
Springer
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
printed version "print"
Impact factor
Impact factor: 0.402 in 2005
RIV identification code
RIV/00216224:14330/15:00081423
Organization unit
Faculty of Informatics
ISBN
978-3-662-48898-0
ISSN
UT WoS
000375574900003
Keywords in English
deductive games; strategy synthesis
Tags
International impact, Reviewed
Změněno: 28/4/2016 15:34, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
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.
Links
| GA15-17564S, research and development project |
|