JOURNAL ARTICLE
The generalized counting method for recursive logic queries
Year: 1986 Journal: Theoretical Computer Science Vol: 62 (1-2)Pages: 187-220 Publisher: Elsevier BV
Keywords:
Forward chaining Computation Computer science Fixed point Backward chaining Chaining Deductive database Function (biology) Theoretical computer science Algorithm Mathematics Inference Expert system
Metrics
93
Cited By
12.47
FWCI (Field Weighted Citation Impact)
39
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
BOOK-CHAPTER
The generalized counting method for recursive logic queries
Lecture notes in computer science Year: 1986 Pages: 31-53
JOURNAL ARTICLE
Evaluating linear-recursive logic queries against cyclic relations
Journal: Decision Support Systems Year: 1988 Vol: 4 (1)Pages: 148-148
JOURNAL ARTICLE
Privately Answering Counting Queries with Generalized Gaussian Mechanisms.
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2021 Vol: 192
JOURNAL ARTICLE
An optimization strategy for recursive queries in logic databases
Seppo SippuEljas Soisalon-Soininen
Year: 2003 Pages: 470-477
JOURNAL ARTICLE
Experimenting with recursive queries in database and logic programming systems
Giorgio TerracinaNicola LeoneVincenzino LioClaudio Panetta
Journal: Theory and Practice of Logic Programming Year: 2007 Vol: 8 (2)Pages: 129-165