jump to navigation

Publications

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.

Book

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.

Ph.D. Thesis

The Complexity of Automated Reasoning University of Toronto, 1989.

 Research Reports

Recommending Journal Articles with PageRank Ratings” research report 2009.

What Are Mobile Agents Good For Anyway?” , October 1997 (7 pages).

W. Older, A. Vellino and F. Benhamou “Constraint Logic Programming on Boolean, Integer and Real Intervals” (May 1994 (18 pages).

A. Vellino and W. Older “Computing Time Intervals Logically” (w/ William Older) presented at Society for Exact Philosophy, Fall 1993 (14 pages).

A. Vellino “Comparative Implementations of  Solutions to the Costas Array Problem“, 1990 (11 pages).

A. Vellino “Programming in LogicPerspectives in ComputingBell-Northern Research, 1990 (17 pages).

A. Velino “A Prolog Implementation of an Analytic Tableau Theorem Prover for the Propositional CalculusCRL research report 89024, 1989 (12 pages).

Comments»

No comments yet — be the first.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: