Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Apt, K., Gabbrielli, M., Pedreschi, D.: A closer look to declarative interpretations. Journal of Logic Programming 28(2), 147–180 (1996)
2. Apt, K.R.: Logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 493–574. Elsevier, Amsterdam (1990)
3. Apt, K.R., Bol, R.: Logic Programming and Negation: A Survey. Journal of Logic Programming 19-20, 9–71 (1994)
4. Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming 19-20, 73–148 (1994)
5. Barbuti, R., Mancarella, P., Pedreschi, D., Turini, F.: A Transformational Approach to Negation in Logic Programming. Journal of Logic Programming 8, 201–228 (1990)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献