Salvatore Ruggieri

zbMath Openruggieri.salvatoreMaRDI QIDQ293339

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