Robert Anthony Kowalski (Bob Kowalski, born May 15, 1941 in Bridgeport, Connecticut, USA) is an American logician and computer scientist, who has spent much of his career in the UK. May 15 is the 135th day of the year in the Gregorian Calendar (136th in leap years). ... This article is about the year. ... Nickname: Location in Connecticut Coordinates: NECTA Bridgeport-Stamford Region Greater Bridgeport Incorporated (town) 1821 Incorporated (city) 1836 Government type Mayor-council Mayor John M. Fabrizi Area    - City 19. ... A logician is a philosopher, mathematician, or other whose topic of scholarly study is logic. ...

He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970). He was a Research Fellow at the University of Edinburgh (1970–75) and has been at Imperial College London since 1975, attaining a chair in Computational Logic in 1982 and becoming Emeritus Professor in 1999. The University of Chicago is a private university located principally in the Hyde Park neighborhood of Chicago. ... University of Bridgeport is a university in Bridgeport, Connecticut. ... Euclid, Greek mathematician, 3rd century BC, known today as the father of geometry; shown here in a detail of The School of Athens by Raphael. ... The Leland Stanford Junior University, commonly known as Stanford University (or simply Stanford), is a private university located approximately 37 miles (60 kilometers) southeast of San Francisco and approximately 20 miles northwest of San José in an unincorporated part of Santa Clara County. ... Warsaw University (Polish Uniwersytet Warszawski) - the biggest and one of the most prestigious universities in Poland. ... The University of Edinburgh, founded in 1583, is a renowned centre for teaching and research in Edinburgh, Scotland. ... Computer science, or computing science, is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. ... The University of Edinburgh, founded in 1583, is a renowned centre for teaching and research in Edinburgh, Scotland. ... Imperial College London is a prestigious (ranked 4th in the world for Engineering & Technology) British academic institution focusing on science, engineering and medicine, complemented by a business school. ... Symbolic computation relates to the use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols. ...

He began his research in the field of automated theorem-proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure. However, he is best known for his contributions to the development of logic programming, starting with the procedural interpretation of Horn clauses. He also developed the minimal model and the fixpoint semantics of Horn clauses with Maarten van Emden. With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. With Fariba Sadri, he developed an agent model in which beliefs are represented by logic programs and goals are represented by integrity constraints. He has also worked on the application of argumentation applied to default reasoning with Phan Minh Dung and Francesca Toni. Logic programming (sometimes called logical programming) is programming that makes use of pattern-directed invocation of procedures from assertions and goals. ... In logic, and in particular in propositional calculus, a Horn clause is a proposition of the general type (p and q and . ... The event calculus is a logic language for representing and reasoning about actions and their effects. ... // Balancing scales are symbolic of how law mediates peoples interests For other senses of this word, see Law (disambiguation). ... Argumentation theory, or argumentation, is the science of effective civil debate or dialogue and the effective propagation thereof, using rules of inference and logic, as applied in the real world setting. ...

See also

• Logic programming
• Prolog

Logic programming (sometimes called logical programming) is programming that makes use of pattern-directed invocation of procedures from assertions and goals. ... Prolog is a logic programming language. ...

External links

• Robert Kowalski's home page
• Biography (PDF)
• Biographical Essay

[Category:1941 births|Kowalski, Robert]] To meet Wikipedias quality standards, this article or section may require cleanup. ...