Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)

A Conservative Approach for Describing Cancer Progression

The field of tumor phylogenetics focuses on studying the differences within cancer cell populations and many efforts are done within the scientific community to build cancer progression models trying to understand the heterogeneity of such diseases. …

Image Approximation for Feed Forward Neural Nets

A challenge in verifying a closed-loop system with a neural network controller is to be able to approximate the image of a net within a given error bound. We propose an abstract algorithm, to this end, using rational approximations for activation …

Parallel Answer Set Programming

In this talk we explore the main techniques and approaches presented in the literature and aimed at enabling the use of parallelism in Answer Set Programming solvers. This survey explores the approaches along two dimensions: (1) one dimension is the …

Special Issue on Methodologies, Technologies and Tools Enabling e-Government

Hybrid Systems Biology: Second International Workshop, HSB 2013 Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014 Vienna, Austria, July 23–24, 2014 Revised Selected Papers

A CSP implementation of the bigraph embedding problem

Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings

MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014