Cobra: A Tool for Solving General Deductive Games

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

KLIMOŠ Miroslav KUČERA Antonín

Year of publication 2015
Type Article in Proceedings
Conference Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015)
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-662-48899-7_3
Field Informatics
Keywords deductive games; strategy synthesis
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.