The following pages link to Simona Perri (Q2296728):
Displaying 26 items.
- Memory-saving evaluation plans for Datalog (Q2296730) (← links)
- Enhancing DLV for large-scale reasoning (Q2326744) (← links)
- The ASP system DLV2 (Q2401936) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Census Data Repair: A Challenging Application of Disjunctive Logic Programming (Q2996194) (← links)
- (Q3100235) (← links)
- (Q3100241) (← links)
- (Q3112638) (← links)
- Experimenting with parallelism for the instantiation of ASP programs (Q3527693) (← links)
- (Q4518915) (← links)
- Abductive logic programs with penalization: semantics, complexity and implementation (Q4673542) (← links)
- (Q4708952) (← links)
- (Q4798016) (← links)
- (Q4799253) (← links)
- (Q4800169) (← links)
- (Q4823426) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- I-DLV-sr: A Stream Reasoning System based on I-DLV (Q5019603) (← links)
- (Q5020987) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)
- The DLV system for knowledge representation and reasoning (Q5277755) (← links)
- Parallel instantiation of ASP programs: techniques and experiments (Q5299587) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424884) (← links)
