Author:
Muñoz-Hernández Susana,Moreno-Navarro Juan José
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Alferes, J.J., Damásio, C.V., Pereira, L.M.: A logic programming system for nonmonotonic reasoning. In: Journal of Automated Reasoning, volume 14(1), pp. 93–147 (1995)
2. Alvez, J., Lucio, P., Orejas, F., Pasarella, E., Pino, E.: Constructive negation by bottom-up computation of literal answers. In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia (Cyprus). ACM, vol. 2, pp. 1468–1475 (2004)
3. Lecture Notes in Computer Science;R. Barbuti,1987
4. Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: A transformational approach to negation in logic programming. JLP 8(3), 201–228 (1990)
5. Barták, R.: Constructive negation in clp(h). Tech. Report 98/6, Department of Theoretical Computer Science, Charles University, Prague (July 1998)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献