Career
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. He was inducted as a Fellow of the American Association for Artificial Intelligence in 1991, of the European Co-ordinating Committee for Artificial Intelligence in 1999, and the Association for Computing Machinery in 2001.
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.
Kowalski was one of the early developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates. This work led to the demonstration with Phan Minh Dung and Francesca Toni that most logics for default reasoning can be regarded as special cases of assumption-based argumentation.
Read more about this topic: Robert Kowalski
Famous quotes containing the word career:
“What exacerbates the strain in the working class is the absence of money to pay for services they need, economic insecurity, poor daycare, and lack of dignity and boredom in each partner’s job. What exacerbates it in upper-middle class is the instability of paid help and the enormous demands of the career system in which both partners become willing believers. But the tug between traditional and egalitarian models of marriage runs from top to bottom of the class ladder.”
—Arlie Hochschild (20th century)
“From a hasty glance through the various tests I figure it out that I would be classified in Group B, indicating “Low Average Ability,” reserved usually for those just learning to speak the English Language and preparing for a career of holding a spike while another man hits it.”
—Robert Benchley (1889–1945)
“The 19-year-old Diana ... decided to make her career that of wife. Today that can be a very, very iffy line of work.... And what sometimes happens to the women who pursue it is the best argument imaginable for teaching girls that they should always be able to take care of themselves.”
—Anna Quindlen (b. 1952)