Enhancing DLV for large-scale reasoning

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

M. Manna, Jessica Zangari, N. Leone, Kristian Reale, Carlo Allocca, F. Ricca, M. 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 programming (68N17) Logic in artificial intelligence (68T27)

Cited In (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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2326744)