The well-founded semantics for general logic programs-Reference-Cited by-同舟云学术

The well-founded semantics for general logic programs

Published:1991-07 Issue:3 Volume:38 Page:619-649
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Van Gelder Allen¹,Ross Kenneth A.²,Schlipf John S.³

Affiliation:

1. Univ. of California at Santa Cruz, Santa Cruz

2. Sanford Univ., Stanford, CA

3. Univ. of Cincinnati, Cincinnati, OH

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference39 articles.

1. Towards a theory of declarative knowledge. In J. Minker, ed. Foundations of Deductive Databases and Logic Programming. Morgan- Kaufmann, San Mateo;APT K. R.;Calif.,1988

2. Contributions to the Theory of Logic Programming

3. Structure and complexity of relational queries;CHANDRA A.;J. Comput. Syst. Sci.

4. Horn clause queries and generalizations;CHANDRA A.;J. Logic Prog.,1985

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

1. A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation;Electronic Proceedings in Theoretical Computer Science;2024-09-11

2. Stratified extended multi-adjoint logic programming;Fuzzy Sets and Systems;2024-09

3. On the Structure of Game Provenance and its Applications;2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2024-07-08

4. Scheduling of Automated Wet-Etch Stations with One Robot in Semiconductor Manufacturing via Constraint Answer Set Programming;Processes;2024-06-25

5. Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming;Artificial Intelligence;2024-06