Enhancing DLV for large-scale reasoning

DOI10.1007/978-3-030-20528-7_23MaRDI QIDQ2326744zbMATH OpenOpenAlexFDO

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

Publication date 10 October 2019

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

zbMATH Keywords

Aspdata-intensive applicationslarge-scale reasoning

Mathematics Subject Classification ID

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

Cited in

(1)

• DLV2

Describes a project that uses

Uses Software

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

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)