Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Dept. Of Computer Science, University of Illinois at Urbana-Champaign (1977)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||AQVAL programs (Computer programs Many-valued logic Induction (Mathematics|
|Categories||categorize this paper)|
|Call number||QA9.45.I4 no. 874|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Solomon Feferman, The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.
Michael J. Quinn (2006). On Teaching Computer Ethics Within a Computer Science Department. Science and Engineering Ethics 12 (2):335-343.
Carlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
Edward Yalow (1977). Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs. Department of Computer Science, University of Illinois at Urbana-Champaign.
Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj (1994). Machine Learning of Higher-Order Programs. Journal of Symbolic Logic 59 (2):486-500.
Robert C. Cummins (1977). Programs in the Explanation of Behavior. Philosophy of Science 44 (June):269-87.
Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2):135-167.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?