The following pages link to Francesco Calimeri (Q899442):
Displaying 26 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Enhancing DLV for large-scale reasoning (Q2326744) (← links)
- The ASP system DLV2 (Q2401936) (← links)
- External sources of knowledge and value invention in logic programming (Q2457798) (← links)
- DeduDeep: an extensible framework for combining deep learning and ASP-based models (Q2694622) (← links)
- Finitely recursive programs: decidability and bottom-up computation (Q2880785) (← links)
- (Q3112638) (← links)
- (Q3413498) (← links)
- Experimenting with parallelism for the instantiation of ASP programs (Q3527693) (← links)
- Decidable Fragments of Logic Programming with Value Invention (Q3533124) (← links)
- Answer Set Programming (Q3578395) (← links)
- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs (Q3643107) (← links)
- (Q4708952) (← links)
- (Q4906882) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- I-DLV-sr: A Stream Reasoning System based on I-DLV (Q5019603) (← links)
- (Q5020987) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473964) (← links)
- (Q5480653) (← links)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)
- Efficient compliance checking of RDF data (Q6152947) (← links)
- EnviroStream: A Stream Reasoning Benchmark for Climate and Ambient Monitoring (Q6699669) (← links)
