Abduction over 3-valued extended logic programs-Reference-Cited by-同舟云学术

Abduction over 3-valued extended logic programs

Published:1995 Issue: Volume: Page:29-42
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Damásio Carlos Viegas,Pereira Luís Moniz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59487-6_3.pdf

Reference31 articles.

1. J. J. Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993.

2. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, ILPS'94, pages 424–438. MIT Press, 1994.

3. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Special Issue of the JAR, 1995. To appear.

4. J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, IJCSLP'92, pages 574–588. MIT Press, 1992.

5. 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.

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

1. On the Semantics of Logic Program Composition;Program Development in Computational Logic;2004

2. Belief revision via Lamarckian evolution;New Generation Computing;2003-09

3. Psychiatric Diagnosis from the Viewpoint of Computational Logic;Computational Logic — CL 2000;2000

4. A Simple Characterization of Extended Abduction;Computational Logic — CL 2000;2000

5. Updating Extended Logic Programs through Abduction;Logic Programming and Nonmonotonic Reasoning;1999