Answer set programming for single-player games in general game playing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5649 LNCS, Issue , 2009, Pages 327-341

  Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; DESCRIPTION LANGUAGES; GAME PLAYERS; GENERAL GAME PLAYING; HUMAN INTERVENTION; SPECIAL CLASS; STABLE MODEL;

DIFFUSION IN GASES; LOGIC PROGRAMMING; PROGRAM TRANSLATORS;

GAME THEORY;

EID: 69949133018     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02846-5_28     Document Type: Conference Paper

References (20)

1. Pell, B.: Strategy Generation and Evaluation for Meta-Game Playing. Ph.D thesis, Trinity College, University of Cambridge (1993)
2. Kuhlmann, G., Dresner, K., Stone, P.: Automatic heuristic construction in a complete general game player. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Boston, pp. 1457-1462. AAAI Press, Menlo Park (2006)
3. Clune, J.: Heuristic evaluation functions for general game playing. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Vancouver, pp. 1134-1139. AAAI Press, Menlo Park (2007)
4. Schiffel, S., Thielscher, M.: Fluxplayer: A successful general game player. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Vancouver, pp. 1191-1196. AAAI Press, Menlo Park (2007)
5. Finnsson, H., Björnsson, Y.: Simulation-based approach to general game playing. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Chicago, pp. 259-264. AAAI Press, Menlo Park (2008)
6. Genesereth, M., Love, N., Pell, B.: General game playing: overview of the AAAI competition. AI Magazine 26, 62-72 (2005)
7. Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General Game Playing: Game Description Language Specification. Technical Report LG-2006-01, Stanford Logic Group, Computer Science Department, Stanford University (2006), games.stanford.edu
8. Schiffel, S., Thielscher, M.: A multiagent semantics for the game description language. In: Filipe, J., Fred, A., Sharp, B. (eds.) Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), Porto. Springer, Heidelberg (2009)
9. Apt, K., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89-148. Morgan Kaufmann, San Francisco (1987)
10. Müller, M., Gasser, R.: Experiments in computer Go endgames. In: Nowakowski, R. (ed.) Games of No Chance, pp. 273-284. Cambridge University Press, Cambridge (1996)
11. Kautz, H., Selman, B.: Planning as Satisfiability. In: Neumann, B. (ed.) Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 359-363. John Wiley & Sons, Ltd., Chichester (1992)
12. Ernst, M.D., Millstein, T.D., Weld, D.S.: Automatic SAT-compilation of planning problems. In: Pollack, M.E. (ed.) Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Nagoya, Japan, pp. 1169-1176. Morgan Kaufmann, San Francisco (1997)
13. Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence 138, 39-54 (2002)
14. Potsdam Answer Set Solving Collection (2008), potassco.sourceforge.net
15. Gelfond, M.: Answersets. In: vanHarmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 285-316. Elsevier, Amsterdam (2008)
16. van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proceedings of the 8th Symposium on Principles of Database Systems, ACM SIGACTSIGMOD, pp. 1-10 (1989)
17. Lloyd, J., Topor, R.: A basis for deductive database systems II. Journal of Logic Programming 3, 55-67 (1986)
18. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49-104 (2004)
19. Niemelä, I., Simons, P., Soininen, T.: Stable model semantics of weight constraint rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS, vol. 1730, pp. 317-331. Springer, Heidelberg (1999)
20. Lee, J., Meng, Y.: On loop formulas with variables. In: Brewka, G., Doherty, P., Lang, J. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Sydney, pp. 444-453 (2008)