Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
Work
Year: 2017
Type: article
Abstract: In this article, we propose a new technique for checking whether the bottom-up evaluation of logic programs with function symbols terminates. The technique is based on the definition of mappings from ... more
Institutions University of Edinburgh, University of Calabria
Cites: 60
Cited by: 5
Related to: 10
FWCI: 0.567
Citation percentile (by year/subfield): 74
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green