Author:
Alferes José Júlio,Pereira Luís Moniz,Przymusinski Teodor C.
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. J. Alferes, L. Pereira, and T. C. Przymusinski. Belief revision in logic programming and non-monotonic reasoning. In Progress in AI, Proceedings of the International Artificial Intelligence Conference, EPIA '95, pages 41–56, 1995.
2. J. J. Alferes, C. V. Damásio, and L. M. Pereira. SLX — A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, International Symposium on Logic programming. MIT Press, 1994.
3. J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, Int. Joint Conf. and Symp. on LP. MIT Press, 1992.
4. J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. In R. Dyckhoff, editor, 4th Int. Ws. on Extensions of LP, volume 798 of LNAI. Springer-Verlag, 1994.
5. J. J. Alferes, L. M. Pereira, and T. C. Przymusinski. “Classical” negation in non monotonic reasoning and logic programming. In H. Kautz and B. Selman, editors, 4th Int. Symposium on Artificial Intelligence and Mathematics. Florida Atlantic University, 1996.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献