The ASP System DLV: Advancements and Applications