Jessica Zangari

56 papers A* 1B 5C 7Journal 28Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 J jnl
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
2024 C conf
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
PADL
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 C conf
Rethinking Answer Set Programming Templates.
PADL
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2023 J jnl
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2023 J jnl
Efficient compliance checking of RDF data.
J. Log. Comput.
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
2023 J jnl
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.
Big Data Cogn. Comput.
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
2023 J jnl
Extending Answer Set Programming with Rational Numbers.
CoRR
Francesco Pacenza, Jessica Zangari
2023 C conf
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).
PADL
Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2023 J jnl
Rethinking Answer Set Programming Templates.
CoRR
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2022 C conf
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
PPDP
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2022 — ed.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022.
ICLP Workshops
Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2022 B conf
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.
RuleML+RR
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
2021 J jnl
I-DLV-sr: A Stream Reasoning System based on I-DLV.
CoRR
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 J jnl
I-DLV-sr: A Stream Reasoning System based on I-DLV.
Theory Pract. Log. Program.
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 A* conf
Optimized 3D path planner for steerable catheters with deductive reasoning.
ICRA
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi
2021 — ed.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021.
ICLP Workshops
Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari
2020 — conf
A Machine Learning guided Rewriting Approach for ASP Logic Programs.
ICLP Technical Communications
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri
2020 J jnl
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.
CoRR
Alessio Fiorentino, Jessica Zangari, Marco Manna
2020 J jnl
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.
Theory Pract. Log. Program.
Alessio Fiorentino, Jessica Zangari, Marco Manna
2020 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Theory Pract. Log. Program.
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2020 J jnl
Incremental maintenance of overgrounded logic programs with tailored simplifications.
CoRR
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2020 J jnl
Incremental maintenance of overgrounded logic programs with tailored simplifications.
Theory Pract. Log. Program.
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2020 — ed.
International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020.
ICLP Workshops
Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari
2019 — conf
An ASP-based Approach for Optimizing DLV Evaluation.
CILC
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 — conf
An Infrastructure for Multi-shot Reasoning with Incremental Grounding.
CILC
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 J jnl
Enhancing Magic Sets with an Application to Ontological Reasoning.
Theory Pract. Log. Program.
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
2019 J jnl
Enhancing magic sets with an application to ontological reasoning.
CoRR
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
2019 J jnl
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput.
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Large-Scale Reasoning on Expressive Horn Ontologies.
Datalog
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 B conf
Memory-Saving Evaluation Plans for Datalog.
JELIA
Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari
2019 J jnl
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
Theory Pract. Log. Program.
Francesco Calimeri, Simona Perri, Jessica Zangari
2019 J jnl
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
Theory Pract. Log. Program.
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 J jnl
Precomputing Datalog evaluation plans in large-scale scenarios.
CoRR
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
CoRR
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2018 — conf
First Steps towards Reasoning on Big Data with DLV.
SEBD
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 — conf
How Modern Deductive Database Systems Can Enhance Data Integration.
SEBD
Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari
2018 B conf
Integrating Rule-Based AI Tools into Mainstream Game Development.
RuleML+RR
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2018 C conf
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
PADL
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2018 J jnl
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
CoRR
Francesco Calimeri, Simona Perri, Jessica Zangari
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 J jnl
The ASP System DLV: Advancements and Applications.
Künstliche Intell.
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2017 J jnl
A Framework for Easing the Development of Applications Embedding Answer Set Programming.
CoRR
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2017 — conf
External Computations and Interoperability in the New DLV Grounder.
AI*IA
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 — conf
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.
RCRA@AI*IA
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
2017 J jnl
I-DLV: The new intelligent grounder of DLV.
Intelligenza Artificiale
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 B conf
The ASP System DLV2.
LPNMR
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2016 C conf
A framework for easing the development of applications embedding answer set programming.
PPDP
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
2016 — conf
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.
AI*IA
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2013 — conf
Answer Set Programming and Declarative Problem Solving in Game AIs.
PAI@AI*IA
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri