Name of the Scientist: Robert Kowalski
Category of Research: Computer Scientist
Born: 1941
Contributions: He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure. 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.
Your career begins here! At Jagranjosh.com, our vision is to enable the youth to make informed life decisions, and our mission is to create credible and actionable content that answers questions or solves problems for India’s share of Next Billion Users. As India’s leading education and career guidance platform, we connect the dots for students, guiding them through every step of their journey—from excelling in school exams, board exams, and entrance tests to securing competitive jobs and building essential skills for their profession. With our deep expertise in exams and education, along with accurate information, expert insights, and interactive tools, we bridge the gap between education and opportunity, empowering students to confidently achieve their goals.
Get here current GK and GK quiz questions in English and Hindi for India, World, Sports and Competitive exam preparation. Download the Jagran Josh Current Affairs App.
.jpg)
Comments
All Comments (0)
Join the conversation