Cobra: a tool for solving general deductive games

DOI10.1007/978-3-662-48899-7_3MaRDI QIDQ3460038zbMATH OpenOpenAlexFDO

Authors Miroslav Klimoš, Antonin Kučera

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_3

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Strategy optimization for deductive games
• Causality-based game solving
• Game Theory Explorer: software for the applied game theorist
• Symbolic computational techniques for solving games
• Logical-epistemic foundations of general game descriptions

Cited in

(3)

• An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system
• Cobra
• Strategy optimization for deductive games

Describes a project that uses

Uses Software

• PicoSAT
• MiniSat

This page was built for publication: Cobra: a tool for solving general deductive games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460038)