Author:
Pasarella Edelmira,Orejas Fernando,Pino Elvira,Navarro Marisa
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference38 articles.
1. Contributions to the theory of logic programming;Apt;J. ACM,1982
2. R. Arruabarrena, P. Lucio, M. Navarro, A strong logic programming view for static embedded implications, in: Proceedings of the Second International Conference on Foundations of Software Science and Computation Structures FOSSACS’99, LNCS, vol. 1578, Springer-Verlag, 1999, pp. 56–72.
3. M. Baldoni, L. Giordano, A. Martelli, Translating a modal language with embedded implication into Horn clause logic, in: Proceedings of the Fifth International Workshop on Extensions of Logic Programming, LNCS, vol. 1050, Springer-Verlag, 1996, pp. 19–33.
4. A. Bonner, L.T. McCarty, Adding negation-as-failure to intuitionistic logic programming, in: Proceedings of the North American Conference on Logic Programming NACLP’90, MIT Press, 1990, pp. 681–703.
5. The s-semantics approach: theory and applications;Bossi;J. Logic Programming,1994
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献