Top-down and Bottom-up Evaluation Procedurally Integrated
Work
Year: 2018
Type: article
Abstract: This paper describes how the Logic Programming System XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively.... more
Author David S. Warren
Institution Stony Brook University
Cites: 22
Cited by: 3
Related to: 10
FWCI: 0.482
Citation percentile (by year/subfield): 46.46
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze