• Publications
  • Influence
Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry
TLDR
We show that combinatorial search, constrained by experimental evidence, domain knowledge, and simplicity, is sufficient to discover credible explanatory hypotheses in a scientific task of current importance. Expand
  • 61
  • 4
Principles of Human Computer Collaboration for Knowledge Discovery in Science
TLDR
An important problem in computational scientific discovery is to identify, among the diversity of discovery programs written in various sciences, a commonality that will take a next step beyond the acknowledged general-but weak-framework of heuristic search. Expand
  • 90
  • 3
Scientific Model-Building as Search in Matrix Spaces
TLDR
We show that the search spaces underlying many well-known systems are remarkably similar when re-interpreted as search in matrix spaces. Expand
  • 34
  • 2
  • PDF
Algebraic Reasoning about Reactions: Discovery of Conserved Properties in Particle Physics
TLDR
This paper describes PAULI, a program that solves the same task as BR-3 but uses a different problem-solving model. Expand
  • 13
  • 2
Online Measures of Basic Language Skills in Children with Early Focal Brain Lesions
Twenty children with early focal lesions were compared with 150 age-matched control subjects on 11 online measures of the basic skills underlying language processing, a digit span task, and 6Expand
  • 59
  • 1
The Satisfiability of Temporal Constraint Networks
TLDR
A popular representation of events and their relative alignment in time is James Allen's intervals and algebra. Expand
  • 43
  • 1
Human/computer interactive elucidation of reaction mechanisms: application to catalyzed hydrogenolysis of ethane
The computer program MECHEM is a tool for interactive elucidation of reaction mechanisms. Such programs confront severe combinatorial problems on complex multistep reactions, hence the practicalityExpand
  • 42
  • 1
Spatio-Temporal Reasoning and Linear Inequalitites
Abstract : Time and space are sufficiently similar to warrant in certain cases a common representation in Al problem-solving systems. What is represented is often the constraints that hold betweenExpand
  • 24
  • 1
Systematic induction and parsimony of phenomenological conservation laws
Abstract Selection rules in the form of conservation laws are sometimes postulated in order to explain the non-observation of certain reactions in elementary particle physics. One way to deviceExpand
  • 28
  • 1
Automatic componential analysis of kinship semantics with a proposed structural solution to the problem of multiple models
The article describes a computer program, called KINSHIP, that performs componential analysis of kinship terminologies. KINSHIP can produce the guaranteed-simplest analyses, employing a minimumExpand
  • 18
  • 1
  • PDF
...
1
2
3
4
5
...