Robert Kowalski

from Wikipedia, the free encyclopedia
Robert Kowalski 2009 in Thailand

Robert Anthony Kowalski (born May 15, 1941 in Bridgeport (Connecticut) ) is an American computer scientist and logician.

Life

Kowalski, whose parents were of Polish descent, studied from 1958 at the University of Chicago, from 1960 at the University of Bridgeport with a bachelor's degree in mathematics in 1963, Stanford University with a master's degree in 1966. There he was a student of Dana Scott , a fellow student was Jon Barwise . He continued his studies in 1964/65 at the University of Warsaw (with Andrzej Mostowski ), where he also visited relatives and in 1965 married the Polish mathematics student Danusia. On his return to Stanford he was active in anti-Vietnam protests, earned his master’s degree and went to the Inter-American University in San Juan, Puerto Rico as an assistant professor in 1966/67. After a year he went to the University of Edinburgh , where he received his doctorate in 1970 under Bernard Meltzer (Studies in the Completeness and Efficiency of Theorem-Proving by Resolution). His dissertation was on automatic evidence and used the Resolventenmethode by Alan Robinson . With Donald Kuehner he developed SL-Resolution and received an invitation from Alain Colmerauer to Marseille. The discussion led to the establishment of Logical Programming and the development of the Prolog programming language by Colmerauer from 1972 onwards. He became a reader at Imperial College London in early 1975 . In 1982 he became professor and in 1999 he retired.

In 2011 he received the IJCAI Award for Research Excellence .

Fonts

  • Logic for Problem Solving, North Holland, Elsevier, 1979.
  • Computational Logic and Human Thinking: How to be Artificially Intelligent, Cambridge University Press, 2011.
  • with D. Kuehner: Linear resolution with selection function, Artificial Intelligence, Volume 2, 1971, pp. 227-260
  • A Proof Procedure Using Connection Graphs, Journal of the ACM, Volume 22, 1975, pp. 572-596
  • Algorithm = Logic + Control, Communications of the ACM, Vol. 22, 1979, pp. 424-436
  • Logic Programming, Byte, August 1985
  • with C. Hogger: Logic Programming, in: Encyclopedia of Artificial Intelligence, Wiley 1987, pp. 544–558 (2nd edition 1992)
  • The limitations of logic, Proc. ACM Computer Science Conference, 1986, pp. 7-13
  • The early years of logic programming, Communications of the ACM, Volume 31, 1988, pp. 38-43

literature

  • Antonis C. Kakas, Fariba Sadri (eds.): Computational logic: logic programming and beyond: essays in honor of Robert A. Kowalski, 2 volumes, Springer 2002

Web links

Individual evidence

  1. ↑ A first version appeared as DCL Memo 75, Department of Artificial Intelligence, University of Edinburgh, 1974
personal data
SURNAME Kowalski, Robert
ALTERNATIVE NAMES Kowalski, Robert Anthony
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH May 15, 1941
PLACE OF BIRTH Bridgeport (Connecticut)