135 citations · 319 across the 25 of their papers we have counts for
6 papers · 1 filter
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…
Partial Compilation of ASP Programs
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca +1
Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from ded…
Better Paracoherent Answer Sets with Less Resources
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutio…
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…