{"id":"https://openalex.org/W1976055110","doi":"https://doi.org/10.1145/1149114.1149117","title":"The DLV system for knowledge representation and reasoning","display_name":"The DLV system for knowledge representation and reasoning","publication_year":2006,"publication_date":"2006-07-01","ids":{"openalex":"https://openalex.org/W1976055110","doi":"https://doi.org/10.1145/1149114.1149117","mag":"1976055110"},"language":"en","primary_location":{"id":"doi:10.1145/1149114.1149117","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1149114.1149117","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/cs/0211004","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002604860","display_name":"Nicola Leone","orcid":"https://orcid.org/0000-0002-9742-1252"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Leone","raw_affiliation_strings":["University of Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045535458","display_name":"Gerald Pfeifer","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Gerald Pfeifer","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017101409","display_name":"Wolfgang Faber","orcid":"https://orcid.org/0000-0002-0330-5868"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Wolfgang Faber","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Thomas Eiter","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050151740","display_name":"Georg Gottlob","orcid":"https://orcid.org/0000-0002-2353-5230"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Georg Gottlob","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052577422","display_name":"Simona Perri","orcid":"https://orcid.org/0000-0002-8036-5709"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simona Perri","raw_affiliation_strings":["University of Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011519788","display_name":"Francesco Scarcello","orcid":"https://orcid.org/0000-0001-7765-1563"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Scarcello","raw_affiliation_strings":["University of Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":152.8858,"has_fulltext":false,"cited_by_count":1174,"citation_normalized_percentile":{"value":0.99987796,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"7","issue":"3","first_page":"499","last_page":"562"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6839367151260376},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.5993472933769226},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5980086922645569},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5818517208099365},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5502592921257019},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.512285590171814},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47537580132484436},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4700407385826111},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.46594560146331787},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.4575040638446808},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34857606887817383},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3183974027633667}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6839367151260376},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5993472933769226},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5980086922645569},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5818517208099365},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5502592921257019},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.512285590171814},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47537580132484436},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4700407385826111},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.46594560146331787},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4575040638446808},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34857606887817383},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3183974027633667}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1145/1149114.1149117","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1149114.1149117","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/0211004","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0211004","pdf_url":"https://arxiv.org/pdf/cs/0211004","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.104.4415","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.4415","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mat.unical.it/leone/ai/materiale/files/TOCL - dlv.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.11.3695","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3695","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.kr.tuwien.ac.at/research/reports/rr0214.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.341.7592","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0211004v3.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.342.4819","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0211004v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.342.5642","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.5642","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0211004v2.pdf","raw_type":"text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:6eb51177-9a05-4c7f-9aa7-e82c43b98d8a","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:6eb51177-9a05-4c7f-9aa7-e82c43b98d8a","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Computer Science","raw_type":"Journal article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:d9025d55-9b37-42c1-9892-506960077d95","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:d9025d55-9b37-42c1-9892-506960077d95","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Computer Science","raw_type":"Journal article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:cs/0211004","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0211004","pdf_url":"https://arxiv.org/pdf/cs/0211004","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":119,"referenced_works":["https://openalex.org/W16661495","https://openalex.org/W23310411","https://openalex.org/W24220676","https://openalex.org/W58130649","https://openalex.org/W58471491","https://openalex.org/W73864267","https://openalex.org/W98766033","https://openalex.org/W128301608","https://openalex.org/W161408479","https://openalex.org/W207962917","https://openalex.org/W1483983124","https://openalex.org/W1486205590","https://openalex.org/W1490980613","https://openalex.org/W1492736196","https://openalex.org/W1494051470","https://openalex.org/W1494073292","https://openalex.org/W1502083504","https://openalex.org/W1505706329","https://openalex.org/W1505787149","https://openalex.org/W1508334095","https://openalex.org/W1508718221","https://openalex.org/W1515520450","https://openalex.org/W1516535258","https://openalex.org/W1516981545","https://openalex.org/W1520957705","https://openalex.org/W1534636739","https://openalex.org/W1538563044","https://openalex.org/W1539763149","https://openalex.org/W1540492824","https://openalex.org/W1541340697","https://openalex.org/W1550517172","https://openalex.org/W1562038341","https://openalex.org/W1563821244","https://openalex.org/W1564815759","https://openalex.org/W1571977899","https://openalex.org/W1573411777","https://openalex.org/W1579330263","https://openalex.org/W1582092760","https://openalex.org/W1583896216","https://openalex.org/W1589875904","https://openalex.org/W1593296518","https://openalex.org/W1593530704","https://openalex.org/W1602972790","https://openalex.org/W1604945782","https://openalex.org/W1605586974","https://openalex.org/W1606891084","https://openalex.org/W1611226978","https://openalex.org/W1645024293","https://openalex.org/W1645675097","https://openalex.org/W1672891595","https://openalex.org/W1688385935","https://openalex.org/W1766332311","https://openalex.org/W1774324140","https://openalex.org/W1797711932","https://openalex.org/W1963591676","https://openalex.org/W1967140769","https://openalex.org/W1968513265","https://openalex.org/W1969965298","https://openalex.org/W1974247722","https://openalex.org/W1985274317","https://openalex.org/W1987080413","https://openalex.org/W1999410326","https://openalex.org/W2005465900","https://openalex.org/W2007993940","https://openalex.org/W2011124182","https://openalex.org/W2022397086","https://openalex.org/W2023141722","https://openalex.org/W2025970985","https://openalex.org/W2028245171","https://openalex.org/W2031970196","https://openalex.org/W2036241121","https://openalex.org/W2048746006","https://openalex.org/W2058658036","https://openalex.org/W2065555531","https://openalex.org/W2071367694","https://openalex.org/W2076698873","https://openalex.org/W2085084839","https://openalex.org/W2087432892","https://openalex.org/W2088175080","https://openalex.org/W2090798572","https://openalex.org/W2092211394","https://openalex.org/W2097366413","https://openalex.org/W2099531973","https://openalex.org/W2105197521","https://openalex.org/W2105511490","https://openalex.org/W2106614716","https://openalex.org/W2108309071","https://openalex.org/W2111353076","https://openalex.org/W2118823189","https://openalex.org/W2124627636","https://openalex.org/W2141740710","https://openalex.org/W2149225517","https://openalex.org/W2150661189","https://openalex.org/W2156347478","https://openalex.org/W2163422395","https://openalex.org/W2167505882","https://openalex.org/W2176981155","https://openalex.org/W2295882966","https://openalex.org/W2400283444","https://openalex.org/W2411085520","https://openalex.org/W2586770626","https://openalex.org/W2586881755","https://openalex.org/W2608239929","https://openalex.org/W2611415697","https://openalex.org/W2748837517","https://openalex.org/W2899766884","https://openalex.org/W2912613826","https://openalex.org/W2949686343","https://openalex.org/W2951494809","https://openalex.org/W2951636042","https://openalex.org/W3104122731","https://openalex.org/W4211235477","https://openalex.org/W6629603164","https://openalex.org/W6630400633","https://openalex.org/W6631072894","https://openalex.org/W6636124301","https://openalex.org/W6636181864","https://openalex.org/W6638065767","https://openalex.org/W6990023262"],"related_works":["https://openalex.org/W108139873","https://openalex.org/W1505443365","https://openalex.org/W2134039900","https://openalex.org/W2034589153","https://openalex.org/W1511110679","https://openalex.org/W2256886837","https://openalex.org/W1532845068","https://openalex.org/W2792614959","https://openalex.org/W1627528933","https://openalex.org/W1575307414"],"abstract_inverted_index":{"Disjunctive":[0],"Logic":[1],"Programming":[2],"(DLP)":[3],"is":[4,14,33,51,64,108],"an":[5],"advanced":[6],"formalism":[7],"for":[8,89,123,168,253,287,322],"knowledge":[9,169,270,327],"representation":[10,170,271],"and":[11,98,118,171,215,232,273,296,318,329],"reasoning,":[12,172],"which":[13,79,107,149,179,245,259,298],"very":[15],"expressive":[16,54],"in":[17,35,69,83,95,193],"a":[18,96,128,151,166,174,194,203,223],"precise":[19],"mathematical":[20],"sense:":[21],"it":[22],"allows":[23,88,180],"one":[24,181],"to":[25,66,154,182,187,267,303],"express":[26,155],"every":[27],"property":[28],"of":[29,77,92,114,131,163,206,210,213,226,229,241,265,284,307,316],"finite":[30],"structures":[31],"that":[32],"decidable":[34,68],"the":[36,75,84,104,111,161,198,207,211,227,238,242,277,282,285,305,308,314],"complexity":[37,94,209,219,228],"class":[38,76],"\u03a3":[39],"P":[40,189],"2":[41],"(NP":[42],"NP":[43],").":[44],"Thus,":[45],"under":[46],"widely":[47,109],"believed":[48],"assumptions,":[49],"DLP":[50],"strictly":[52],"more":[53,99],"than":[55],"normal":[56],"(":[57],"disjunction-free":[58],")":[59],"logic":[60,116,137],"programming,":[61,117],"whose":[62],"expressiveness":[63],"limited":[65],"properties":[67],"NP.":[70],"Importantly,":[71],"apart":[72],"from":[73],"enlarging":[74],"applications":[78],"can":[80],"be":[81],"encoded":[82],"language,":[85,134],"disjunction":[86],"often":[87],"representing":[90],"problems":[91,185],"lower":[93],"simpler":[97],"natural":[100],"fashion.This":[101],"article":[102],"presents":[103],"DLV":[105,164,243,266,317],"system,":[106,244],"considered":[110],"state-of-the-art":[112],"implementation":[113],"disjunctive":[115,136,142],"addresses":[119],"several":[120],"aspects.":[121],"As":[122,252],"problem":[124],"solving,":[125],"we":[126,201,221,236,255,274,291],"provide":[127,202],"formal":[129],"definition":[130],"its":[132,320],"kernel":[133],"function-free":[135],"programs":[138],"(also":[139],"known":[140],"as":[141,165],"datalog":[143],"),":[144],"extended":[145],"by":[146,216,249],"weak":[147],"constraints,":[148],"are":[150],"powerful":[152],"tool":[153,167],"optimization":[156],"problems.":[157],"We":[158],"then":[159],"illustrate":[160,237],"usage":[162],"describing":[173],"new":[175,218],"declarative":[176,195],"programming":[177],"methodology":[178],"encode":[183],"complex":[184],"(up":[186],"\u0394":[188],"3":[190],"-complete":[191],"problems)":[192],"fashion.":[196],"On":[197],"foundational":[199],"side,":[200],"detailed":[204],"analysis":[205],"computational":[208],"language":[212,231],"DLV,":[214],"deriving":[217],"results":[220,312],"chart":[222],"complete":[224],"picture":[225],"this":[230],"important":[233],"fragments":[234],"thereof.Furthermore,":[235],"general":[239],"architecture":[240],"has":[246,299],"been":[247,261,300],"influenced":[248],"these":[250],"results.":[251],"applications,":[254],"overview":[256],"application":[257,324],"front-ends":[258],"have":[260],"developed":[262],"on":[263],"top":[264],"solve":[268],"specific":[269],"tasks,":[272],"briefly":[275],"describe":[276],"main":[278],"international":[279],"projects":[280],"investigating":[281],"potential":[283,321],"system":[286],"industrial":[288],"exploitation.":[289],"Finally,":[290],"report":[292],"about":[293],"thorough":[294],"experimentation":[295],"benchmarking,":[297],"carried":[301],"out":[302],"assess":[304],"efficiency":[306],"system.":[309],"The":[310],"experimental":[311],"confirm":[313],"solidity":[315],"highlight":[319],"emerging":[323],"areas":[325],"like":[326],"management":[328],"information":[330],"integration.":[331]},"counts_by_year":[{"year":2026,"cited_by_count":9},{"year":2025,"cited_by_count":15},{"year":2024,"cited_by_count":17},{"year":2023,"cited_by_count":21},{"year":2022,"cited_by_count":21},{"year":2021,"cited_by_count":23},{"year":2020,"cited_by_count":33},{"year":2019,"cited_by_count":51},{"year":2018,"cited_by_count":54},{"year":2017,"cited_by_count":44},{"year":2016,"cited_by_count":65},{"year":2015,"cited_by_count":71},{"year":2014,"cited_by_count":69},{"year":2013,"cited_by_count":79},{"year":2012,"cited_by_count":83}],"updated_date":"2026-08-12T07:12:00.856984","created_date":"2025-10-10T00:00:00"}