A natural semantics for logic programs with negation-Reference-Cited by-同舟云学术

A natural semantics for logic programs with negation

Published:1989 Issue: Volume: Page:78-88
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dung Phan Minh,Kanchanasut Kanchana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52048-1_34.pdf

Reference13 articles.

1. K. Apt, H. Blair and A. Walker. Towards a Theory of Declarative Knowledge, In J. Minker, editor, Foundation of Deductive Database and Logic Programming, pages 89–148. Morgan Kaufmann, 1988.

2. K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293–322. Plenum Press, 1978.

3. P. M. Dung and K. Kanchanasut. A Fixpoint Approach to Declarative Semantics of Logic Programs. In Proc of the North American Conference on Logic Programming, Cleveland, Ohio, 1989.

4. P.M. Dung and K. Kanchanasut. Constructive Semantics for Logic Programs. Technical Report, AIT-CS, 6/89, April 1989.

5. M. Gelford and V. Lifschitz. The stable model semantics for logic programs. In Proc of the Fifth International Conference on Logic Programming, pages 1070–1079. Seatles, Washington, 1988.

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

1. Rules and Logic Programming for the Web;Reasoning Web. Semantic Technologies for the Web of Data;2011

2. Transformation-based bottom-up computation of the well-founded model;Non-Monotonic Extensions of Logic Programming;1997

3. Improving the alternating fixpoint: The transformation approach;Logic Programming And Nonmonotonic Reasoning;1997

4. A general approach to bottom-up computation of disjunctive semantics;Non-Monotonic Extensions of Logic Programming;1995

5. On the autoepistemic reconstruction of logic programming;New Generation Computing;1993-06