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
- Domovská stránka Michaela Gelfonda na Texas Tech University
- Publikace Michaela Gelfonda o DBLP
- Michael Gelfond na Matematický genealogický projekt
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. |