Computational Discovery of Scientific Knowledge

Computational Discovery of Scientific Knowledge.- Computational Discovery of Scientific Knowledge.- I Equation Discovery and Dynamic Systems Identification.- Communicable Knowledge in Automated System Identification.- Incorporating Engineering Formalisms into Automated Model Builders.- Integrating Domain Knowledge in Equation Discovery.- Communicability Criteria of Law Equations Discovery.- Quantitative Revision of Scientific Models.- Discovering Communicable Models from Earth Science Data.- Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools.- Computational Discovery in Pure Mathematics.- II Computational Scientific Discovery in Biomedicine.- Automatic Computational Discovery of Chemical Reaction Networks Using Genetic Programming.- Discovery of Genetic Networks Through Abduction and Qualitative Simulation.- Learning Qualitative Models of Physical and Biological Systems.- Logic and the Automatic Acquisition of Scientific Knowledge: An Application to Functional Genomics.- Drug Discovery as an Example of Literature-Based Discovery.- Literature Based Discovery Support System and Its Application to Disease Gene Identification.