A temporal proof system for General Game Playing

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2010, Pages 1000-1005

  Thielscher, Michael ^a   Voigt, Sebastian ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; GAME PLAYERS; GENERAL GAME PLAYING; HUMAN INTERVENTION; LOCAL PROPERTY; PROOF SYSTEM; PROOF THEORY; SPECIFIC KNOWLEDGE;

GAME THEORY;

EID: 77958614200     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Apt, K.; Blair, H. A.; and Walker, A. 1987. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming, 89-148.
2. Bacchus, F., and Kabanza, F. 2000. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 116(1-2): 123-191.
3. Björnsson, Y., and Finnsson, H. 2009. CADIAPLAYER: A simulation-based general game player. IEEE Transactions on Computational Intelligence and AI in Games 1(1):4-15.
4. Clune, J. 2007. Heuristic evaluation functions for general game playing. In AAAI, 1134-1139.
5. Gelfond, M. 2008. Answer sets. In Handbook of Knowledge Representation, 285-316. Elsevier.
6. Genesereth, M.; Love, N.; and Pell, B. 2005. General game playing: Overview of the AAAI competition. AI Magazine 26(2):62-72.
7. Kuhlmann, G.; Dresner, K.; and Stone, P. 2006. Automatic heuristic construction in a complete general game player. In AAAI, 1457-1462. (Pubitemid 44705478)
8. Lloyd, J., andTopor, R. 1986. A basis for deductive database systems II. J. of Logic Programming 3( 1):55-67.
9. Love, N.; Hinrichs, T.; Haley, D.; Schkufza, E.; and Genesereth, M. 2006. General Game Playing: Game Description Language Specification. Technical Report LG-2006-01, Stanford University. Available at games.stanford.edu .
10. Niemelä, I.; Simons, P.; and Soininen, T. 1999. Stable model semantics of weight constraint rules. In Proceedings of LP-NMR, vol. 1730 of LNCS, 317-331.
11. Pell, B. 1993. Strategy Generation and Evaluation for Meta-Game Playing. Ph.D., Cambridge.
12. Potassco 2008. Potsdam Answer Set Solving Collection. Available at potassco.sourceforge.net/ .
13. Schiffel, S., and Thielscher, M. 2007. Fluxplayer: A successful general game player. In AAAI, 1191-1196.
14. Schiffel, S., and Thielscher, M. 2009a. Automated theorem proving for general game playing. In IJCAI,911-916.
15. Schiffel, S., and Thielscher, M. 2009b. A multiagent semantics for the Game Description Language. In Agents and Artificial Intelligence: Proceedings of ICAART, vol. 67 of Communications in Computer and Information Science Springer.
16. van der Hoek, W.; Ruan, J.; and Wooldridge, M. 2007. Strategy logics and the game description language. In Proceedings of the Workshop on Logic, Rationality and Interaction. Beijing.