Automated verification of state sequence invariants in general game playing
From MaRDI portal
Publication:1761287
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
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
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