Authors
Weronika T Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Publication date
2018/8
Journal
KI-Künstliche Intelligenz
Volume
32
Pages
177-179
Publisher
Springer Berlin Heidelberg
Description
We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of successful applications.
Total citations
2018201920202021202220232024214511888
Scholar articles
WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro… - KI-Künstliche Intelligenz, 2018