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
Incremental Answer Set Programming with Overgrounding	2020-05-04	Paper
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios	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/Q3100235	2011-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q3100241	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Simona Perri