Vladimír Lifschitz - Vladimir Lifschitz

Vladimír Lifschitz (narozen 30. května 1947) je Gottesman Family Centennial profesor počítačových věd na University of Texas at Austin. Vystudoval matematiku z Steklovův matematický ústav v Rusku v roce 1971 a emigroval do Spojených států v roce 1976. Lifschitzovy výzkumné zájmy jsou v oblastech výpočetní logika a reprezentace znalostí. Je členem Sdružení pro povýšení umělé inteligence, šéfredaktor časopisu Transakce ACM ve výpočetní logice a redakční poradce časopisu Teorie a praxe logického programování.

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

Reference

  1. ^ Michael Gelfond, Vladimir Lifschitz: Sémantika stabilního modelu pro logické programování. ICLP / SLP 1988: 1070-1080
  2. ^ 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