Automated theorem proving for general game playing

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 911-916

  Schiffel, Stephan ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; AUTOMATED THEOREM PROVING; GAME PLAYERS; GAME RULES; GENERAL GAME PLAYING; HUMAN INTERVENTION; SPECIFIC KNOWLEDGE;

THEOREM PROVING;

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

References (16)

1. K. Apt, H. Blair, and A.Walker. Towards a theory of declarative knowledge. In J. Minker, ed., Found. of Deductive Databases and Log. Prog., 89-148, 1987.
2. J. Clune. Heuristic evaluation functions for general game playing. In Proc. of AAAI, 1134-1139, 2007.
3. H. Finnsson and Y. Björnsson. Simulation-based approach to general game playing. In Proc. of AAAI, 259-264, 2008.
4. M. Gelfond. Answer sets. In Handbook of Knowledge Representation, 285-316. Elsevier, 2008.
5. M. Genesereth, N. Love, and B. Pell. General game playing: Overview of the AAAI competition. AI Magazine, 26(2):62-72, 2005.
6. G. Kuhlmann, K. Dresner, and P. Stone. Automatic heuristic construction in a complete general game player. In Proc. of AAAI, 1457-1462, 2006.
7. J. Lee and Y. Meng. On loop formulas with variables. In G. Brewka, P. Doherty, and J. Lang, editors, Proc. of the Int.'l Conf. on Principles of Knowledge Representation and Reasoning, 444-453, 2008.
8. J. Lloyd and R. Topor. A basis for deductive database systems II. J. of Logic Programming, 3(1):55-67, 1986.
9. J. Lloyd. Foundations of Logic Programming. Springer, 2nd edition, 1987.
10. N. Love, T. Hinrichs, D. Haley, E. Schkufza, and M. Genesereth. General Game Playing: Game Description Language Specification. Technical Report LG-2006-01, Stanford University, 2006. Available at: games.stanford.edu.
11. I. Niemelä, P. Simons, and T. Soininen. Stable model semantics of weight constraint rules. In Proc. of the Int.'l Conf. on Log. Prog. and Nonmonotonic Reasoning, vol. 1730 of LNCS, 317-331, 1999. Springer.
12. B. Pell. Strategy Generation and Evaluation for Meta-Game Playing. PhD thesis, Trinity College, University of Cambridge, 1993.
13. Potsdam Answer Set Solving Collection, 2008. http://potassco.sourceforge. net/.
14. S. Schiffel and M. Thielscher. Fluxplayer: A successful general game player. In Proc. of AAAI, 1191-1196, 2007.
15. S. Schiffel and M. Thielscher. A multiagent semantics for the game description language. In Proc. of the Int.'l Conf. on Agents and Artificial Intelligence, Porto 2009. Springer LNCS.
16. W. van der Hoek, J. Ruan, and M. Wooldridge. Strategy logics and the game description language. In Proc. of the Workshop on Logic, Rationality and Interaction, Bejing 2007.