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
Technical note. Efficiently coupling the \(\mathscr{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
On demand indexing for the DLV instantiator	2011-11-23	Paper
Efficient parallel ASP instantiation via dynamic rewriting	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