Franco Turini

Educ. Inf. Technol., 2017

Survey on using constraints in data mining.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2017

2016

Data Mining and Constraints: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

A KDD Process for Discrimination Discovery.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2016

Classification Rule Mining Supported by Ontology for Discrimination Discovery.

[BibT_eX]

[DOI]

Binh Thanh Luong

Proceedings of the IEEE International Conference on Data Mining Workshops, 2016

2015

Clustering Formulation Using Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

Mining Learning Processes from FLOSS Mailing Archives.

[BibT_eX]

[DOI]

Proceedings of the Open and Big Data Management and Innovation, 2015

The layered structure of company share networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

2013

The Discovery of Discrimination.

[BibT_eX]

[DOI]

Proceedings of the Discrimination and Privacy in the Information Society, 2013

Discrimination discovery in scientific project evaluation: A case study.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

2012

Stream mining: a novel architecture for ensemble-based classification.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2012

Mining Bayesian networks out of ontologies.

[BibT_eX]

[DOI]

Andrea Bellandi

J. Intell. Inf. Syst., 2012

Knowledge discovery in ontologies.

[BibT_eX]

[DOI]

Intell. Data Anal., 2012

A study of top-k measures for discrimination discovery.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Discovering Gender Discrimination in Project Funding.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

2011

Inductive database languages: requirements and examples.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2011

k-NN as an implementation of situation testing for discrimination discovery and prevention.

[BibT_eX]

[DOI]

Binh Luong Thanh

Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Mining Collaboration Opportunities to Support Joined-Up Government.

[BibT_eX]

[DOI]

Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

What Else Can Be Extracted from Ontologies? Influence Rules.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Mining Influence Rules out of Ontologies.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

Data Streams Classification: A Selective Ensemble with Adaptive Behavior.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

An Adaptive Selective Ensemble for Data Streams Classification.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the KDIR 2011, 2011

2010

Data mining for discrimination discovery.

[BibT_eX]

[DOI]

ACM Trans. Knowl. Discov. Data, 2010

XML data mining.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2010

Integrating induction and deduction for finding evidence of discrimination.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2010

DCUBE: discrimination discovery in databases.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Language Support to XML Data Mining: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - Second International Conference, 2010

XQuake - An XQuery-like Language for Mining XML Data.

[BibT_eX]

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.

[BibT_eX]

Binh Luong Thanh

Proceedings of The 2010 International Conference on Data Mining, 2010

2009

Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Data and Applications, 2009

Measuring Discrimination in Socially-Sensitive Decision Records.

[BibT_eX]

[DOI]

Proceedings of the SIAM International Conference on Data Mining, 2009

2008

Knowledge Discovery from Geographical Data.

[BibT_eX]

[DOI]

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

Privacy Protection: Regulations and Technologies, Opportunities and Threats.

[BibT_eX]

[DOI]

Francesco Bonchi

Vassilios S. Verykios

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

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

[BibT_eX]

[DOI]

GeoInformatica, 2008

Discrimination-aware data mining.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Privacy, 2008

Ontology-Based Business Plan Classification.

[BibT_eX]

[DOI]

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

The Semantics of Ugo Montanari.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Knowledge discovery from spatial transactions.

[BibT_eX]

[DOI]

Salvatore Rinzivillo

J. Intell. Inf. Syst., 2007

KDDML-G: a grid-enabled knowledge discovery system.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

Time-Annotated Sequences for Medical Data Mining.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

2006

KDDML: A middleware language and system for knowledge discovery in databases.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2006

Distributed Knowledge Discovery with the Parallel KDDML System.

[BibT_eX]

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2006

Examples of Integration of Induction and Deduction in Knowledge Discovery.

[BibT_eX]

[DOI]

Proceedings of the Reasoning, 2006

2005

A framework for specifying and verifying the behaviour of open systems.

[BibT_eX]

[DOI]

Andrea Bracciali

J. Log. Algebraic Methods Program., 2005

DrC4.5: Improving C4.5 by means of prior knowledge.

[BibT_eX]

[DOI]

Miriam Baglioni

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Memory-Aware Frequent <i>k</i>-Itemset Mining.

[BibT_eX]

[DOI]

Maurizio Atzori

Proceedings of the Knowledge Discovery in Inductive Databases, 4th International Workshop, 2005

Extracting spatial association rules from spatial transactions.

[BibT_eX]

[DOI]

Salvatore Rinzivillo

Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

2004

Specifying Mining Algorithms with Iterative User-Defined Aggregates.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2004

Integrating knowledge representation and reasoning in Geographical Information Systems.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2004

Deductive and Inductive Reasoning on Spatio-Temporal Data.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Deductive and Inductive Reasoning on Trajectories.

[BibT_eX]

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Classification in Geographical Information Systems.

[BibT_eX]

[DOI]

Salvatore Rinzivillo

Proceedings of the Knowledge Discovery in Databases: PKDD 2004, 2004

Towards a Logic Query Language for Data Mining.

[BibT_eX]

[DOI]

Proceedings of the Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries, 2004

2003

Qualitative Spatial Reasoning in a Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

MQL: An Algebraic Query Language for Knowledge Discovery.

[BibT_eX]

[DOI]

Miriam Baglioni

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Preprocessing and Mining Web Log Data for Web Personalization.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Abduction in Classification Tasks.

[BibT_eX]

[DOI]

Maurizio Atzori

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

Qualitative Reasoning in a Spatio-Temporal Language.

[BibT_eX]

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Knowledge Mining and Discovery for Searching in Literary Texts.

[BibT_eX]

[DOI]

Amedeo Cappelli

Maria Novella Catarsi

Proceedings of the Third International Conference on Language Resources and Evaluation, 2002

Enhancing GISs for spatio-temporal reasoning.

[BibT_eX]

[DOI]

Proceedings of the ACM-GIS 2002, 2002

MuTACLP: A Language for Temporal Reasoning with Multiple Theories.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Complex Reasoning on Geographical Data.

[BibT_eX]

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Coordinating interaction patterns.

[BibT_eX]

[DOI]

Andrea Bracciali

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Principles of Data Mining and Knowledge Discovery, 2001

2000

Using MedLan to Integrate Geographical Data.

[BibT_eX]

[DOI]

J. Log. Program., 2000

An XML Based Environment in Support of the Overall KDD Process.

[BibT_eX]

[DOI]

Piero Alcamo

Francesco Domenichini

Proceedings of the Flexible Query Answering Systems, 2000

MuTACLP: A Language for Declarative GIS Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

On the Interplay between Reactivity and Computation.

[BibT_eX]

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Programming by Combining General Logic Programs.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Knowledge representation with multiple logical theories and time.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1999

Dynamic composition of parameterised logic modules.

[BibT_eX]

[DOI]

Comput. Lang., 1999

Integration of Deduction and Induction for Mining Supermarket Sales Data.

[BibT_eX]

Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Experiences with a Logic-based knowledge discovery Support Environment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

The Constraint Operator of MedLan: Its Efficient Implementation and Use.

[BibT_eX]

Patrizia Asirelli

Proceedings of the Integrity and Internal Control in Information Systems, 1998

The Use of Renaming in Composing General Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Applying Restriction Constraints to Deductive Databases.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

Time in a Multi-Theory Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Composing General Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Language Extensions for Semantic Integration of Deductive Databases.

[BibT_eX]

[DOI]

Patrizia Asirelli

Proceedings of the Logic in Databases, 1996

Towards Declarative GIS Analysis.

[BibT_eX]

[DOI]

Domenico Aquilino

Proceedings of the GIS '96, 1996

Using Temporary Integrity Constraints to Optimize Databases.

[BibT_eX]

[DOI]

Danilo Montesi

Proceedings of the Practical Reasoning, 1996

Modeling Object Dynamics in Object-Oriented Logic Programming.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Fully Abstract Composition Semantics for an Algebra of Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

An Operator for Composing Deductive Databases with Theories of Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Integrity Constraints Evolution in Deductive Databases.

[BibT_eX]

Danilo Montesi

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

A Structural (Meta-Logical) Semantics for Linear Objects.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

LOO: An Object Oriented Logic Programming Language.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Modular Logic Programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Implementations of Program Composition Operations.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Semantics of Meta-Logic in an Algebra of Programs

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Amalgamating Language and Meta-language for Composing Logic Programs.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1992

Meta for Modularising Logic Programming.

[BibT_eX]

[DOI]

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

Metalogic for State Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

The Type System of LML.

[BibT_eX]

Proceedings of the Types in Logic Programming., 1992

1991

Metalogic for Knowledge Representation.

[BibT_eX]

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

Theory Construction in Computational Logic.

[BibT_eX]

Proceedings of the Constructing Logic Programs, 1991

Spreadviews.

[BibT_eX]

Allessandro Campioli

Luciano Lucchesi

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

1990

RSF: A Formalism for Executable Requirement Specifications.

[BibT_eX]

[DOI]

Michela Degl'Innocenti

Gian-Luigi Ferrari

IEEE Trans. Software Eng., 1990

A Transformational Approach to Negation in Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1990

Logic Programming within a Functional Framework.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1990

Universal Quantification by Case Analysis.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

A Progress Report on the LML Project.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Semantics of Production Systems

[BibT_eX]

[DOI]

Inf. Comput., May, 1987

Symbolic Evaluation with Structural Recursive Symbolic Constants.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1987

Intensional Negation of Logic Programs: Examples and Implementation Techniques.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986

Cooperating Logic Theories.

[BibT_eX]

Roberto Barbuti

C. D'Ascanio

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

The Sharing of Partial Results in Nondeterministic Computations.

[BibT_eX]

Vincenzo Ambriola

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985

Symbolic Semantics and Program Reduction.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1985

1984

Magma2: A Language Oriented toward Experiments in Control.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1984

A conceptual approach to document retrieval.

[BibT_eX]

[DOI]

Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984

1983

Abstractions of Control Environments.

[BibT_eX]

[DOI]

BIT, 1983

Demonizing Production Systems.

[BibT_eX]

[DOI]

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

A High Level Analysis Tool for Concurrent Programs.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1983

1979

A Flexible Environment for Program Development Based on a Symbolic Interpreter.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

Information Management in Context Trees.

[BibT_eX]

[DOI]

Acta Informatica, 1978

1977

Two-Level Control Structure for Nondeterministic Programming.

[BibT_eX]

[DOI]

Commun. ACM, 1977

1975

MAGMA-LISP: A "Machine Language" For Artificial Intelligence.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Programming Symposium, 1974

Graph Representation and Computation Rules for Typeless Recursive Languages.

[BibT_eX]

[DOI]