Contradiction: When avoidance equals removal Part I-Reference-Cited by-同舟云学术

Contradiction: When avoidance equals removal Part I

Published:1994 Issue: Volume: Page:11-23
ISSN:0302-9743
Container-title:Extensions of Logic Programming
language:
Short-container-title:

Author:

Alferes José Júlio,Pereira Luís Moniz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58025-5_47

Reference28 articles.

1. J. J. Alferes, P. M. Dung, and L. M. Pereira. Scenario semantics of extended logic programs. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on Logic Programming and NonMonotonic Reasoning. MIT Press, 1993.

2. J. J. Alferes and L. M. Pereira. On logic programs semantics with two kinds of negation. In K. Apt, editor, Int. Joint Conf. and Symp. on Logic Programming, pages 574–588. MIT Press, 1992.

3. H. Blair and V. S. Subrahmanian. Paraconsistent logic programming. In Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 340–360. Springer-Verlag, 1987.

4. G. Brewka and K. Konolige. An abductive framework for generalized logic programs and other nonmonotonic systems. Tech. report, GMD and SRI Int., 1993.

5. N. Costa. On the theory of inconsistency formal system. Notre Dame J. of Formal Logic, 15:497–510, 1974.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic Programming Updating - A Guided Approach;Computational Logic: Logic Programming and Beyond;2002

2. Update-programms can update programs;Non-Monotonic Extensions of Logic Programming;1997

3. Strong and explicit negation in non-monotonic reasoning and logic programming;Logics in Artificial Intelligence;1996

4. A logic programming system for nonmonotonic reasoning;Journal of Automated Reasoning;1995

5. Abduction over 3-valued extended logic programs;Logic Programming and Nonmonotonic Reasoning;1995