Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs
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 | ||||||||||
| Call number | QA9.45.I4 no. 874 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesRobert C. Cummins (1977). Programs in the Explanation of Behavior. Philosophy of Science 44 (June):269-87.
Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj (1994). Machine Learning of Higher-Order Programs. Journal of Symbolic Logic 59 (2):486-500.
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.
Carlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
Michael J. Quinn (2006). On Teaching Computer Ethics Within a Computer Science Department. Science and Engineering Ethics 12 (2).
Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
