The ASP System DLV: Advancements and Applications

Adrian, Weronika T.Alviano, MarioCalimeri, FrancescoCuteri, BernardoDodaro, CarmineFaber, WolfgangFuscà, DavideLeone, NicolaManna, MarcoPerri, SimonaRicca, FrancescoVeltri, PierfrancescoZangari, Jessica2019-04-242019-04-242018https://dl.gi.de/handle/20.500.12116/21868enThe ASP System DLV: Advancements and ApplicationsText/Journal10.1007/s13218-018-0533-01610-1987