135 citations · 319 across the 25 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2011
Parallel Instantiation of ASP Programs: Techniques and Experiments
Simona Perri, Francesco Ricca, Marco Sirianni
Answer Set Programming (ASP) is a powerful logic-based programming language, which is enjoying increasing interest within the scientific community and (very recently) in industry.…
cs.PL2011
Unit Testing in ASPIDE
Onofrio Febbraro, Nicola Leone, Kristian Reale +1
Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools f…