Jessica Zangari

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 51

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL (2024)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. PADL (2024)
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
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32 (2) (2024)
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Efficient compliance checking of RDF data. J. Log. Comput. 33 (8) (2023)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). PADL (2023)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. CoRR (2023)
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16 (3) (2023)
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring. Big Data Cogn. Comput. 7 (3) (2023)
Francesco Pacenza, Jessica Zangari
Extending Answer Set Programming with Rational Numbers. CoRR (2023)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP (2022)
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. RuleML+RR (2022)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. Theory Pract. Log. Program. 21 (5) (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. CoRR (2021)
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi
Optimized 3D path planner for steerable catheters with deductive reasoning. ICRA (2021)
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri
A Machine Learning guided Rewriting Approach for ASP Logic Programs. ICLP Technical Communications (2020)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20 (2) (2020)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Incremental maintenance of overgrounded logic programs with tailored simplifications. Theory Pract. Log. Program. 20 (5) (2020)
Alessio Fiorentino, Jessica Zangari, Marco Manna
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. Theory Pract. Log. Program. 20 (6) (2020)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Incremental maintenance of overgrounded logic programs with tailored simplifications. CoRR (2020)
Alessio Fiorentino, Jessica Zangari, Marco Manna
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. CoRR (2020)
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
Querying Large Expressive Horn Ontologies. SEBD (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19 (5-6) (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory Pract. Log. Program. 19 (5-6) (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing magic sets with an application to ontological reasoning. CoRR (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR (2019)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. CILC (2019)
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
Large Scale DLV: Preliminary Results. CILC (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. Theory Pract. Log. Program. 19 (5-6) (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. CoRR (2019)
Francesco Calimeri, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. Theory Pract. Log. Program. 19 (4) (2019)
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
An ASP-based Approach for Optimizing DLV Evaluation. CILC (2019)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. New Gener. Comput. 37 (1) (2019)
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
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
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
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari
Memory-Saving Evaluation Plans for Datalog. JELIA (2019)
Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari
How Modern Deductive Database Systems Can Enhance Data Integration. SEBD (2018)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. CoRR (2018)
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
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Francesco Calimeri, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. CoRR (2018)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. PADL (2018)
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
Reasoning over Ontologies with DLV. IC3K (2018)
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
First Steps towards Reasoning on Big Data with DLV. SEBD (2018)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Integrating Rule-Based AI Tools into Mainstream Game Development. RuleML+RR (2018)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
A Framework for Easing the Development of Applications Embedding Answer Set Programming. CoRR (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11 (1) (2017)
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. RCRA@AI*IA (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
External Computations and Interoperability in the New DLV Grounder. AI*IA (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
A framework for easing the development of applications embedding answer set programming. PPDP (2016)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. AI*IA (2016)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
-dlv: The New Intelligent Grounder of dlv. AI*IA (2016)
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri
Answer Set Programming and Declarative Problem Solving in Game AIs. PAI@AI*IA (2013)