A basis for deductive database systems. II
Journal of Logic Programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Stable Model Semantics of Weight Constraint Rules
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Automatic heuristic construction in a complete general game player
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Heuristic evaluation functions for general game playing
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Fluxplayer: a successful general game player
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Simulation-based approach to general game playing
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Automatic SAT-compilation of planning problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
On the Input Language of ASP Grounder Gringo
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Conflict-Driven Answer Set Solver clasp: Progress Report
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Formalization of psychological knowledge in answer set programming and its application
Theory and Practice of Logic Programming
ASP as a cognitive modeling tool: short-term memory and long-term memory
Logic programming, knowledge representation, and nonmonotonic reasoning
plasp: a prototype for PDDL-based planning in ASP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
General game playing in AI research and education
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Hi-index | 0.00 |
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human intervention. In this paper, we show how Answer Set Programming can assist a general game player with the special class of single-player games. To this end, we present a translation from the general Game Description Language (GDL) into answer set programs (ASP). Correctness of this mapping is established by proving that the stable models of the resulting ASP coincide with the possible developments of the original GDL game. We report on experiments with single-player games from past AAAI General Game Playing Competitions which substantiate the claim that Answer Set Programming can provide valuable support to general game playing systems for this type of games.