{"id":5285,"date":"2025-11-10T16:03:01","date_gmt":"2025-11-10T15:03:01","guid":{"rendered":"https:\/\/www.dlvsystem.it\/dlvsite\/?page_id=5285"},"modified":"2026-02-03T12:30:30","modified_gmt":"2026-02-03T11:30:30","slug":"dlv","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/dlv\/","title":{"rendered":"DLV"},"content":{"rendered":"
<\/div><\/div><\/span>

DLV<\/h2><\/span>
<\/div><\/div><\/div>

DLV is a deductive database system based on disjunctive logic programming, providing front-ends for various advanced reasoning formalisms.<\/p>\n

It was developed by a joint Italian-Austrian research group (from the University of Calabria and the Vienna University of Technology – TU Wien). The system’s key strength lies in its wide range of applications, from ‘database-oriented’ deductive tasks to challenging combinatorial search and optimization problems.<\/p>\n

DLV is a ‘general-purpose’ artificial intelligence system.<\/p>\n<\/div>

<\/i><\/i><\/span>Licence<\/span><\/a><\/h4><\/div>
\n

DLV is free for academic and non-commercial use, as well as for use by non-profit organizations.<\/p>\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Download<\/span><\/a><\/h4><\/div>
\n

DLV can be downloaded by clicking the download button:<\/p>\n

DLV download page<\/span><\/a><\/div><\/div><\/div><\/div>

<\/i><\/i><\/span>Documentation<\/span><\/a><\/h4><\/div>
\n

The DLV manual is available here.<\/a><\/p>\n<\/div><\/div><\/div>

<\/i><\/i><\/span>Research & Publications<\/span><\/a><\/h4><\/div>
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)<\/a><\/div><\/div><\/div><\/div><\/div>
<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-5285","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/5285","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/comments?post=5285"}],"version-history":[{"count":4,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/5285\/revisions"}],"predecessor-version":[{"id":5354,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/5285\/revisions\/5354"}],"wp:attachment":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/media?parent=5285"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}