Simona Perri

Available identifiers

zbMath Open perri.simonaMaRDI QIDQ2296728

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5020987	2022-01-11	Paper
I-DLV-sr: A Stream Reasoning System based on I-DLV	2022-01-10	Paper
Optimizing Answer Set Computation via Heuristic-Based Decomposition	2021-09-03	Paper
Efficiently Coupling the I-DLV Grounder with ASP Solvers	2021-09-03	Paper
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios	2020-05-04	Paper
Incremental Answer Set Programming with Overgrounding	2020-05-04	Paper
Memory-saving evaluation plans for Datalog	2020-02-18	Paper
Enhancing DLV for large-scale reasoning	2019-10-10	Paper
The ASP system DLV2	2017-09-05	Paper
The DLV system for knowledge representation and reasoning	2017-07-12	Paper
Parallel instantiation of ASP programs: techniques and experiments	2013-06-26	Paper
The Intelligent Grounder of DLV	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3112638	2012-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3100241	2011-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q3100235	2011-11-23	Paper
Census Data Repair: A Challenging Application of Disjunctive Logic Programming	2011-05-06	Paper
Experimenting with parallelism for the instantiation of ASP programs	2008-09-29	Paper
Enhancing DLV instantiator by backjumping techniques	2008-04-21	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Abductive logic programs with penalization: semantics, complexity and implementation	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4823426	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4708952	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4800169	2003-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4798016	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4799253	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4518915	2001-06-13	Paper

Research outcomes over time

This page was built for person: Simona Perri