17 citations · 17 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Francesco Calimeri, Simona Perri, Jessica Zangari
Answer Set Programming (ASP) is a purely declarative formalism developed in the field of logic programming and nonmonotonic reasoning: computational problems are encoded by logic p…
cs.AI2017★ 17 cited
A Framework for Easing the Development of Applications Embedding Answer Set Programming
Francesco Calimeri, Davide Fuscà, Stefano Germano +2
Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representatio…