<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mattia Setzu</style></author><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">GLocalX - From Local to Global Explanations of Black Box AI Models</style></title><short-title><style face="normal" font="default" size="100%">Artificial Intelligence</style></short-title></titles><dates><year><style  face="normal" font="default" size="100%">2021</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2021/05/01/</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://www.sciencedirect.com/science/article/pii/S0004370221000084</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">294</style></volume><pages><style face="normal" font="default" size="100%">103457</style></pages><isbn><style face="normal" font="default" size="100%">0004-3702</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Artificial Intelligence (AI) has come to prominence as one of the major components of our society, with applications in most aspects of our lives. In this field, complex and highly nonlinear machine learning models such as ensemble models, deep neural networks, and Support Vector Machines have consistently shown remarkable accuracy in solving complex tasks. Although accurate, AI models often are “black boxes” which we are not able to understand. Relying on these models has a multifaceted impact and raises significant concerns about their transparency. Applications in sensitive and critical domains are a strong motivational factor in trying to understand the behavior of black boxes. We propose to address this issue by providing an interpretable layer on top of black box models by aggregating “local” explanations. We present GLocalX, a “local-first” model agnostic explanation method. Starting from local explanations expressed in form of local decision rules, GLocalX iteratively generalizes them into global explanations by hierarchically aggregating them. Our goal is to learn accurate yet simple interpretable models to emulate the given black box, and, if possible, replace it entirely. We validate GLocalX in a set of experiments in standard and constrained settings with limited or no access to either data or local explanations. Experiments show that GLocalX is able to accurately emulate several models with simple and small models, reaching state-of-the-art performance against natively global solutions. Our findings show how it is often possible to achieve a high level of both accuracy and comprehensibility of classification models, even in complex domains with high-dimensional data, without necessarily trading one property for the other. This is a key requirement for a trustworthy AI, necessary for adoption in high-stakes decision making applications.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ntoutsi, Eirini</style></author><author><style face="normal" font="default" size="100%">Fafalios, Pavlos</style></author><author><style face="normal" font="default" size="100%">Gadiraju, Ujwal</style></author><author><style face="normal" font="default" size="100%">Iosifidis, Vasileios</style></author><author><style face="normal" font="default" size="100%">Nejdl, Wolfgang</style></author><author><style face="normal" font="default" size="100%">Vidal, Maria-Esther</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Papadopoulos, Symeon</style></author><author><style face="normal" font="default" size="100%">Krasanakis, Emmanouil</style></author><author><style face="normal" font="default" size="100%">others</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Bias in data-driven artificial intelligence systems—An introductory survey</style></title><secondary-title><style face="normal" font="default" size="100%">Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2020</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://onlinelibrary.wiley.com/doi/full/10.1002/widm.1356</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">10</style></volume><pages><style face="normal" font="default" size="100%">e1356</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Artificial Intelligence (AI)‐based systems are widely employed nowadays to make decisions that have far‐reaching impact on individuals and society. Their decisions might affect everyone, everywhere, and anytime, entailing concerns about potential human rights issues. Therefore, it is necessary to move beyond traditional AI algorithms optimized for predictive performance and embed ethical and legal principles in their design, training, and deployment to ensure social good while still benefiting from the huge potential of the AI technology. The goal of this survey is to provide a broad multidisciplinary overview of the area of bias in AI systems, focusing on technical challenges and solutions as well as to suggest new research directions towards approaches well‐grounded in a legal frame. In this survey, we focus on data‐driven AI, as a large part of AI is powered nowadays by (big) data and powerful machine learning algorithms. If otherwise not specified, we use the general term bias to describe problems related to the gathering or processing of data that might result in prejudiced decisions on the bases of demographic features such as race, sex, and so forth.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mattia Setzu</style></author><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Cellier, Peggy</style></author><author><style face="normal" font="default" size="100%">Driessens, Kurt</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Global Explanations with Local Scoring</style></title><secondary-title><style face="normal" font="default" size="100%">Machine Learning and Knowledge Discovery in Databases</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2020</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2020//</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://link.springer.com/chapter/10.1007%2F978-3-030-43823-4_14</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pub-location><style face="normal" font="default" size="100%">Cham</style></pub-location><isbn><style face="normal" font="default" size="100%">978-3-030-43823-4</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Artificial Intelligence systems often adopt machine learning models encoding complex algorithms with potentially unknown behavior. As the application of these “black box” models grows, it is our responsibility to understand their inner working and formulate them in human-understandable explanations. To this end, we propose a rule-based model-agnostic explanation method that follows a local-to-global schema: it generalizes a global explanation summarizing the decision logic of a black box starting from the local explanations of single predicted instances. We define a scoring system based on a rule relevance score to extract global explanations from a set of local explanations in the form of decision rules. Experiments on several datasets and black boxes show the stability, and low complexity of the global explanations provided by the proposed solution in comparison with baselines and state-of-the-art global explainers.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Factual and Counterfactual Explanations for Black Box Decision Making</style></title><secondary-title><style face="normal" font="default" size="100%">IEEE Intelligent Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://ieeexplore.ieee.org/abstract/document/8920138</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The rise of sophisticated machine learning models has brought accurate but obscure decision systems, which hide their logic, thus undermining transparency, trust, and the adoption of artificial intelligence (AI) in socially sensitive and safety-critical contexts. We introduce a local rule-based explanation method, providing faithful explanations of the decision made by a black box classifier on a specific instance. The proposed method first learns an interpretable, local classifier on a synthetic neighborhood of the instance under investigation, generated by a genetic algorithm. Then, it derives from the interpretable classifier an explanation consisting of a decision rule, explaining the factual reasons of the decision, and a set of counterfactuals, suggesting the changes in the instance features that would lead to a different outcome. Experimental results show that the proposed method outperforms existing approaches in terms of the quality of the explanations and of the accuracy in mimicking the black box.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Meaningful explanations of Black Box AI decision systems</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the AAAI Conference on Artificial Intelligence</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://aaai.org/ojs/index.php/AAAI/article/view/5050</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Black box AI systems for automated decision making, often based on machine learning over (big) data, map a user’s features into a class or a score without exposing the reasons why. This is problematic not only for lack of transparency, but also for possible biases inherited by the algorithms from human prejudices and collection artifacts hidden in the training data, which may lead to unfair or wrong decisions. We focus on the urgent open challenge of how to construct meaningful explanations of opaque AI/ML systems, introducing the local-toglobal framework for black box explanation, articulated along three lines: (i) the language for expressing explanations in terms of logic rules, with statistical and causal interpretation; (ii) the inference of local explanations for revealing the decision rationale for a specific case, by auditing the black box in the vicinity of the target instance; (iii), the bottom-up generalization of many local explanations into simple global ones, with algorithms that optimize for quality and comprehensibility. We argue that the local-first approach opens the door to a wide variety of alternative solutions along different dimensions: a variety of data sources (relational, text, images, etc.), a variety of learning problems (multi-label classification, regression, scoring, ranking), a variety of languages for expressing meaningful explanations, a variety of means to audit a black box.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Local Rule-Based Explanations of Black Box Decision Systems</style></title><secondary-title><style face="normal" font="default" size="100%">arXiv preprint arXiv:1805.10820</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Luca Pappalardo</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Open the Black Box Data-Driven Explanation of Black Box Decision Systems</style></title><secondary-title><style face="normal" font="default" size="100%">arXiv preprint arXiv:1806.09936</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Riccardo Guidotti</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A survey of methods for explaining black box models</style></title><secondary-title><style face="normal" font="default" size="100%">ACM computing surveys (CSUR)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://dl.acm.org/doi/abs/10.1145/3236009</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">51</style></volume><pages><style face="normal" font="default" size="100%">93</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">In recent years, many accurate decision support systems have been constructed as black boxes, that is as systems that hide their internal logic to the user. This lack of explanation constitutes both a practical and an ethical issue. The literature reports many approaches aimed at overcoming this crucial weakness, sometimes at the cost of sacrificing accuracy for interpretability. The applications in which black box decision systems can be used are various, and each approach is typically developed to provide a solution for a specific problem and, as a consequence, it explicitly or implicitly delineates its own definition of interpretability and explanation. The aim of this article is to provide a classification of the main problems addressed in the literature with respect to the notion of explanation and the type of black box system. Given a problem definition, a black box type, and a desired explanation, this survey should help the researcher to find the proposals more useful for his own work. The proposed classification of approaches to open black box models should also be useful for putting the many research open questions in perspective.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mukala, Patrick</style></author><author><style face="normal" font="default" size="100%">Cerone, Antonio</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An empirical verification of a-priori learning models on mailing archives in the context of online learning activities of participants in free\libre open source software (FLOSS) communities</style></title><secondary-title><style face="normal" font="default" size="100%">Education and Information Technologies</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://link.springer.com/article/10.1007/s10639-017-9573-6</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">6</style></number><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">3207–3229</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Free\Libre Open Source Software (FLOSS) environments are increasingly dubbed as learning environments where practical software engineering skills can be acquired. Numerous studies have extensively investigated how knowledge is acquired in these environments through a collaborative learning model that define a learning process. Such a learning process, identified either as a result of surveys or by means of questionnaires, can be depicted through a series of graphical representations indicating the steps FLOSS community members go through as they acquire and exchange skills. These representations are referred to as a-priori learning models. They are Petri net-like workflow nets (WF-net) that provide a visual representation of the learning process as it is expected to occur. These models are representations of a learning framework or paradigm in FLOSS communities. As such, the credibility of any models is estimated through a process of model verification and validation. Therefore in this paper, we analyze these models in comparison with the real behavior captured in FLOSS repositories by means of conformance verification in process mining. The purpose of our study is twofold. Firstly, the results of our analysis provide insights on the possible discrepancies that are observed between the initial theoretical representations of learning processes and the real behavior captured in FLOSS event logs, constructed from mailing archives. Secondly, this comparison helps foster the understanding on how learning actually takes place in FLOSS environments based on empirical evidence directly from the data.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Valerio Grossi</style></author><author><style face="normal" font="default" size="100%">Andrea Romei</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Survey on using constraints in data mining</style></title><secondary-title><style face="normal" font="default" size="100%">Data Mining and Knowledge Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">31</style></volume><pages><style face="normal" font="default" size="100%">424–464</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper provides an overview of the current state-of-the-art on using constraints in knowledge discovery and data mining. The use of constraints in a data mining task requires specific definition and satisfaction tools during knowledge extraction. This survey proposes three groups of studies based on classification, clustering and pattern mining, whether the constraints are on the data, the models or the measures, respectively. We consider the distinctions between hard and soft constraint satisfaction, and between the knowledge extraction phases where constraints are considered. In addition to discussing how constraints can be used in data mining, we show how constraint-based languages can be used throughout the data mining process.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Luong, Binh Thanh</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Classification Rule Mining Supported by Ontology for Discrimination Discovery</style></title><secondary-title><style face="normal" font="default" size="100%">Data Mining Workshops (ICDMW), 2016 IEEE 16th International Conference on</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Discrimination discovery from data consists of designing data mining methods for the actual discovery of discriminatory situations and practices hidden in a large amount of historical decision records. Approaches based on classification rule mining consider items at a flat concept level, with no exploitation of background knowledge on the hierarchical and inter-relational structure of domains. On the other hand, ontologies are a widespread and ever increasing means for expressing such a knowledge. In this paper, we propose a framework for discrimination discovery from ontologies, where contexts of prima-facie evidence of discrimination are summarized in the form of generalized classification rules at different levels of abstraction. Throughout the paper, we adopt a motivating and intriguing case study based on discriminatory tariffs applied by the U. S. Harmonized Tariff Schedules on imported goods.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Valerio Grossi</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Data Mining and Constraints: An Overview</style></title><secondary-title><style face="normal" font="default" size="100%">Data Mining and Constraint Programming</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pages><style face="normal" font="default" size="100%">25–48</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper provides an overview of the current state-of-the-art on using constraints in knowledge discovery and data mining. The use of constraints requires mechanisms for defining and evaluating them during the knowledge extraction process. We give a structured account of three main groups of constraints based on the specific context in which they are defined and used. The aim is to provide a complete view on constraints as a building block of data mining methods.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A KDD process for discrimination discovery</style></title><secondary-title><style face="normal" font="default" size="100%">Joint European Conference on Machine Learning and Knowledge Discovery in Databases</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The acceptance of analytical methods for discrimination discovery by practitioners and legal scholars can be only achieved if the data mining and machine learning communities will be able to provide case studies, methodological refinements, and the consolidation of a KDD process. We summarize here an approach along these directions.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Valerio Grossi</style></author><author><style face="normal" font="default" size="100%">Anna Monreale</style></author><author><style face="normal" font="default" size="100%">Mirco Nanni</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Clustering Formulation Using Constraint Optimization</style></title><secondary-title><style face="normal" font="default" size="100%">Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-662-49224-6_9</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The problem of clustering a set of data is a textbook machine learning problem, but at the same time, at heart, a typical optimization problem. Given an objective function, such as minimizing the intra-cluster distances or maximizing the inter-cluster distances, the task is to find an assignment of data points to clusters that achieves this objective. In this paper, we present a constraint programming model for a centroid based clustering and one for a density based clustering. In particular, as a key contribution, we show how the expressivity introduced by the formulation of the problem by constraint programming makes the standard problem easy to be extended with other constraints that permit to generate interesting variants of the problem. We show this important aspect in two different ways: first, we show how the formulation of the density-based clustering by constraint programming makes it very similar to the label propagation problem and then, we propose a variant of the standard label propagation approach.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mukala, Patrick</style></author><author><style face="normal" font="default" size="100%">Cerone, Antonio</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An exploration of learning processes as process maps in FLOSS repositories</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://eprints.adm.unipi.it/id/eprint/2344</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Evidence suggests that Free/Libre Open Source Software (FLOSS) environ-ments provide unlimited learning opportunities. Community members engage in a number of activities both during their interaction with their peers and while mak-ing use of the tools available in these environments. A number of studies docu-ment the existence of learning processes in FLOSS through the analysis of sur-veys and questionnaires filled by FLOSS project participants. At the same time, the interest in understanding the dynamics of the FLOSS phenomenon, its popu-larity and success resulted in the development of tools and techniques for extract-ing and analyzing data from different FLOSS data sources. This new field is called Mining Software Repositories (MSR). In spite of these efforts, there is limited work aiming to provide empirical evidence of learning processes directly from FLOSS repositories. In this paper, we seek to trigger such an initiative by proposing an approach based on Process Mining to trace learning behaviors from FLOSS participants’ trails of activities, as recorded in FLOSS repositories, and visualize them as pro-cess maps. Process maps provide a pictorial representation of real behavior as it is recorded in FLOSS data. Our aim is to provide critical evidence that boosts the understanding of learning behavior in FLOSS communities by analyzing the rel-evant repositories. In order to accomplish this, we propose an effective approach that comprises first the mining of FLOSS repositories in order to generate Event logs, and then the generation of process maps, equipped with relevant statistical data interpreting and indicating the value of process discovery from these reposi-tories.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Andrea Romei</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The layered structure of company share networks</style></title><secondary-title><style face="normal" font="default" size="100%">Data Science and Advanced Analytics (DSAA), 2015. 36678 2015. IEEE International Conference on</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">We present a framework for the analysis of corporate governance problems using network science and graph algorithms on ownership networks. In such networks, nodes model companies/shareholders and edges model shares owned. Inspired by the widespread pyramidal organization of corporate groups of companies, we model ownership networks as layered graphs, and exploit the layered structure to design feasible and efficient solutions to three key problems of corporate governance. The first one is the long-standing problem of computing direct and indirect ownership (integrated ownership problem). The other two problems are introduced here: computing direct and indirect dividends (dividend problem), and computing the group of companies controlled by a parent shareholder (corporate group problem). We conduct an extensive empirical analysis of the Italian ownership network, which, with its 3.9M nodes, is 30× the largest network studied so far.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mukala, Patrick</style></author><author><style face="normal" font="default" size="100%">Cerone, Antonio</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mining learning processes from FLOSS mailing archives</style></title><secondary-title><style face="normal" font="default" size="100%">Conference on e-Business, e-Services and e-Society</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer, Cham</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Evidence suggests that Free/Libre Open Source Software (FLOSS) environments provide unlimited learning opportunities. Community members engage in a number of activities both during their interaction with their peers and while making use of these environments. As FLOSS repositories store data about participants’ interaction and activities, we analyze participants’ interaction and knowledge exchange in emails to trace learning activities that occur in distinct phases of the learning process. We make use of semantic search in SQL to retrieve data and build corresponding event logs which are then fed to a process mining tool in order to produce visual workflow nets. We view these nets as representative of the traces of learning activities in FLOSS as well as their relevant flow of occurrence. Additional statistical details are provided to contextualize and describe these models.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mukala, Patrick</style></author><author><style face="normal" font="default" size="100%">Cerone, Antonio</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An abstract state machine (ASM) representation of learning process in FLOSS communities</style></title><secondary-title><style face="normal" font="default" size="100%">International Conference on Software Engineering and Formal Methods</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer, Cham</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Free/Libre Open Source Software (FLOSS) communities as collaborative environments enable the occurrence of learning between participants in these groups. With the increasing interest research on understanding the mechanisms and processes through which learning occurs in FLOSS, there is an imperative to describe these processes. One successful way of doing this is through specification methods. In this paper, we describe the adoption of Abstract States Machines (ASMs) as a specification methodology for the description of learning processes in FLOSS. The goal of this endeavor is to represent the many possible steps and/or activities FLOSS participants go through during interactions that can be categorized as learning processes. Through ASMs, we express learning phases as states while activities that take place before moving from one state to another are expressed as transitions.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mukala, Patrick</style></author><author><style face="normal" font="default" size="100%">Cerone, Antonio</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontolifloss: Ontology for learning processes in FLOSS communities</style></title><secondary-title><style face="normal" font="default" size="100%">International Conference on Software Engineering and Formal Methods</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer, Cham</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Free/Libre Open Source Software (FLOSS) communities are considered an example of commons-based peer-production models where groups of participants work together to achieve projects of common purpose. In these settings, many occurring activities can be documented and have established them as learning environments. As knowledge exchange is proved to occur in FLOSS, the dynamic and free nature of participation poses a great challenge in understanding activities pertaining to Learning Processes.

In this paper we raise this question and propose an ontology (called OntoLiFLOSS) in order to define terms and concepts that can explain learning activities taking place in these communities. The objective of this endeavor is to define in the simplest possible way a common definition of concepts and activities that can guide the identification of learning processes taking place among FLOSS members in any of the standard repositories such as mailing list, SVN, bug trackers and even discussion forums.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mukala, Patrick</style></author><author><style face="normal" font="default" size="100%">Cerone, Antonio</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Process mining event logs from FLOSS data: state of the art and perspectives</style></title><secondary-title><style face="normal" font="default" size="100%">International Conference on Software Engineering and Formal Methods</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer, Cham</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Free/Libre Open Source Software (FLOSS) is a phenomenon that has undoubtedly triggered extensive research endeavors. At the heart of these initiatives is the ability to mine data from FLOSS repositories with the hope of revealing empirical evidence to answer existing questions on the FLOSS development process. In spite of the success produced with existing mining techniques, emerging questions about FLOSS data require alternative and more appropriate ways to explore and analyse such data.

In this paper, we explore a different perspective called process mining. Process mining has been proved to be successful in terms of tracing and reconstructing process models from data logs (event logs). The chief objective of our analysis is threefold. We aim to achieve: (1) conformance to predefined models; (2) discovery of new model patterns; and, finally, (3) extension to predefined models.

</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The discovery of discrimination</style></title><secondary-title><style face="normal" font="default" size="100%">Discrimination and privacy in the information society</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">91–108</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Andrea Romei</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Discrimination discovery in scientific project evaluation: A case study</style></title><secondary-title><style face="normal" font="default" size="100%">Expert Systems with Applications</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">15</style></number><volume><style face="normal" font="default" size="100%">40</style></volume><pages><style face="normal" font="default" size="100%">6064–6079</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mirco Nanni</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Spatio-Temporal Data</style></title><secondary-title><style face="normal" font="default" size="100%">Spatio-Temporal Databases: Flexible Querying and Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><pages><style face="normal" font="default" size="100%">75</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Knowledge Discovery in Ontologies</style></title><secondary-title><style face="normal" font="default" size="100%">Intelligent Data Analysis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://iospress.metapress.com/content/765h53w41286p578/fulltext.pdf</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">16</style></volume><section><style face="normal" font="default" size="100%">513</style></section></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">What else can be extracted from ontologies? Influence Rules</style></title><secondary-title><style face="normal" font="default" size="100%">Software and Data Technologies</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Communications in Computer and Information Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mining Influence Rules out of Ontologies</style></title><secondary-title><style face="normal" font="default" size="100%">International Conference on Software and Data Technologies (ICSOFT)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2011</style></date></pub-dates></dates><pub-location><style face="normal" font="default" size="100%">Siviglia, Spagna</style></pub-location></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Andrea Bellandi</style></author><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Chiara Pratesi</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Improving the Business Plan Evaluation Process: the Role of Intangibles</style></title><secondary-title><style face="normal" font="default" size="100%">Quality Technology &amp; Quantitative Management</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2010</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://web.it.nctu.edu.tw/~qtqm/upcomingpapers/2010V7N1/2010V7N1_F3.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><section><style face="normal" font="default" size="100%">35</style></section></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Integrating induction and deduction for finding evidence of discrimination</style></title><secondary-title><style face="normal" font="default" size="100%">ICAIL</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><pages><style face="normal" font="default" size="100%">157-166</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Measuring Discrimination in Socially-Sensitive Decision Records</style></title><secondary-title><style face="normal" font="default" size="100%">SDM</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><pages><style face="normal" font="default" size="100%">581-592</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Michele Berlingerio</style></author><author><style face="normal" font="default" size="100%">Francesco Bonchi</style></author><author><style face="normal" font="default" size="100%">Michele Curcio</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation</style></title><secondary-title><style face="normal" font="default" size="100%">Biomedical Data and Applications</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><pages><style face="normal" font="default" size="100%">211-236</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">T. Ceccarelli</style></author><author><style face="normal" font="default" size="100%">D. Centeno</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">A. Massolo</style></author><author><style face="normal" font="default" size="100%">Christine Parent</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Stefano Spaccapietra</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology</style></title><secondary-title><style face="normal" font="default" size="100%">GeoInformatica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">12</style></volume><pages><style face="normal" font="default" size="100%">37-72</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">T. Ceccarelli</style></author><author><style face="normal" font="default" size="100%">D. Centeno</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">A. Massolo</style></author><author><style face="normal" font="default" size="100%">Christine Parent</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Stefano Spaccapietra</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">Geoinformatica, Volume 12, Number 1 / March,</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Salvatore Ruggieri</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Discrimination-aware data mining</style></title><secondary-title><style face="normal" font="default" size="100%">KDD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><pages><style face="normal" font="default" size="100%">560-568</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">S Rinzivillo</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Vania Bogorny</style></author><author><style face="normal" font="default" size="100%">Christine Körner</style></author><author><style face="normal" font="default" size="100%">Bart Kuijpers</style></author><author><style face="normal" font="default" size="100%">Michael May</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Knowledge Discovery from Geographical Data</style></title><secondary-title><style face="normal" font="default" size="100%">Mobility, Data Mining and Privacy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><pages><style face="normal" font="default" size="100%">243-265</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project</style></title><secondary-title><style face="normal" font="default" size="100%">PinKDD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><pages><style face="normal" font="default" size="100%">25-32</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Laura Spinsanti</style></author><author><style face="normal" font="default" size="100%">Andrea Bellandi</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontology-Based Business Plan Classification</style></title><secondary-title><style face="normal" font="default" size="100%">Enterprise Distributed Object Computing Conference (EDOC)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2008</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&amp;arnumber=4634789</style></url></web-urls></urls><isbn><style face="normal" font="default" size="100%">978-0-7695-3373-5</style></isbn></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Andrea Bellandi</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Laura Spinsanti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontology-Based Business Plan Classification</style></title><secondary-title><style face="normal" font="default" size="100%">EDOC</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><pages><style face="normal" font="default" size="100%">365-371</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Francesco Bonchi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Vassilios S. Verykios</style></author><author><style face="normal" font="default" size="100%">Maurizio Atzori</style></author><author><style face="normal" font="default" size="100%">Bradley Malin</style></author><author><style face="normal" font="default" size="100%">Bart Moelans</style></author><author><style face="normal" font="default" size="100%">Yücel Saygin</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Privacy Protection: Regulations and Technologies, Opportunities and Threats</style></title><secondary-title><style face="normal" font="default" size="100%">Mobility, Data Mining and Privacy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><pages><style face="normal" font="default" size="100%">101-119</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">S Rinzivillo</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Knowledge discovery from spatial transactions</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Intelligent Information Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">28</style></volume><pages><style face="normal" font="default" size="100%">1-22</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Michele Berlingerio</style></author><author><style face="normal" font="default" size="100%">Francesco Bonchi</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mining Clinical Data with a Temporal Dimension: A Case Study</style></title><secondary-title><style face="normal" font="default" size="100%">BIBM</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><pages><style face="normal" font="default" size="100%">429-436</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Michele Berlingerio</style></author><author><style face="normal" font="default" size="100%">Francesco Bonchi</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Time-Annotated Sequences for Medical Data Mining</style></title><secondary-title><style face="normal" font="default" size="100%">ICDM Workshops</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><pages><style face="normal" font="default" size="100%">133-138</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">S Rinzivillo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Examples of Integration of Induction and Deduction in Knowledge Discovery</style></title><secondary-title><style face="normal" font="default" size="100%">Reasoning, Action and Interaction in AI Theories and Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><pages><style face="normal" font="default" size="100%">307-326</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">S Rinzivillo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Examples of Integration of Induction and Deduction in Knowledge Discovery</style></title><secondary-title><style face="normal" font="default" size="100%">Reasoning, Action and Interaction in AI Theories and Systems</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">LNAI</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.springerlink.com/content/m400v4507476n18g/fulltext.pdf</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">4155</style></volume><pages><style face="normal" font="default" size="100%">307-326</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Tool for Economic Plans analysis based on expert knowledge and data mining techniques</style></title><secondary-title><style face="normal" font="default" size="100%"> IADIS International Conference Applied Computing 2006 </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2006</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.iadisportal.org/digital-library/mdownload/a-tool-for-economic-plans-analysis-based-on-expert-knowledge-and-data-mining-techniques</style></url></web-urls></urls><isbn><style face="normal" font="default" size="100%">972-8924-09-7</style></isbn></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Miriam Baglioni</style></author><author><style face="normal" font="default" size="100%">Barbara Furletti</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">DrC4.5: Improving C4.5 by means of Prior Knowledge</style></title><secondary-title><style face="normal" font="default" size="100%">ACM Symposium on Applied Computing</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dl.acm.org/ft_gateway.cfm?id=1066787&amp;ftid=311609&amp;dwn=1&amp;CFID=96873366&amp;CFTOKEN=59233511</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">Santa Fe, New Mexico, USA</style></pub-location><isbn><style face="normal" font="default" size="100%">1-58113-964-0</style></isbn></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">S Rinzivillo</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Extracting spatial association rules from spatial transactions</style></title><secondary-title><style face="normal" font="default" size="100%">ACM GIS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><pages><style face="normal" font="default" size="100%">79-86</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">S Rinzivillo</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Classification in Geographical Information Systems</style></title><secondary-title><style face="normal" font="default" size="100%">PKDD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><pages><style face="normal" font="default" size="100%">374-385</style></pages></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mirco Nanni</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Deductive and Inductive Reasoning on Spatio-Temporal Data</style></title><secondary-title><style face="normal" font="default" size="100%">INAP/WLP</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><pages><style face="normal" font="default" size="100%">98-115</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mirco Nanni</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Deductive and Inductive Reasoning on Trajectories</style></title><secondary-title><style face="normal" font="default" size="100%">SEBD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><pages><style face="normal" font="default" size="100%">98-105</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Integrating knowledge representation and reasoning in Geographical Information Systems</style></title><secondary-title><style face="normal" font="default" size="100%">International Journal of Geographical Information Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">417-447</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Integrating Knowledge Representation and Reasoning in Geographical</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">information systems. {\em International Journal of GIS,Vol 18 (4), June }.</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mirco Nanni</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">\newblock{A Declarative Framework for Reasoning on Spatio-temporal Data}</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">\newblock{Book chapter in Spatio-temporal databases, flexible querying and reasoning, R. de Caluwe, G. de Trè, G. Bordogna editors, Physica Verlag }.</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Giuseppe Manco</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Specifying Mining Algorithms with Iterative User-Defined Aggregates</style></title><secondary-title><style face="normal" font="default" size="100%">IEEE Trans. Knowl. Data Eng.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><number><style face="normal" font="default" size="100%">10</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">1232-1246</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Giuseppe Manco</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a Logic Query Language for Data Mining</style></title><secondary-title><style face="normal" font="default" size="100%">Database Support for Data Mining Applications</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><pages><style face="normal" font="default" size="100%">76-94</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Qualitative Spatial Reasoning in a Logical Framework</style></title><secondary-title><style face="normal" font="default" size="100%">AI*IA</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><pages><style face="normal" font="default" size="100%">78-90</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Enhancing GISs for spatio-temporal reasoning</style></title><secondary-title><style face="normal" font="default" size="100%">ACM-GIS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><pages><style face="normal" font="default" size="100%">42-48</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Qualitative Reasoning in a Spatio-Temporal Language</style></title><secondary-title><style face="normal" font="default" size="100%">SEBD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><pages><style face="normal" font="default" size="100%">105-118</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Complex Reasoning on Geographical Data</style></title><secondary-title><style face="normal" font="default" size="100%">SEBD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><pages><style face="normal" font="default" size="100%">331-338</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Alessandra Raffaetà</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Complex Reasoning on Geographical Data</style></title><secondary-title><style face="normal" font="default" size="100%">SEBD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><pages><style face="normal" font="default" size="100%">331-338</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Giuseppe Manco</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study</style></title><secondary-title><style face="normal" font="default" size="100%">PKDD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><pages><style face="normal" font="default" size="100%">128-139</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">A Formuso</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Using MedLan to Integrate Geographical Data</style></title><secondary-title><style face="normal" font="default" size="100%">J. Log. Program.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">43</style></volume><pages><style face="normal" font="default" size="100%">3-14</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">A Formuso</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Using Medlan to Integrate Geographical Data</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic Programming</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><pages><style face="normal" font="default" size="100%">3–14</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">43(1):.</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Dynamic Composition of Parameterised Logic Modules</style></title><secondary-title><style face="normal" font="default" size="100%">Computer Languages</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><pages><style face="normal" font="default" size="100%">211–242</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">25(4):.</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Dynamic composition of parameterised logic modules</style></title><secondary-title><style face="normal" font="default" size="100%">Comput. Lang.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">211-242</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Giuseppe Manco</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Experiences with a Logic-based knowledge discovery Support Environment</style></title><secondary-title><style face="normal" font="default" size="100%">1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Giuseppe Manco</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Experiences with a Logic-Based Knowledge Discovery Support Environment</style></title><secondary-title><style face="normal" font="default" size="100%">AI*IA</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><pages><style face="normal" font="default" size="100%">202-213</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Giuseppe Manco</style></author><author><style face="normal" font="default" size="100%">Mirco Nanni</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Integration of Deduction and Induction for Mining Supermarket Sales Data</style></title><secondary-title><style face="normal" font="default" size="100%">SEBD</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><pages><style face="normal" font="default" size="100%">117-131</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Constraint Operator of MedLan: Its Efficient Implementation and Use</style></title><secondary-title><style face="normal" font="default" size="100%">IICIS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1998</style></year></dates><pages><style face="normal" font="default" size="100%">41-55</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Applying Restriction Constraint to Deductive Databases</style></title><secondary-title><style face="normal" font="default" size="100%">Annals of Mathematics and Artificial Intelligence</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><pages><style face="normal" font="default" size="100%">3–25</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">1997</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Applying Restriction Constraints to Deductive Databases</style></title><secondary-title><style face="normal" font="default" size="100%">Ann. Math. Artif. Intell.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><number><style face="normal" font="default" size="100%">1-2</style></number><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">3-25</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Language Extensions for Semantic Integration of Deductive Databases</style></title><secondary-title><style face="normal" font="default" size="100%">Logic in Databases</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><pages><style face="normal" font="default" size="100%">415-434</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards {D}eclarative {GIS} {A}nalysis</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><pages><style face="normal" font="default" size="100%">99–105</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">{\em Proocedings of the {F}ourth {ACM} {W}orkshop on {A}dvances in {G}eographic {I}nformation {S}ystems}, pages.</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards Declarative GIS Analysis</style></title><secondary-title><style face="normal" font="default" size="100%">ACM-GIS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><pages><style face="normal" font="default" size="100%">98-104</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Danilo Montesi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Using Temporary Integrity Constraints to Optimize Databases</style></title><secondary-title><style face="normal" font="default" size="100%">FAPR</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><pages><style face="normal" font="default" size="100%">430-435</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Operator for Composing Deductive Databases with Theories of Constraints</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><pages><style face="normal" font="default" size="100%">57–70</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">Logic Programming and Nonmonotonic Reasoning, Third International Conference Lecture Notes in Computer Science vol 928,</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Domenico Aquilino</style></author><author><style face="normal" font="default" size="100%">Patrizia Asirelli</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Operator for Composing Deductive Databases with Theories of Constraints</style></title><secondary-title><style face="normal" font="default" size="100%">LPNMR</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><pages><style face="normal" font="default" size="100%">57-70</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Amalgamating Language and Meta-language for Composing Logic Programs</style></title><secondary-title><style face="normal" font="default" size="100%">GULP-PRODE (2)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><pages><style face="normal" font="default" size="100%">408-422</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">A. Chiarelli</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">V. Mazzotta</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><pages><style face="normal" font="default" size="100%">292–307</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">Programming Language Implementation and Logic Programming Lecture Notes in Computer Science, volume 844,</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">A. Chiarelli</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">V. Mazzotta</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style></title><secondary-title><style face="normal" font="default" size="100%">PLILP</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><pages><style face="normal" font="default" size="100%">292-307</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">A. Chiarelli</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">V. Mazzotta</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Chiara Renso</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style></title><secondary-title><style face="normal" font="default" size="100%">PLILP</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><pages><style face="normal" font="default" size="100%">292-307</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Modular Logic Programming</style></title><secondary-title><style face="normal" font="default" size="100%">ACM Trans. Program. Lang. Syst.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">1361-1398</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Meta for Modularising Logic Programming</style></title><secondary-title><style face="normal" font="default" size="100%">META</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><pages><style face="normal" font="default" size="100%">105-119</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Bruno Bertolino</style></author><author><style face="normal" font="default" size="100%">Luigi Meo</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Type System of LML</style></title><secondary-title><style face="normal" font="default" size="100%">Types in Logic Programming</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><pages><style face="normal" font="default" size="100%">313-332</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Theory Construction in Computational Logic</style></title><secondary-title><style face="normal" font="default" size="100%">ICLP Workshop on Construction of Logic Programs</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1991</style></year></dates><pages><style face="normal" font="default" size="100%">241-250</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Logic Programming within a Functional Framework</style></title><secondary-title><style face="normal" font="default" size="100%">PLILP</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1990</style></year></dates><pages><style face="normal" font="default" size="100%">372-386</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Roberto Barbuti</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Transformational Approach to Negation in Logic Programming</style></title><secondary-title><style face="normal" font="default" size="100%">J. Log. Program.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1990</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">8</style></volume><pages><style face="normal" font="default" size="100%">201-228</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Antonio Brogi</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Universal Quantification by Case Analysis</style></title><secondary-title><style face="normal" font="default" size="100%">ECAI</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1990</style></year></dates><pages><style face="normal" font="default" size="100%">111-116</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Bruno Bertolino</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Luigi Meo</style></author><author><style face="normal" font="default" size="100%">Luca Nini</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Progress Report on the LML Project</style></title><secondary-title><style face="normal" font="default" size="100%">FGCS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1988</style></year></dates><pages><style face="normal" font="default" size="100%">675-684</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Roberto Barbuti</style></author><author><style face="normal" font="default" size="100%">Paolo Mancarella</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Intensional Negation of Logic Programs: Examples and Implementation Techniques</style></title><secondary-title><style face="normal" font="default" size="100%">TAPSOFT, Vol.2</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1987</style></year></dates><pages><style face="normal" font="default" size="100%">96-110</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Attilio Matteucci</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Symbolic Evaluation with Structural Recursive Symbolic Constants</style></title><secondary-title><style face="normal" font="default" size="100%">Sci. Comput. Program.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1987</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">161-177</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vincenzo Ambriola</style></author><author><style face="normal" font="default" size="100%">Fosca Giannotti</style></author><author><style face="normal" font="default" size="100%">Dino Pedreschi</style></author><author><style face="normal" font="default" size="100%">Franco Turini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Symbolic Semantics and Program Reduction</style></title><secondary-title><style face="normal" font="default" size="100%">IEEE Trans. Software Eng.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1985</style></year></dates><number><style face="normal" font="default" size="100%">8</style></number><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">784-794</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>