Search Results for author:
Found 2 papers, 1 papers with code
Finite Groundings for ASP with Functions: A Journey through Consistency
These insights allow for a more fine-grained analysis where we characterize ASP programs as "frugal" and "non-proliferous".
Nemo: First Glimpse of a New Rule Engine
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
