Franco Turini

According to our database1, Franco Turini
  • authored at least 127 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Survey on using constraints in data mining.
Data Min. Knowl. Discov., 2017

2016
Data Mining and Constraints: An Overview.
Proceedings of the Data Mining and Constraint Programming, 2016

A KDD Process for Discrimination Discovery.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2016

Classification Rule Mining Supported by Ontology for Discrimination Discovery.
Proceedings of the IEEE International Conference on Data Mining Workshops, 2016

2015
Clustering Formulation Using Constraint Optimization.
Proceedings of the Software Engineering and Formal Methods, 2015

Mining Learning Processes from FLOSS Mailing Archives.
Proceedings of the Open and Big Data Management and Innovation, 2015

The layered structure of company share networks.
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

2014
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.
Proceedings of the Software Engineering and Formal Methods, 2014

Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.
Proceedings of the Software Engineering and Formal Methods, 2014

OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.
Proceedings of the Software Engineering and Formal Methods, 2014

2013
The Discovery of Discrimination.
Proceedings of the Discrimination and Privacy in the Information Society, 2013

Discrimination discovery in scientific project evaluation: A case study.
Expert Syst. Appl., 2013

2012
Stream mining: a novel architecture for ensemble-based classification.
Knowl. Inf. Syst., 2012

Mining Bayesian networks out of ontologies.
J. Intell. Inf. Syst., 2012

Knowledge discovery in ontologies.
Intell. Data Anal., 2012

A study of top-k measures for discrimination discovery.
Proceedings of the ACM Symposium on Applied Computing, 2012

Discovering Gender Discrimination in Project Funding.
Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

2011
Inductive database languages: requirements and examples.
Knowl. Inf. Syst., 2011

k-NN as an implementation of situation testing for discrimination discovery and prevention.
Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Mining Collaboration Opportunities to Support Joined-Up Government.
Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

What Else Can Be Extracted from Ontologies? Influence Rules.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Mining Influence Rules out of Ontologies.
Proceedings of the ICSOFT 2011, 2011

Data Streams Classification: A Selective Ensemble with Adaptive Behavior.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

An Adaptive Selective Ensemble for Data Streams Classification.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Programming the KDD Process using XQuery.
Proceedings of the KDIR 2011, 2011

2010
Data mining for discrimination discovery.
TKDD, 2010

XML data mining.
Softw., Pract. Exper., 2010

Integrating induction and deduction for finding evidence of discrimination.
Artif. Intell. Law, 2010

DCUBE: discrimination discovery in databases.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Language Support to XML Data Mining: A Case Study.
Proceedings of the Agents and Artificial Intelligence - Second International Conference, 2010

XQuake - An XQuery-like Language for Mining XML Data.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Association Analysis of Semi-structured Data for Discrimination Discovery in Business.
Proceedings of The 2010 International Conference on Data Mining, 2010

2009
Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation.
Proceedings of the Biomedical Data and Applications, 2009

Measuring Discrimination in Socially-Sensitive Decision Records.
Proceedings of the SIAM International Conference on Data Mining, 2009

Integrating induction and deduction for finding evidence of discrimination.
Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

2008
Knowledge Discovery from Geographical Data.
Proceedings of the Mobility, Data Mining and Privacy - Geographic Knowledge Discovery, 2008

Privacy Protection: Regulations and Technologies, Opportunities and Threats.
Proceedings of the Mobility, Data Mining and Privacy - Geographic Knowledge Discovery, 2008

An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology.
GeoInformatica, 2008

Discrimination-aware data mining.
Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2008

Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project.
Proceedings of the Privacy, 2008

Ontology-Based Business Plan Classification.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

The Semantics of Ugo Montanari.
Proceedings of the Concurrency, 2008

2007
Knowledge discovery from spatial transactions.
J. Intell. Inf. Syst., 2007

KDDML-G: a grid-enabled knowledge discovery system.
Concurrency and Computation: Practice and Experience, 2007

Time-Annotated Sequences for Medical Data Mining.
Proceedings of the Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), 2007

Mining Clinical Data with a Temporal Dimension: A Case Study.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

2006
KDDML: A middleware language and system for knowledge discovery in databases.
Data Knowl. Eng., 2006

Distributed Knowledge Discovery with the Parallel KDDML System.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2006

Examples of Integration of Induction and Deduction in Knowledge Discovery.
Proceedings of the Reasoning, 2006

2005
A framework for specifying and verifying the behaviour of open systems.
J. Log. Algebr. Program., 2005

KDDML: a middleware language and system for knowledge discovery in databases.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

DrC4.5: Improving C4.5 by means of prior knowledge.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Memory-Aware Frequent k-Itemset Mining.
Proceedings of the Knowledge Discovery in Inductive Databases, 4th International Workshop, 2005

Extracting spatial association rules from spatial transactions.
Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

2004
Specifying Mining Algorithms with Iterative User-Defined Aggregates.
IEEE Trans. Knowl. Data Eng., 2004

Integrating knowledge representation and reasoning in Geographical Information Systems.
International Journal of Geographical Information Science, 2004

Deductive and Inductive Reasoning on Spatio-Temporal Data.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Deductive and Inductive Reasoning on Trajectories.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Classification in Geographical Information Systems.
Proceedings of the Knowledge Discovery in Databases: PKDD 2004, 2004

Towards a Logic Query Language for Data Mining.
Proceedings of the Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries, 2004

2003
Qualitative Spatial Reasoning in a Logical Framework.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

MQL: An Algebraic Query Language for Knowledge Discovery.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Preprocessing and Mining Web Log Data for Web Personalization.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Abduction in Classification Tasks.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002
Qualitative Reasoning in a Spatio-Temporal Language.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Knowledge Mining and Discovery for Searching in Literary Texts.
Proceedings of the Third International Conference on Language Resources and Evaluation, 2002

Enhancing GISs for spatio-temporal reasoning.
Proceedings of the ACM-GIS 2002, 2002

MuTACLP: A Language for Temporal Reasoning with Multiple Theories.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Complex Reasoning on Geographical Data.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Coordinating interaction patterns.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study.
Proceedings of the Principles of Data Mining and Knowledge Discovery, 2001

2000
Using MedLan to Integrate Geographical Data.
J. Log. Program., 2000

An XML Based Environment in Support of the Overall KDD Process.
Proceedings of the Flexible Query Answering Systems, 2000

MuTACLP: A Language for Declarative GIS Analysis.
Proceedings of the Computational Logic, 2000

On the Interplay between Reactivity and Computation.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999
Programming by Combining General Logic Programs.
J. Log. Comput., 1999

Knowledge representation with multiple logical theories and time.
J. Exp. Theor. Artif. Intell., 1999

Dynamic composition of parameterised logic modules.
Comput. Lang., 1999

Integration of Deduction and Induction for Mining Supermarket Sales Data.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Experiences with a Logic-based knowledge discovery Support Environment.
Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999

Temporal Annotated Constraint Logic Programming with Multiple Theories.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

Experiences with a Logic-Based Knowledge Discovery Support Environment.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
The Constraint Operator of MedLan: Its Efficient Implementation and Use.
Proceedings of the Integrity and Internal Control in Information Systems, 1998

The Use of Renaming in Composing General Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997
Applying Restriction Constraints to Deductive Databases.
Ann. Math. Artif. Intell., 1997

Time in a Multi-Theory Logical Framework.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Composing General Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996
Language Extensions for Semantic Integration of Deductive Databases.
Proceedings of the Logic in Databases, 1996

Towards Declarative GIS Analysis.
Proceedings of the GIS '96, 1996

Using Temporary Integrity Constraints to Optimize Databases.
Proceedings of the Practical Reasoning, 1996

Modeling Object Dynamics in Object-Oriented Logic Programming.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Fully Abstract Composition Semantics for an Algebra of Logic Programs.
Theor. Comput. Sci., 1995

An Operator for Composing Deductive Databases with Theories of Constraints.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Integrity Constraints Evolution in Deductive Databases.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

A Structural (Meta-Logical) Semantics for Linear Objects.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

LOO: An Object Oriented Logic Programming Language.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Modular Logic Programming.
ACM Trans. Program. Lang. Syst., 1994

Implementations of Program Composition Operations.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Semantics of Meta-Logic in an Algebra of Programs
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Amalgamating Language and Meta-language for Composing Logic Programs.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1992
Meta for Modularising Logic Programming.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Metalogic for State Oriented Programming.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

The Type System of LML.
Types in Logic Programming, 1992

1991
Metalogic for Knowledge Representation.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Theory Construction in Computational Logic.
Proceedings of the Constructing Logic Programs, 1991

Spreadviews.
Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

1990
RSF: A Formalism for Executable Requirement Specifications.
IEEE Trans. Software Eng., 1990

A Transformational Approach to Negation in Logic Programming.
J. Log. Program., 1990

Logic Programming within a Functional Framework.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

Universal Quantification by Case Analysis.
ECAI, 1990

1988
A Progress Report on the LML Project.
FGCS, 1988

1987
Semantics of Production Systems
Inf. Comput., May, 1987

Symbolic Evaluation with Structural Recursive Symbolic Constants.
Sci. Comput. Program., 1987

Intensional Negation of Logic Programs: Examples and Implementation Techniques.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986
Cooperating Logic Theories.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

The Sharing of Partial Results in Nondeterministic Computations.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985
Symbolic Semantics and Program Reduction.
IEEE Trans. Software Eng., 1985

1984
Magma2: A Language Oriented toward Experiments in Control.
ACM Trans. Program. Lang. Syst., 1984

1983
Abstractions of Control Environments.
BIT, 1983

Demonizing Production Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

A High Level Analysis Tool for Concurrent Programs.
Proceedings of the International Conference on Parallel Processing, 1983

1979
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
Information Management in Context Trees.
Acta Inf., 1978

1977
Two-Level Control Structure for Nondeterministic Programming.
Commun. ACM, 1977

1975
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974
A model for structured parallel processing in block-structured programming languages.
Proceedings of the Programming Symposium, 1974

Graph Representation and Computation Rules for Typeless Recursive Languages.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29, 1974


  Loading...