Ph. D. Thesis

The Complexity of Automated Reasoning (PDF) Ph.D. Thesis, University of Toronto, 1989. Supervisor: Alasdair Urquhart

Abstract: This thesis expands on the results of S. Cook and shows the relative complexity of proofs produced by the automatic theorem proving procedures of analytic tableaux, linear resolution, the connection method, tree resolution and the Davis-Putnam procedure.


Text-Book and Book Chapter

Constraint Arithmetic on Real Intervals (w/ William Older) in Constraint Logic Programming, Selected Research (ed. F. Benhamou and A. Colmerauer) MIT Press, 1992.

Prolog Programming in Depth (w/ M. Covington and D. Nute) Scott Foresman & Co. 1988  (second edition, Prentice-Hall, 1996).

Refereed Conferences

A. Vellino (2010) A Comparison Between Usage-based and Citation-based Methods for Recommending Scholarly Research Articles by ASIS&T, Pittsburgh, October 2010

M. F. Rutledge-Taylor, A. Vellino and R. L. West. A Holographic Associative Memory Recommender System  3rd International Conference on Digital Information Management (ICDM 2008), London

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 - Workshops, pages 111–114, 2007.

"Predicting Chemical Parameters with Prolog" (w/Samuel Karickhoff, Lionel Carreira, Donald Nute and Valeta McDaniel) Proc. of the Artificial Intelligence in Minerals and Materials Technology Conference, University of Alabama, October 1987.

Refereed Journal Articles

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.

The Relative Complexity of SL-Resolution and Analytic Tableau in Studia Logica 52, vol. 2, pp:323-337, Kluewer 1993.

Extending Prolog with Constraint Arithmetic on Real Intervals (w/ William Older) IEEE Canadian Conf. on Electrical and Computer Engineering, 1990.

Book Reviews in Refereed Journals:

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.

Review On the Origin of Objects (by Brian Cantwell Smith, MIT Press) in Canadian Artificial Intelligence (Fall 1998) (6 pages).

Review of Artificial Intelligence: The Very Idea by John Haugland in Artificial Intelligence 29 (1986) 349-353.

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 (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.

 Research Reports and White Papers

"Recommending Journal Articles with PageRank Ratings" research report 2009.

"What Are Mobile Agents Good For Anyway?” (Web-published position paper), October 1997 (7 pages).

"Constraint Logic Programming on Boolean, Integer and Real Intervals" (w/ Frederic Benhamou and William Older), May 1994 (18 pages).

"Computing Time Intervals Logically" (w/ William Older) presented at Society for Exact Philosophy, Fall 1993 (14 pages).

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

"Programming in Logic" Perspectives in Computing, Bell-Northern Research, 1990 (17 pages).

"A Prolog Implementation of an Analytic Tableau Theorem Prover for the Propositional Calculus" CRL research report 89024, 1989 (12 pages).

BNR Prolog User Guide and Reference Manual ("CLP(RI)") w/ William Older and BNR Prolog team, 1988 (731 pages).

Misc.

"What is Design?" CRL research report 92118, 1992 (13 pages).

"Synthetic Speech Output for PX" CRL research report 91092 w/ Chiabaut and Kelly 1991 (14 pages).

"Searching Chemical Substructures using Prolog" ACMC research report 01-0018, University of Georgia, 1986.

"Prolog Arrives" (w/ M. Covington) PC Tech Journal 4, no. 11, 1986.