Simona Perri
Simona Perri
Department of Mathematics, University of Calabria, Italy
Verified email at mat.unical.it
Title
Cited by
Cited by
Year
The DLV system for knowledge representation and reasoning
N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello
ACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 2006
14112006
Census data repair: a challenging application of disjunctive logic programming
E Franconi, AL Palma, N Leone, S Perri, F Scarcello
International Conference on Logic for Programming Artificial Intelligence …, 2001
1182001
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
802011
The disjunctive datalog system DLV
M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina
International Datalog 2.0 Workshop, 282-301, 2010
722010
The DLV system
N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ...
European Workshop on Logics in Artificial Intelligence, 537-540, 2002
682002
I-DLV: the new intelligent grounder of DLV
F Calimeri, D Fuscą, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
602017
Grounding and solving in answer set programming
B Kaufmann, N Leone, S Perri, T Schaub
AI Magazine 37 (3), 25-32, 2016
592016
The asp system DLV2
M Alviano, F Calimeri, C Dodaro, D Fuscą, N Leone, S Perri, F Ricca, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
582017
Improving ASP instantiators by join-ordering methods
N Leone, S Perri, F Scarcello
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001
542001
Free and open source enabling technologies for patient-centric, guideline-based clinical decision support: a survey
TY Leong, K Kaiser, S Miksch
Yearbook of medical informatics, 74, 2007
472007
Declarative and computational properties of logic programs with aggregates
F Calimeri, W Faber, N Leone, S Perri
IJCAI 5, 406-411, 2005
432005
Enhancing DLV instantiator by backjumping techniques
S Perri, F Scarcello, G Catalano, N Leone
Annals of Mathematics and Artificial Intelligence 51 (2-4), 195, 2007
392007
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
M Gebser, N Leone, M Maratea, S Perri, F Ricca, T Schaub
IJCAI 18, 5450-5456, 2018
362018
The Intelligent Grounder of DLV
W Faber, N Leone, S Perri
Correct Reasoning, 247-264, 2012
362012
Experimenting with Parallelism for the Instantiation of ASP Programs
F Calimeri, S Perri, F Ricca
Journal of Algorithms 63 (1-3), 34-54, 2008
322008
System description: DLV
T Dell’Armi, W Faber, G Ielpa, C Koch, N Leone, S Perri, G Pfeifer
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001
322001
BackJumping techniques for rules instantiation in the DLV system.
N Leone, S Perri, F Scarcello
NMR 2004, 258-266, 2004
282004
Unfounded sets and well-founded semantics of answer set programs with aggregates
M Alviano, F Calimeri, W Faber, N Leone, S Perri
Journal of Artificial Intelligence Research 42, 487-527, 2011
252011
Parallel instantiation of ASP programs: techniques and experiments
S Perri, F Ricca, M Sirianni
arXiv preprint arXiv:1110.1015, 2011
252011
The dlv system
F Calimeri, T Dell’Armi, T Eiter, W Faber, G Gottlob, G Ianni, G Ielpa, ...
Proceedings of the 8th European Conference on Artificial Intelligence (JELIA …, 2002
222002
The system can't perform the operation now. Try again later.
Articles 1–20