Automated verification of state sequence invariants in general game playing

DOI10.1016/j.artint.2012.04.003zbMath1251.68232OpenAlexW2072031078MaRDI QIDQ1761287

Sebastian Haufe, Michael Thielscher, Stephan Schiffel

Publication date: 15 November 2012

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2012.04.003

zbMATH Keywords

knowledge representationanswer set programminggeneral game playing

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Knowledge representation (68T30) Logic programming (68N17)

Related Items

Simulation of Action Theories and an Application to General Game-Playing Robots ⋮ Representing and reasoning about game strategies

Uses Software

• Potassco
• CCalc
• GDL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• The Othello game on an \(n\times n\) board is PSPACE-complete
• Using temporal logics to express search control knowledge for planning
• Temporal logic and state systems
• Verification of Games in the Game Description Language
• A basis for deductive database systems II
• Contributions to the Theory of Logic Programming
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Automated verification of state sequence invariants in general game playing