Michaela Gelfonda

Michael Gelfond jest profesorem informatyki na Texas Tech University w Stanach Zjednoczonych . W 1974 r . uzyskał dyplom z matematyki w Instytucie Matematyki im. Stekłowa w Rosji, aw 1978 r. wyemigrował do Stanów Zjednoczonych. Zainteresowania badawcze Gelfonda dotyczą logiki obliczeniowej i reprezentacji wiedzy. Jest członkiem Stowarzyszenia na rzecz Postępu Sztucznej Inteligencji oraz redaktorem regionalnym (w zakresie reprezentacji wiedzy i rozumowania niemonotonicznego) czasopisma Theory and Practice of Logic Programming .

Wraz z Vladimirem Lifschitzem zdefiniował semantykę stabilnego modelu dla programów logicznych, która później stała się teoretyczną podstawą programowania zestawów odpowiedzi , nowego paradygmatu programowania deklaratywnego.

Linki zewnętrzne


Pobrano z „ https://en.wikipedia.org/w/index.php?title=Michael_Gelfond&oldid=1024432340 ”