Author:
Cabalar Pedro,Pearce David,Valverde Agustín
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. CUP, Cambridge (2002)
2. Lecture Notes in Artificial Intelligence;A. Bria,2008
3. Lecture Notes in Computer Science;J. Bruijn de,2007
4. Lecture Notes in Artificial Intelligence;P. Cabalar,2005
5. Cabalar, P., Pearce, D., Valverde, A.: Safety Preserving Transformations for General Answer Set Programs. In: Logic-Based program Synthesis and Transformation. Proc. LOPSTR 2009 (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献