Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Qian Chen, Dazhu Li
Topics & Concepts
Undecidable problemDecidabilityCharacterization (materials science)SatisfiabilityBoolean satisfiability problemMathematicsDiscrete mathematicsMathematical proofConstant (computer programming)Expressive powerCombinatoricsPhysicsComputer scienceTheoretical computer scienceOpticsGeometryProgramming languageLogic, Reasoning, and KnowledgeArtificial Intelligence in GamesComputability, Logic, AI Algorithms