Journal and Conference Articles
A. Vellino and D. Lemire (2011) “Extracting, Transforming and Archiving Scientific Data” , in L. Candela, Y. Ioannidis, P. Manghi (Eds.) Proceedings of the Fourth Workshop on Very Large Digital Libraries (VLDL 2011)
M. van Emden and A. Vellino (2010) “From chinese room to human window.” International Computer Games Association Journal, vol. 33 issue 3:127-139, 2010.
A. Vellino, (2010) “A Comparison Between Usage-based and Citation-based Methods for Recommending Scholarly Research Articles” proceedings of American Society for Information Science conference, Pittsburgh, October 2010.
M.F. Rutledge-Taylor, A. Vellino, Andre, R. West (2008) “A holographic associative memory recommender system,” 2008. ICDIM 2008. Third International Conference on Digital Information Management, pp.87-92, 13-16 Nov. 2008
A. Vellino and D. Zeber. “A Hybrid, Multi-dimensional Recommender for Journal Articles in a Scientific Digital Library”. WI-IATW ’07: Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, pages 111–114, 2007.
A. Vellino “The Methodology of Rational System Design” in New Studies in Exact Philosophy: Logic, Mathematics and Science, (Eds. John Woods, Bryson Brown) Hermes, (2000) p.307-320.
A. Vellino, Review of Understanding Computers and Cognition (by Terry Winograd and Fernando Flores, Abalex Press, 1987) in Contemplating Minds (W. Clancey, S. Smoliar and M. Stefik, Eds.) MIT Press, 1994. First published in Artificial Intelligence 31 (1987) 213-261.
A. Vellino “The Relative Complexity of SL-Resolution and Analytic Tableau” in Studia Logica 52, vol. 2, pp:323-337, Kluewer 1993.
S. Karickhoff, A.Vellino, L. Carreira, D. Nute, and V. McDaniel. “Predicting chemical parameters with Prolog.” Proceedings of the Artificial Intelligence in Minerals and Materials Technology Conference, U.S. Department of the Interior, Bureau of Mines, Washington, 1988:53-65.
Chapter in Book
A. Vellino and W. Older “Constraint Arithmetic on Real Intervals” in Constraint Logic Programming, Selected Research (ed. F. Benhamou and A. Colmerauer) MIT Press, 1992.
Covington, M. A., Nute, D., and Vellino, A. Prolog Programming in Depth. Prentice Hall, 1997
Book Reviews in Refereed Journals
On the Origin of Objects (by Brian Cantwell Smith, MIT Press) in Canadian Artificial Intelligence (Fall 1998) (6 pages).
Review of Proof Theory and Automated Deduction (by Jean Goubault-Larrecq and Ian Mackie (Kluwer Academic Publishers Dordrecht/Boston/London, 1997) in Journal of ISPS (1998) (3 pages).
Review of Artificial Intelligence: The Very Idea by John Haugland in Artificial Intelligence 29 (1986) 349-353.
Review (with Charles F. Bender) of Artificial Intelligence Applications in Chemistry, (edited by T. H. Pierce and B. A. Hohne) in Journal for Chemical and Information Sciences, 1987.
The Complexity of Automated Reasoning University of Toronto, 1989.
“Recommending Journal Articles with PageRank Ratings” research report 2009.
W. Older, A. Vellino and F. Benhamou “Constraint Logic Programming on Boolean, Integer and Real Intervals” (May 1994 (18 pages).
A. Vellino “Comparative Implementations of Solutions to the Costas Array Problem“, 1990 (11 pages).
A. Velino “A Prolog Implementation of an Analytic Tableau Theorem Prover for the Propositional Calculus” CRL research report 89024, 1989 (12 pages).