Automated verification of state sequence invariants in general game playing
type: Item
instance of: scholarly article
title: Automated verification of state sequence invariants in general game playing
zbMATH Open document ID: 1251.68232
author: Sebastian Haufe
author: Stephan Schiffel
author: Michael Thielscher
published in: Artificial Intelligence
publication date: 2012-11-15T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 91A44
zbMATH DE Number: 6106684
zbMATH Keywords: general game playing
zbMATH Keywords: knowledge representation
zbMATH Keywords: answer set programming
describes a project that uses: Potassco
describes a project that uses: CCalc
describes a project that uses: GDL
MaRDI profile type: Publication
full work available at URL: j.artint.2012.04.003
OpenAlex ID: W2072031078
cites work: Contributions to the Theory of Logic Programming
cites work: Using temporal logics to express search control knowledge for planning
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Q3011296
cites work: Q3184604
cites work: Nonmonotonic causal theories
cites work: The Othello game on an \(n\times n\) board is PSPACE-complete
cites work: Temporal logic and state systems
cites work: Q3992908
cites work: A basis for deductive database systems II
cites work: Q4955344
cites work: Verification of Games in the Game Description Language
DOI: 10.1016/J.ARTINT.2012.04.003
Recommended article: Automated Verification of Concurrent Stochastic Games
Recommended article: Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Recommended article: Automated game analysis via probabilistic model checking: a case study
Recommended article: A symbolic finite-state approach for automated proving of theorems in combinatorial game theory
Recommended article: Automata games for multiple-model checking
Recommended article: Symbolic verification and strategy synthesis for turn-based stochastic games
Recommended article: Automatic verification of sequential infinite-state processes
Recommended article: Automated temporal equilibrium analysis: verification and synthesis of multi-player games
Recommended article: Model-Checking Iterated Games
description: scientific article; zbMATH DE number 6106684