Jessica Zangari
Jessica Zangari
Email confirmado em mat.unical.it
Título
Citado por
Citado por
Ano
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
652017
I-DLV: The new intelligent grounder of DLV
F Calimeri, D Fuscà, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
652017
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
202018
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
202016
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
192019
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
Enhancing DLV for Large-Scale Reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
72019
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
3rd International Workshop on the Resurgence of Datalog in Academia and …, 2019
72019
External Computations and Interoperability in the New DLV Grounder
F Calimeri, D Fuscà, S Perri, J Zangari
Conference of the Italian Association for Artificial Intelligence, 172-185, 2017
72017
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
62015
Enhancing magic sets with an application to ontological reasoning
M Alviano, N Leone, P Veltri, J Zangari
Theory and Practice of Logic Programming 19 (5-6), 654-670, 2019
52019
Integrating rule-based AI tools into mainstream game development
F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari
International Joint Conference on Rules and Reasoning, 310-317, 2018
52018
Integrating Rule-Based AI Tools into Mainstream Game Development
F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari
International Joint Conference on Rules and Reasoning, 310-317, 2018
52018
The eternal battle between determinism and nondeterminism: preliminary studies in the sudoku domain
F Calimeri, G Ianni, S Perri, J Zangari
20th RCRA International Workshop, 2013
52013
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 (1), 29-65, 2019
42019
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
32020
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
32019
The ASP instantiator I-DLV
F Calimeri, D Fuscà, S Perri, J Zangari
Proceedings of the First International Workshop on Practical Aspects of …, 2017
32017
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
F Calimeri, D Fuscà, S Germano, S Perri, J Zangari
Conference of the Italian Association for Artificial Intelligence, 223-236, 2016
32016
Answer Set Programming and Declarative Problem Solving in Game AIs.
D Fuscà, S Germano, J Zangari, F Calimeri, S Perri
PAI@ AI* IA, 81-88, 2013
32013
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20