AI - Bibliography : V

Leslie Valiant  

• A theory of the learnable. Communications of the Association for Computing Machinery, 1984

Johan van Benthem : publications

• The Logic of Time. D. Reidel, Dordrecht, The Netherlands. 1983
• A Manual of Intensional Logic. Center for the Study of Language and Information (CSLI), Stanford, California. 1985

Frank van Harmelen : publications

• Explanation-based generalisation = partial evaluation. Artificial Intelligence, 1988

J. van Heijenoort

• From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, Cambridge, Massachusetts. 1967

Peter Van Roy

• Can logic programming execute as fast as imperative programming? Report UCB/CSD 90/600, Computer Science Division, University of California, Berkeley. Ph.D. dissertation. 1990
• Concepts, Techniques, and Models of Computer Programming, MIT press, 2004

Kurt A. VanLehn

• Determining the scope of English quantifiers. Technical Report AI-TR-483, MIT AI Lab. 1978
• Intelligent Tutoring Systems with Conversational Dialogue, To appear in AI Magazine.

Vladimir Vapnik : publications

• On the uniform convergence of relative frequencies of events to their probabilities. Theory of Probability and Its Applications, 1971

Muriel Vasconcellos

• SPANAM and ENGSPAN: machine translation at the Pan American Health Organization. Computational Linguistics, 1985

Manuela M. Veloso : publications

• Derivational analogy in PRODIGY: automating case acquisition, storage, and utilization. Machine Learning, 1993
• Symbolic Visual Learning, Katsu Ikeuchi and Manuela Veloso, editors. Oxford University Press, March 1997.
• Case-Based Reasoning Research and Development, Manuela Veloso and Agnar Aamodt, editors. Springer Verlag, October 1995.
• Planning and Learning by Analogical Reasoning, Manuela M. Veloso. Springer Verlag, December 1994.

Zeno Vendler

• Linguistics and Philosophy. Cornell University Press, Ithaca, New York. 1967
• Adjectives and Nominalizations. Mouton, The Hague and Paris. 1968

J. Venn

• On the Diagrammatic and Mechanical Representation of Propositions and Reasonings, Phil. Mag., 1880

S. A. Vere

• Planning in time: windows and durations for activities and goals. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 1983

R. von Mises

• Wahrscheinlichkeit, Statistik und Wahrheit. J. Springer, Berlin. Translated into English as von Mises, 1957
• Probability, Statistics, and Truth. Allen and Unwin, London. 1957

John von Neumann  

• The Computer and the Brain. Yale University Press, New Haven, Connecticut. 1958
• Theory of games and economic behavior. Princeton University Press, Princeton, New Jersey, first edition. 1944
• Theory of Self-Reproducing Automata, edited by Burks, Univ. of Illinois Press, 1966

Detlof von Winterfeldt

• Decision Analysis and Behavioral Research. Cambridge University Press, Cambridge. 1986

Ellen M. Voorhees

• Using WordNet to disambiguate word senses for text retrieval. In Sixteenth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pages 171-80, Pittsburgh, Pennsylvania. Association for Computing Machinery. 1993
• Experiment and Evaluation in Information Retrieval, 2005
• Disambiguating Highly Ambiguous Words, 1998