Answer Set Programming (ASP) is a declarative logic programming paradigm developed in the area of logic programming and nonmonotonicreasoning. Nowadays, the formal properties of ASP are well-understood, and several ecient ASP systems are available. Among them, DLV isone of the most relevant. DLV is the product of more than twelve years of research, and, notably, it is one of the rst ASP systems eectivelyemployed for developing applications at the industrial level. This paper presents some of the most valuable among such applications, and reports on the lessons we have learned on the eld using DLV as a powerful tool in industry.
On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field
CALIMERI, Francesco;RICCA, Francesco
2012-01-01
Abstract
Answer Set Programming (ASP) is a declarative logic programming paradigm developed in the area of logic programming and nonmonotonicreasoning. Nowadays, the formal properties of ASP are well-understood, and several ecient ASP systems are available. Among them, DLV isone of the most relevant. DLV is the product of more than twelve years of research, and, notably, it is one of the rst ASP systems eectivelyemployed for developing applications at the industrial level. This paper presents some of the most valuable among such applications, and reports on the lessons we have learned on the eld using DLV as a powerful tool in industry.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
