These investigations led to a form of Logic Programming called Answer Set Programming a computational knowledge representation formalism, studied both in Europe and in the United States.
Badania te doprowadziły do wprowadzenia formy programowania logicznego nazywanej Answer Set Programming, intensywnie badanej w Europie i Stanach Zjednoczonych.