D 2015

Cobra: A Tool for Solving General Deductive Games

KLIMOŠ, Miroslav a Antonín KUČERA

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

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 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

DOI

UT WoS

000375574900003

Klíčová slova anglicky

deductive games; strategy synthesis

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2016 15:34, RNDr. Pavel Šmerk, Ph.D.

Anotace

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.

Návaznosti

GA15-17564S, projekt VaV
Název: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
Investor: Grantová agentura ČR, Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů