Raúl Valdés-Pérez  Home/Search
Context Related
| cmu.edu/afs/cs/user/valdes/M...aij95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~scidisc/Abstrac...aij95 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Earlier we proposed an idea for conjecturing unseen entities in science, and described its application within MECHEM to the chemistry task of inferring the mechanism of a chemical reaction based on experimental evidence. However, the program was a prototype, and lacked several capabilities that rendered it incompetent on current science. (Update)
Cited by: More
On the Notion of Interestingness in Automated Mathematical.. - Colton, Bundy, Walsh (2000) (Correct)
An Interactive Environment for Scientific Model Construction - Sanchez, Langley (Correct)
An Application-based Comparison of Automated Theory Formation and .. - Colton (2000) (Correct)
Active bibliography (related documents): More All
3.3: Conjecturing Hidden Entities by Means of Simplicity and.. - Valdes-Perez (Correct)
0.9: Computer Science Research on Scientific Discovery - Valdes-Perez (1996) (Correct)
0.5: A Powerful Heuristic for the Discovery of Complex Patterned.. - Valdes-Pérez, al. (Correct)
Similar documents based on text: More All
0.4: Goals of Research on Scientific Discovery - The Purpose Of (Correct)
0.4: Generating Process Explanations in Nuclear Astrophysics - Kocabas, Langley (1990) (Correct)
0.4: Similarities and Differences among Catalysts: Clustering and.. - Department (Correct)
Related documents from co-citation: More All
2: Discrete Mathematics - Chung, Ramsey - 1973
2: Drug Design by Machine Learning: The Use of Inductive Logic Programming to Model.. (context) - King, Muggleton et al. - 1992
2: HR - Automatic Concept Formation in Pure Mathematics (context) - Colton
BibTeX entry: (Update)
Valdes-Perez, R.E. (1995). Machine Discovery in Chemistry: New Results. Arti cial Intelligence 74(1), 191-201. http://citeseer.ist.psu.edu/512636.html More
@misc{ es-p95machine,
author = "V. es-P",
title = "Machine Discovery in Chemistry: New Results",
text = "Valdes-Perez, R.E. (1995). Machine Discovery in Chemistry: New Results.
Arti cial Intelligence 74(1), 191-201.",
year = "1995",
url = "citeseer.ist.psu.edu/512636.html" }
Citations (may not include all citations):587 PVM: a framework for parallel distributed computing - Sunderam - 1990
261 An introduction to Prolog III (context) - Colmerauer - 1990
49 Constraint satisfaction using constraint logic programming (context) - Hentenryck, Simonis et al. - 1992
13 The processes of scientific discovery: The strategy of exper.. (context) - Kulkarni, Simon - 1988
8 DENDRAL: a case study of the first expert system for scienti.. (context) - Lindsay, Buchanan et al. - 1993
7 Conflict resolution as discovery in particle physics (context) - Kocabas - 1991
6 Constraint logic programming applied to hypothetical reasoni.. (context) - Jourdan, Valdes-Perez - 1990
4 Hans Krebs and the discovery of the ornithine cycle (context) - Holmes - 1980
4 Search and reasoning in problem solving (context) - Simon - 1983
3 Systematic induction and parsimony of phenomenological conse.. (context) - Valdes-Perez, Erdmann - 1994
3 Discovering quarks and hidden structure (context) - Fischer, Zytkow - 1990
2 Machine Discovery of Chemical Reaction Pathways (context) - Valdes-Perez - 1990
2 Topological mapping of organic molecules (context) - Lederberg - 1965
2 A canonical representation of multistep reactions (context) - Valdes-Perez - 1991
2 Algorithm to generate reaction pathways for computer-assiste.. (context) - Valdes-Perez - 1992
2 Simulation and evaluation of chemical synthesis - SECS: An a.. (context) - Wipke, Ouchi et al. - 1978
2 Theory formation in postulating kinetic mechanisms: Reasonin.. (context) - Soo, Kulikowski et al. - 1987
1 Scientific model-building as search in matrix spaces (context) - Valdes-Perez, Zytkow et al. - 1993
1 Algorithm to test the structural plausibility of a proposed .. (context) - Valdes-Perez - 1993
1 Algebraic reasoning about reactions: Discovery of conserved .. (context) - Valdes-Perez - 1994
1 Oxford University Press (context) - Holmes - 1991
1 Theory formation in postulating enzyme kinetic mechanisms: R.. (context) - Soo, Kulikowski et al. - 1988
1 Algorithm to infer the structures of molecular formulas with.. (context) - Valdes-Perez - 1994
1 Direct conversion of methane to fuels (context) - Haggin - 1992
1 Conjecturing hidden entities via simplicity and conservation.. (context) - Valdes-Perez - 1994
1 Algebraic representation in scientific model building: Disco.. (context) - Valdes-Perez
1 Heuristics for systematic elucidation of reaction pathways (context) - Valdes-Perez - 1994
1 Computer-aided elucidation of reaction mechanisms: applicati.. (context) - Valdes-Perez - 1994
1 Humancomputer interactive elucidation reaction mechanism App.. (context) - Human, elucidation et al. - 1994
1 Catalyst synthesis by analogy (context) - Rudd, Dumesic - 1991
1 Kinetics and mechanism of ethane hydrogenolysis on silica-su.. (context) - Gudkov, Guczi et al. - 1982
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC