Contributions to the Theory of Logic Programming-Reference-Cited by-同舟云学术

Contributions to the Theory of Logic Programming

Published:1982-07 Issue:3 Volume:29 Page:841-862
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Apt Krzysztof R.¹,van Emden M. H.²

Affiliation:

1. LITP, Université Paris 7, 2 Place Jussieu, 75221 Paris, France

2. Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1

Publisher

Association for Computing Machinery (ACM)

Subject

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

Reference19 articles.

1. BLAIR H A The recurslon-theoretlc complexity and fLxpomt semantics of definite sentences. Ph.D D~ssertat~on Dep of Computer and Informanon Science Syracuse Univ. Syracuse N.Y 1980. BLAIR H A The recurslon-theoretlc complexity and fLxpomt semantics of definite sentences. Ph.D D~ssertat~on Dep of Computer and Informanon Science Syracuse Univ. Syracuse N.Y 1980.

2. BLIKLE A.provmg programs by sets of computations In Mathemancal Foundations of Computer Science lit Lecture Notes m Computer Science 28 A Bhkle Ed Sprmger-Verlag Berlin Heidelberg New York 1975 pp 333-358. BLIKLE A.provmg programs by sets of computations In Mathemancal Foundations of Computer Science lit Lecture Notes m Computer Science 28 A Bhkle Ed Sprmger-Verlag Berlin Heidelberg New York 1975 pp 333-358.

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

1. Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic;Bulletin of the Section of Logic;2023-07-18

2. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

3. Dialogue Explanations for Rule-Based AI Systems;Explainable and Transparent AI and Multi-Agent Systems;2023

4. Discussion;Intelligent Systems Reference Library;2023

5. A Predicate Construct for Declarative Programming in Imperative Languages;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20