The ASP System DLV2.

Mario Alviano Francesco Calimeri Carmine Dodaro Davide Fuscà Nicola Leone Simona Perri Francesco Ricca Pierfrancesco Veltri Jessica Zangari

Published in: LPNMR (2017)

Keyphrases

answer set programming
logic programming
answer sets
logic programs
disjunctive logic programming
answer set programs
stable model semantics
stable models
answer set semantics
knowledge representation
programming language
machine learning
search algorithm
management system