Progress in Discovery Science

- Searching for Mutual Exclusion Algorithms Using BDDs
- Reducing Search Space in Solving Higher-Order Equations
- The Structure of Scientific Discovery: From a Philosophical Point of View
- Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert
- Theory of Judgments and Derivations
- Efficient Data Mining from Large Text Databases
- A Computational Model for Children's Language Acquisition Using Inductive Logic Programming
- Some Criterions for Selecting the Best Data Abstractions
- Discovery of Chances Underlying Real Data
- Towards the Integration of Inductive and Nonmonotonic Logic Programming
- EM Learning for Symbolic-Statistical Models in Statistical Abduction
- Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns
- Constructing a Critical Casebase to Represent a Lattice-Based Relation
- On Dimension Reduction Mappings for Approximate Retrieval of Multi-dimensional Data
- Rule Discovery from fMRI Brain Images by Logical Regression Analysis
- A Theory of Hypothesis Finding in Clausal Logic
- Efficient Data Mining by Active Learning
- Data Compression Method Combining Properties of PPM and CTW
- Discovery of Definition Patterns by Compressing Dictionary Sentences
- On-Line Algorithm to Predict Nearly as Well as the Best Pruning of a Decision Tree
- Finding Best Patterns Practically
- Classification of Object Sequences Using Syntactical Structure
- Top-Down Decision Tree Boosting and Its Applications
- Extraction of Primitive Motion and Discovery of Association Rules from Human Motion Data
- Algorithmic Aspects of Boosting
- Automatic Detection of Geomagnetic Jerks by Applying a Statistical Time Series Model to Geomagnetic Monthly Means
- Application of Multivariate Maxwellian Mixture Model to Plasma Velocity Distribution
- Inductive Thermodynamics from Time Series Data Analysis
- Mining of Topographic Feature from Heterogeneous Imagery and Its