Sentiment Knowledge Discovery in Twitter Streaming Data -- A Similarity-Based Adaptation of Naive Bayes for Label Ranking: Application to the Metalearning Problem of Algorithm Recommendation -- Topology Preserving SOM with Transductive Confidence Machine -- An Artificial Experimenter for Enzymatic Response Characterisation -- Subgroup Discovery for Election Analysis: A Case Study in Descriptive Data Mining -- On Enumerating Frequent Closed Patterns with Key in Multi-relational Data -- Why Text Segment Classification Based on Part of Speech Feature Selection -- Speeding Up and Boosting Diverse Density Learning -- Incremental Learning of Cellular Automata for Parallel Recognition of Formal Languages -- Sparse Substring Pattern Set Discovery Using Linear Programming Boosting -- Discovery of Super-Mediators of Information Diffusion in Social Networks -- Integer Linear Programming Models for Constrained Clustering -- Efficient Visualization of Document Streams -- Bridging Conjunctive and Disjunctive Search Spaces for Mining a New Concise and Exact Representation of Correlated Patterns -- Graph Classification Based on Optimizing Graph Spectra -- Algorithm for Detecting Significant Locations from Raw GPS Data -- Discovery of Conservation Laws via Matrix Search -- Gaussian Clusters and Noise: An Approach Based on the Minimum Description Length Principle -- Exploiting Code Redundancies in ECOC -- Concept Convergence in Empirical Domains -- Equation Discovery for Model Identification in Respiratory Mechanics of the Mechanically Ventilated Human Lung -- Mining Class-Correlated Patterns for Sequence Labeling -- ESTATE: Strategy for Exploring Labeled Spatial Datasets Using Association Analysis -- Adapted Transfer of Distance Measures for Quantitative Structure-Activity Relationships -- Incremental Mining of Closed Frequent Subtrees -- Optimal Online Prediction in Adversarial Environments -- Discovery of Abstract Concepts by a Robot -- Contrast Pattern Mining and Its Application for Building Robust Classifiers -- Towards General Algorithms for Grammatical Inference -- The Blessing and the Curse of the Multiplicative Updates.

This book constitutes the refereed proceedings of the 13th International Conference on Discovery Science, DS 2010, held in Canberra, Australia, in October 2010. The 25 revised full papers presented were carefully selected from 43 submissions and include the first part of the book. In a second part invited talks of ALT 2010 and DS 2010 are presented. The scope of the conference is the exchange of new ideas and information among researchers working in the area of automatic scientific discovery or working on tools for supporting the human process of discovery in science.