Francesco Ricca
www.mat.unical.it
0000-0001-8218-3178
2 papers found
Refreshing results…
Evaluation of Disjunctive Programs in WASP
Enhancing DLV for Large-Scale Reasoning
Missing publications? Search for publications with a matching author name.