A. Formisano

An xAI Approach for Data-to-Text Processing with ASP
Constraint propagation on GPU: A case study for the AllDifferent constraint
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)
Prolog Meets Biology
Prolog Meets Biology
Towards explainable data-to-text generation
Constraints Propagation on GPU: A Case Study for AllDifferent
GPU Parallelism for SAT Solving Heuristics
GPU-Based Parallelism for ASP-Solving
2D object reconstruction with ASP
Parallel Answer Set Programming
Reasoning on Relations, Modalities, and Sets
Logic programming applied to genome evolution in cancer?
Perspectives on Logic-based Approaches for Reasoning About Actions and Change
An investigation of Multi-Agent Planning in CLP.
Multi-valued Action Languages with Constraints in CLP(FD)
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
Decidability Results for Sets with Atoms
A comparison of CLP(FD) and ASP solutions to NP-complete problems
The axiom of elementary sets on the edge of Peircean expressibility
Three-variable statements of set-pairing
T-resolution: refinements and model elimination
On T Logic Programming

Published with Wowchemy — the free, open source website builder that empowers creators.