Michael Gelfond - Michael Gelfond - Wikipedia

Michael Gelfond je profesorem počítačových věd na Texas Tech University v Spojené státy. Vystudoval matematiku z Steklovův matematický ústav v Rusku v roce 1974 a emigroval do Spojených států v roce 1978. Gelfondovy výzkumné zájmy jsou v oblastech výpočetní logiky a reprezentace znalostí. Je členem Sdružení pro povýšení umělé inteligence,^[1] a editor oblasti (v Reprezentaci znalostí a Nonmonotonic Reasoning) deníku Teorie a praxe logického programování.

Spolu s Vladimír Lifschitz, definovaný stabilní sémantika modelu^[2] pro logické programy, které se později staly teoretickým základem pro Programování sady odpovědí,^[3] nové paradigma deklarativního programování.

Reference

^ Seznam členů AAAI na webových stránkách AAAI
^ Michael Gelfond, Vladimir Lifschitz: Sémantika stabilního modelu pro logické programování. ICLP / SLP 1988: 1070-1080
^ Victor Marek a Miroslaw Truszczynski. Stabilní modely a alternativní paradigma logického programování. In The Logic ProgrammingParadigm: a 25-Year Perspective, strany 375-398. Springer Verlag, 1999

externí odkazy

P ≟ NP

Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Seznam členů AAAI na webových stránkách AAAI

[2] Michael Gelfond, Vladimir Lifschitz: Sémantika stabilního modelu pro logické programování. ICLP / SLP 1988: 1070-1080

[3] Victor Marek a Miroslaw Truszczynski. Stabilní modely a alternativní paradigma logického programování. In The Logic ProgrammingParadigm: a 25-Year Perspective, strany 375-398. Springer Verlag, 1999

[1]

[2]

[3]