Author:
Damásio Carlos Viegas,Pereira Luís Moniz
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93–147, 1995.
2. J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, Joint International Conference and Symposium on Logic Programming, pages 574–588, Washington, USA, November 1992. MIT Press.
3. J. J. Alferes and L. M. Pereira. Belief, provability and logic programs. Journal of Applied Non-Classical Logics. Logics in AI. A selection of extended versions of JELIA '94 papers, 5(1), 1995.
4. J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. Springer-Verlag, 1996. In print.
5. J. J. Alferes, L. M. Pereira, and T. C. Przymusinski. Belief revision in non-monotonic reasoning. In C. Pinto-Ferreira and N. J. Mamede, editors, Proc. EPIA '95, LNAI 990, pages 41–56, 1995.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adaptive Reasoning for Cooperative Agents;Lecture Notes in Computer Science;2011
2. Stabel Model Implementation of Layer Supported Models by Program Transformation;Lecture Notes in Computer Science;2011
3. Semantic Web Logic Programming Tools;Principles and Practice of Semantic Web Reasoning;2003
4. Dynamic Knowledge Representation and Its Applications;Artificial Intelligence: Methodology, Systems, and Applications;2000
5. Generalizing updates: From models to programs;Logic Programming and Knowledge Representation;1998