Coherence measure based on average use of formulas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1531, Issue , 1998, Pages 553-564

  Kwok, Rex ^a   Nayak, Abhaya ^b   Foo, Norman ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b UNIVERSITY OF NEWCASTLE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

LONG SEQUENCES; THEORY CONSTRUCTION;

ARTIFICIAL INTELLIGENCE;

EID: 78649864834     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0095300     Document Type: Conference Paper

References (14)

1. L. Bonjour. The Structure of Empirical Knowledge. Harvard University Press, 1985.
2. W. Craig. On axiomatizability within a system. In The Journal of Symbolic Logic vol. 18, pages 30-32, 1953.
3. W. Craig. Replacement of auxilliary expressions. In Philosophical Review, 55(1), pages 38-55, 1956.
4. Adolf Grünbaum. The falsifiability of lorentz-fitzerald contraction hypothesis. InBritish Journal for the Philosophy of Science, 39, pages 48-50, 1959.
5. Keith Lehrer. The Theory of Knowledge. Routledge, London, 1990.
6. S. Muggleton and W. Buntine. Machine invention of first-order predicates by inverting resolution. In Proceedings of the 5th International Machine Learning Workshop, pages 339-352. Morgan Kaufman, 1988.
7. S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the Fifth International Conference on Machine Learning. Morgan Kaufman, 1990.
8. Karl R. Popper. The Logic of Scientific Discovery. London: Hutchinson, 1968.
9. W. V. Quine. Word and Object. MIT Press, 1960.
10. W. V. Quine. On the reasons for indeterminacy of translation. In The Journal of Philosophy, 476, pages 178-183, 1970.
11. Ross Quinlan. Simplifying decision trees. In International Journal of Man-Machine Studies 27, pages 221-234, 1987.
12. Ross Quinlan. Learning logical definitions from relations. In Machine Learing, 5(3), pages 239-266, 1990.
13. J. R. Quinlan. C4.5: Programs ForMachine Learning. Morgan Kaufmann, 1993.
14. P. Thagard. Explanatory coherence. In Behavioural and Brain Sciences, 12, pages 435-467, 1989.