Enhancing DLV for large-scale reasoning

DOI10.1007/978-3-030-20528-7_23OpenAlexW2944851960MaRDI QIDQ2326744

Marco Manna, Jessica Zangari, Nicola Leone, Kristian Reale, Carlo Allocca, Francesco Ricca, Mario Alviano, Francesco Calimeri, Stefano Germano, Roberta Costabile, Alessio Fiorentino, Pierfrancesco Veltri, Cristina Civili, Giovanni Laboccetta, Bernardo Cuteri, Davide Fuscà, Simona Perri

Publication date: 10 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-20528-7_23

zbMATH Keywords

data-intensive applicationsAsplarge-scale reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

DLV2

Uses Software

• DLV
• SPARQL
• WASP
• OpenRuleBench
• LUBM
• AquaLog
• DBpedia
• Vadalog
• WEBCOOP
• RDFox

This page was built for publication: Enhancing DLV for large-scale reasoning