Author:
Gebser Martin,Kaminski Roland,Kaufmann Benjamin,Schaub Torsten
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Genesereth, M., Love, N., Pell, B.: General game playing: Overview of the AAAI competition. AI Magazine 26(2), 62–72 (2005)
2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
3. Lifschitz, V., Razborov, A.: Why are there so many loop formulas? ACM Transactions on Computational Logic 7(2), 261–268 (2006)
4. Lecture Notes in Computer Science;T. Soininen,1999
5. Lecture Notes in Computer Science;M. Nogueira,2001
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献