Author:
Leite JoÃo Alexandre,Pereira Luís Moniz
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. J. J. Alferes, L. M. Pereira. Reasoning with logic programming, LNAI 1111, Berlin, Springer-Verlag, 1996.
2. J. J. Alferes, L. M. Pereira. Update-programs can update programs. In J. Dix, L. M. Pereira and T. Przymusinski, editors, Selected papers from the ICLP'96 ws NMELP'96, vol. 1216 of LNAI, pages 110–131. Springer-Verlag, 1997.
3. J. J. Alferes, L. M. Pereira and T. Przymusinski. Strong and Explicit Negation in Nonmonotonic Reasoning and Logic Programming. In J. J. Alferes, L. M. Pereira and E. Orlowska, editors, JELIA '96, volume 1126 of LNAI, pages 143–163. Springer-Verlag, 1996.
4. S. Brass and J. Dix. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In Leon Sterling, editor, Procs. of the 12th Int. Conf. on Logic Programming, Tokyo, pag. 85–98, Berlin, June 1995. Springer-Verlag.
5. C. V. Damásio and L. M. Pereira. Default negated conclusions: why not? In R. Dyckhoff, H. Herre and P. Schroeder-Heister, editors, Procs. of ELP'96, volume 1050 of LNAI, pages 103–118. Springer-Verlag, 1996.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献