A. Formisano

Latest

• An xAI Approach for Data-to-Text Processing with ASP
• 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