Kowalski was one of the developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates.
Ковальський був одним з перших розробників абдуктивної логіки програмування, де логічні програми доповнені обмеженнями цілісності і з невизначеними, абдуктивними предикатами.