Segui
Simona Perri
Simona Perri
Department of Mathematics, University of Calabria, Italy
Email verificata su mat.unical.it
Titolo
Citata da
Citata da
Anno
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
15942006
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
1342017
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
1282001
Grounding and solving in answer set programming
B Kaufmann, N Leone, S Perri, T Schaub
AI magazine 37 (3), 25-32, 2016
1012016
I-DLV: the new intelligent grounder of DLV
F Calimeri, D Fuscā, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
942017
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
882011
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
872011
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
822018
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
822002
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
612018
Improving ASP instantiators by join-ordering methods
N Leone, S Perri, F Scarcello
Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001
582001
The Intelligent Grounder of DLV
W Faber, N Leone, S Perri
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012
472012
Enhancing DLV instantiator by backjumping techniques
S Perri, F Scarcello, G Catalano, N Leone
Annals of Mathematics and Artificial Intelligence 51, 195-228, 2007
462007
Declarative and computational properties of logic programs with aggregates
F Calimeri, W Faber, N Leone, S Perri
IJCAI 5, 406-411, 2005
462005
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
352013
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
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
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
312019
BackJumping techniques for rules instantiation in the DLV system.
N Leone, S Perri, F Scarcello
NMR 2004, 258-266, 2004
292004
Abductive logic programs with penalization: semantics, complexity and implementation
S Perri, F Scarcello, N Leone
Theory and Practice of Logic Programming 5 (1-2), 123-159, 2005
282005
Il sistema al momento non puō eseguire l'operazione. Riprova pių tardi.
Articoli 1–20