Franco Turini

Available identifiers

zbMath Open turini.francoMaRDI QIDQ672702

List of research outcomes

Publication	Date of Publication	Type
Declarative reasoning on explanations using constraint logic programming	2024-05-29	Paper
An operator for composing deductive data bases with theories of constraints	2022-08-30	Paper
GLocalX -- from local to global explanations of black box AI models	2021-11-02	Paper
Data Mining and Constraints: An Overview	2021-05-20	Paper
Clustering Formulation Using Constraint Optimization	2021-05-18	Paper
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
The Semantics of Ugo Montanari	2008-06-19	Paper
Knowledge Discovery in Inductive Databases	2007-05-02	Paper
Database Support for Data Mining Applications	2006-01-10	Paper
A framework for specifying and verifying the behaviour of open systems	2005-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4707757	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4802579	2003-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q2767124	2002-01-28	Paper
Dynamic composition of parameterised logic modules	2001-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q2729731	2001-10-23	Paper
Programming by combining general logic programs	1999-03-30	Paper
Applying restriction constraints to deductive databases	1998-01-07	Paper
Fully abstract compositional semantics for an algebra of logic programs	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4028774	1993-03-28	Paper
A transformational approach to negation in logic programming	1992-06-25	Paper
The Logiform system	1990-01-01	Paper
Symbolic evaluation with structural recursive symbolic constants	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773305	1987-01-01	Paper
Semantics of production systems	1987-01-01	Paper
Symbolic Semantics and Program Reduction	1985-01-01	Paper
Magma2: a language oriented toward experiments in control	1984-01-01	Paper
Information management in context trees	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4051641	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066586	1974-01-01	Paper

Research outcomes over time

This page was built for person: Franco Turini