Seguir
Jessica Zangari
Jessica Zangari
Dirección de correo verificada de unical.it - Página principal
Título
Citado por
Citado por
Año
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
1162017
I-DLV: The new intelligent grounder of DLV
F Calimeri, D Fuscà, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
912017
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 (2-3), 177-179, 2018
512018
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
A framework for easing the development of applications embedding answer set programming
D Fuscà, S Germano, J Zangari, M Anastasio, F Calimeri, S Perri
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
222016
Enhancing DLV for large-scale reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
172019
Integrating rule-based AI tools into mainstream game development
F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
172018
Integrating rule-based AI tools into mainstream game development
F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
172018
Incremental maintenance of overgrounded logic programs with tailored simplifications
G Ianni, F Pacenza, J Zangari
Theory and Practice of Logic Programming 20 (5), 719-734, 2020
152020
Incremental Answer Set Programming with Overgrounding
F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari
Theory and Practice of Logic Programming 19 (5-6), 957-973, 2019
152019
External computations and interoperability in the new DLV grounder
F Calimeri, D Fuscà, S Perri, J Zangari
AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017
152017
Efficiently Coupling the I-DLV Grounder with ASP Solvers
F CALIMERI, C DODARO, D FUSCÀ, S PERRI, J ZANGARI
Theory and Practice of Logic Programming 20 (2), 205-224, 2020
142020
Fostering the use of declarative formalisms for real-world applications: The embasp framework
F Calimeri, D Fuscà, S Germano, S Perri, J Zangari
New Generation Computing 37, 29-65, 2019
132019
I-DLV-sr: A Stream Reasoning System based on I-DLV
F Calimeri, M Manna, E Mastria, MC Morelli, S Perri, J Zangari
Theory and Practice of Logic Programming 21 (5), 610-628, 2021
122021
I-DLV+ MS: Preliminary Report on an Automatic ASP Solver Selector.
D Fuscà, F Calimeri, J Zangari, S Perri
RCRA@ AI* IA, 26-32, 2017
122017
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
L Robaldo, S Batsakis, R Calegari, F Calimeri, M Fujita, G Governatori, ...
Artificial Intelligence and Law, 1-51, 2023
102023
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari
Proceedings of the 24th International Symposium on Principles and Practice …, 2022
92022
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
CEUR WORKSHOP PROCEEDINGS 2368, 10-21, 2019
72019
Embedding ASP in mobile systems: discussion and preliminary implementations
F Calimeri, D Fuscà, S Germano, S Perri, J Zangari
Proceedings of the Eighth Workshop on Answer Set Programming and Other …, 2015
72015
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
A Fiorentino, J Zangari, M Manna
Theory and Practice of Logic Programming 20 (6), 958-973, 2020
62020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20