Ontology revision

This publication has 15 references indexed in Scilit:

• On the utility of predicate invention in inductive logic programming
  Published by Springer Nature ,1994
• Fitness Requirements for Scientific Theories Containing Recursive Theoretical Terms
  The British Journal for the Philosophy of Science, 1993
• Comments on "Defining software by continuous smooth functions" by R.A. De Millo and R.J. Lipton
  IEEE Transactions on Software Engineering, 1993
• Machine Invention of First-order Predicates by Inverting Resolution
  Published by Elsevier ,1988
• Nonmonotonic Reasoning
  Annual Review of Computer Science, 1987
• Applications of circumscription to formalizing common-sense knowledge
  Artificial Intelligence, 1986
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Turing-machines and the Entscheidungsproblem
  Mathematische Annalen, 1962
• Properties preserved under homomorphism
  Pacific Journal of Mathematics, 1959
• Testability and Meaning
  Philosophy of Science, 1936