Salvatore Ruggieri

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Declarative reasoning on explanations using constraint logic programming	2024-05-29	Paper
Complete search for feature selection in decision trees	2020-02-07	Paper
Sequential pattern mining for ICT risk assessment and management Journal of Logical and Algebraic Methods in Programming	2018-12-19	Paper
Termination of constraint logic programs Automata, Languages and Programming	2018-07-04	Paper
On proving left termination of constraint logic programs ACM Transactions on Computational Logic	2017-06-13	Paper
Weakest preconditions for pure Prolog programs Information Processing Letters	2016-06-09	Paper
Deciding membership in a class of polyhedra	2015-12-11	Paper
On quantified linear implications Annals of Mathematics and Artificial Intelligence	2015-02-05	Paper
A complexity perspective on entailment of parameterized linear constraints Constraints	2015-01-22	Paper
On the complexity of quantified linear systems Theoretical Computer Science	2014-01-13	Paper
On computing the semi-sum of two integers Information Processing Letters	2009-04-28	Paper
Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs Static Analysis	2008-08-28	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
Bounded nondeterminism of logic programs Annals of Mathematics and Artificial Intelligence	2005-01-17	Paper
On logic programs that always succeed. Science of Computer Programming	2004-03-14	Paper
Classes of terminating logic programs Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1926609 (Why is no real title available?)	2003-06-11	Paper
$\exists$-Universal termination of logic programs Theoretical Computer Science	2001-08-20	Paper
Decidability of logic program semantics and applications to testing The Journal of Logic Programming	2001-03-05	Paper
scientific article; zbMATH DE number 1497820 (Why is no real title available?)	2001-03-05	Paper
Verification of logic programs The Journal of Logic Programming	1999-11-01	Paper
Verification of meta-interpreters Journal Of Logic And Computation	1997-06-10	Paper

Research outcomes over time

This page was built for person: Salvatore Ruggieri