Seguir
Simona Perri
Simona Perri
Department of Mathematics, University of Calabria, Italy
Dirección de correo verificada de mat.unical.it
Título
Citado por
Citado por
Año
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
15712006
Census data repair: a challenging application of disjunctive logic programming
E Franconi1, AL Palma, N Leone, S Perri, F Scarcello
Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001
1262001
The asp system dlv2
M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ...
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
1132017
Grounding and solving in answer set programming
B Kaufmann, N Leone, S Perri, T Schaub
AI magazine 37 (3), 25-32, 2016
892016
The disjunctive datalog system DLV
M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK …, 2011
872011
I-DLV: the new intelligent grounder of DLV
F Calimeri, D Fuscà, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
852017
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, ...
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
842011
The DLV system
N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ...
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
812002
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
702018
Improving ASP instantiators by join-ordering methods
N Leone, S Perri, F Scarcello
Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001
562001
The ASP system DLV: advancements and applications
WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ...
KI-Künstliche Intelligenz 32, 177-179, 2018
492018
The Intelligent Grounder of DLV
W Faber, N Leone, S Perri
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012
462012
Declarative and computational properties of logic programs with aggregates
F Calimeri, W Faber, N Leone, S Perri
IJCAI 5, 406-411, 2005
462005
Enhancing DLV instantiator by backjumping techniques
S Perri, F Scarcello, G Catalano, N Leone
Annals of Mathematics and Artificial Intelligence 51, 195-228, 2007
432007
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
352001
Parallel instantiation of ASP programs: techniques and experiments
S Perri, F Ricca, M Sirianni
Theory and Practice of Logic Programming 13 (2), 253-278, 2013
332013
Experimenting with Parallelism for the Instantiation of ASP Programs
F Calimeri, S Perri, F Ricca
Journal of Algorithms 63 (1-3), 34-54, 2008
332008
BackJumping techniques for rules instantiation in the DLV system.
N Leone, S Perri, F Scarcello
NMR 2004, 258-266, 2004
282004
Optimizing answer set computation via heuristic-based decomposition
F Calimeri, S Perri, J Zangari
Theory and Practice of Logic Programming 19 (4), 603-628, 2019
272019
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
262011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20