135 citations · 319 across the 25 of their papers we have counts for
17 papers · 1 filter
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Vito Barbara, Massimo Guarascio, Nicola Leone +4
Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performe…
An efficient solver for ASP(Q)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Programming (ASP) to allow for declarative and modular modeling of problems from the entire polynomial hierarchy.…
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual…
Beyond NP: Quantifying over Answer Sets
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems i…
Paracoherent Answer Set Semantics meets Argumentation Frameworks
Giovanni Amendola, Francesco Ricca
In the last years, abstract argumentation has met with great success in AI, since it has served to capture several non-monotonic logics for AI. Relations between argumentation fram…
The Seventh Answer Set Programming Competition: Design and Results
Martin Gebser, Marco Maratea, Francesco Ricca
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized i…