The locality principle and completeness in logic programming

Authors:
Howard C. Wasserman;Zhizhang Shen
Affiliations:
Department of Computer Science, Queens College (CUNY);Department of Computer Science, Plymouth State College (USNH)
Venue:
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Year:
1994

Citing 6
Cited 0

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Signed data dependencies in logic programs

Journal of Logic Programming
Completed logic programs and their consistency

Journal of Logic Programming
Correct answers to allowed programs and queries are ground

Journal of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract