Logic Programming-Reference-Cited by-同舟云学术

Logic Programming

Published:1990 Issue: Volume: Page:493-574
ISSN:
Container-title:Formal Models and Semantics
language:
Short-container-title:

Author:

APT Krzysztof R.

Publisher

Elsevier

Reference103 articles.

1. The generalized completeness of Horn predicate logic as a programming language;ANDRÉKA;Acta Cybernet.,1978

2. APT, K.R. and H.A. BLAIR, Arithmetic classification of perfect models of stratified programs, in: Proc. 5th Internat. Conf. on Logic Programming (MIT Press, Cambridge, MA, 1988) 765–779.

3. Towards a theory of declarative knowledge;APT,1988

4. Contributions to the theory of logic programming;APT;J. ACM,1982

5. Negation as failure: Completeness of the query evaluation process for Horn clause programs with recursive definitions;AQUILANO;J. Automat. Reason.,1986

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

1. Sniping at web applications to discover input-handling vulnerabilities;Journal of Computer Virology and Hacking Techniques;2024-04-12

2. Sequential composition of propositional logic programs;Annals of Mathematics and Artificial Intelligence;2024-02-15

3. Approaching Model Edition as a Linear Logic Problem;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain;Applied Intelligence;2023-08-22

5. Lattice point of view for argumentation framework;Annals of Mathematics and Artificial Intelligence;2023-06-17