Automated verification of state sequence invariants in general game playing

, &
Artificial Intelligence 187-188 (C):1-30 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2012.04.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.Julian Gutierrez, Muhammad Najib, Giuseppe Perelli & Michael Wooldridge - 2020 - Artificial Intelligence 287 (C):103353.
A Bayesian approach to relevance in game playing.Eric B. Baum & Warren D. Smith - 1997 - Artificial Intelligence 97 (1-2):195-242.
Why AIs Cannot Play Games.David Koepsell - manuscript
Evaluating general purpose automated theorem proving systems.Geoff Sutcliffe & Christian Suttner - 2001 - Artificial Intelligence 131 (1-2):39-54.
On information invariants in robotics.Bruce Randall Donald - 1995 - Artificial Intelligence 72 (1-2):217-304.
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.Moshe Vardi & Andrei Voronkov - 2003 - Springer Verlag.
Extracting mutual exclusion invariants from lifted temporal planning domains.Sara Bernardini, Fabio Fagnani & David E. Smith - 2018 - Artificial Intelligence 258 (C):1-65.
Automated space planning.Charles M. Eastman - 1973 - Artificial Intelligence 4 (1):41-64.
Automated design of specialized representations.Jeffrey Van Baalen - 1992 - Artificial Intelligence 54 (1-2):121-198.
Advances in automated plan generation.Maria Fox & Sylvie Thiébaux - 2009 - Artificial Intelligence 173 (5-6):501-502.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,213,485)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.

Add more references