Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Slota, M., Leite, J.A.: EVOLP: Transformation-based semantics. In: Sadri, F., Satoh, K. (eds.) Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII) (2008) (in this volume)
2. Lecture Notes in Artificial Intelligence;J.J. Alferes,2002
3. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th international conference on logic programming, pp. 579–597. MIT Press, Cambridge (1990)
4. Lecture Notes in Artificial Intelligence;J.A. Leite,2007
5. Lecture Notes in Artificial Intelligence;J.J. Alferes,2003
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献