Nancy Tinkham: Publications

Books

Nancy Lynn Tinkham. An Introduction to Functional Programming with Scheme. Deer Park, NY: Linus Publications, 2008, ISBN 1-934188-99-9.

Journal Articles

Nancy Lynn Tinkham.  Schema Induction for Logic Program Synthesis.  Artificial Intelligence 98, 1 (January 1998):  1-47.

Nancy Lynn Tinkham and Darren F. Provine.  The Stage One Turing Test as an Artificial Intelligence Class Exercise.  SIGCSE Bulletin 26, 2 (June 1994) 5-8.  Reprinted in SIGART Bulletin 6, 4 (October 1995) 11-13.

Bruce W. Ballard, John C. Lusth, and Nancy L. Tinkham. LDC-1: A Transportable Knowledge-Based Natural Language Processing System for Office Environments. ACM Transactions on Office Information Systems 2, 1 (1984) 1-25.

Bruce W. Ballard and Nancy L. Tinkham. A Phrase-Structured Grammatical Framework for Transportable Natural Language Processing. Computational Linguistics 10, 2 (1984) 81-96.

Book reviews

Nancy Lynn Tinkham. Review of Clause and Effect: Prolog Programming for the Working Programmer, by William F. Clocksin. In intelligence: New Visions of AI in Practice 11, 1 (Spring 2000): 51-52.

Nancy Lynn Tinkham. Review of The Implementation of Prolog, by Patrice Boizumault. In SIGART Bulletin 6, 4 (October 1995): 17.

Nancy Lynn Tinkham. Review of The Art of Prolog, by Leon Sterling and Ehud Shapiro. In SIGART Bulletin 6, 3 (July 1995): 21-22.

Nancy Lynn Tinkham. Review of Programming for Artificial Intelligence: Methods, Tools, and Applications, by Wolfgang Kreutzer and Bruce McKenzie. In SIGART Bulletin 3, 2 (April 1992) 30-31.

Encyclopedia articles

Nancy Tinkham. The Theory of Computation. In Nupedia (a peer-reviewed encyclopedia, electronically published at http://nupedia.8media.org), April 2001.

Religious and interdisciplinary articles

Nancy Lynn Tinkham. "April 25". In Stones of Remembrance 2: Wheaton's Living Stones. Wheaton, IL: Wheaton College, 2006, p. 127.

Technical reports

Nancy Lynn Tinkham.  A theorem on refinement operators for logic program synthesis.   Glassboro, NJ:  Rowan University Technical Report, 1997.  TR1997-1.

Nancy L. Tinkham. Induction of Schemata for Program Synthesis. Durham, NC: Duke University Technical Report, May 1990. CS-1990-14.

Bruce W. Ballard and Nancy L. Tinkham. A Phrase-Structured Grammatical Framework for Transportable Natural Language Processing. Durham, NC: Duke University Technical Report, April 1983. CS-1983-4.

Bruce W. Ballard, John C. Lusth, and Nancy L. Tinkham. LDC-1: A Transportable Knowledge-Based Natural Language Processing System for Office Environments. Durham, NC: Duke University Technical Report, August 1983. CS-1983-15.

Conferences

Darren F. Provine and Nancy Lynn Tinkham. Supplemental Vocabulary Acquisition in the DeSymbol Logic Translator. Proceedings of the 17th ACMS Conference, May 27-30, 2009, Wheaton College, Wheaton, IL, pp. 41-44.

Darren F. Provine and Nancy Lynn Tinkham. DeSymbol: An Interpretive Tool for Symbolic Logic. The Journal of Computing Sciences in Colleges 23, 3 (January 2008) 38-43. Presented at the 23rd Annual CCSC Eastern Conference, October 12-13, 2007, St. Joseph's College, Patchogue, NY.

Nancy Tinkham. Maintaining Ugly Code. Faculty poster, Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education, March 3-7, 2004, Norfolk, VA.

Nancy L. Tinkham and Bruce W. Ballard. Lexical and Syntactic Processing in LDC, a Transportable Natural Language Processing System. 27th Annual Kentucky Foreign Language Conference, April 26-28, 1984, University of Kentucky, Lexington, KY.

Grants

"Web-based tool for stage I Turing Test", Research and Scholarship Alternate Assigned Time grant, Rowan University, 2004-2005.

"Graphical user interface for symbolic logic interpretive tool", Research and Scholarship Alternate Assigned Time grant, Rowan University, 2004-2005.

"Interpretive Tool for Symbolic Logic", Research and Scholarship Alternate Assigned Time grant, Rowan University, 2003-2004.

"Adaptive Spam Filter", Research and Scholarship Alternate Assigned Time grant, Rowan University, 2003-2004.

"Applicative Universal Grammar Parsing", Research and Scholarship Alternate Assigned Time grant, Rowan University, 2002-2003.

"Textbook: An Introduction to Functional Programming with Scheme", Separately Budgeted Research grant, Rowan University, 2001-2002.

"Expert System for Computer Lab Advising", Probationary Assistance Grant, Rowan University, 1993-94.

"Automated Learning of Analogy Problems", Probationary Assistance Grant, Rowan University, 1992-93.

Software

DeSymbol


Nancy Tinkham
Rowan University, Computer Science Department

Valid HTML 4.0!