Vladimir Lifschitz
Vladimir Lifschitz (born 30 May 1947) is the Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin. He received a degree in mathematics from the Steklov Institute of Mathematics in Russia in 1971 and emigrated to the United States in 1976. Lifschitz's research interests are in the areas of computational logic and knowledge representation. He is a Fellow of the Association for the Advancement of Artificial Intelligence, the Editor-in-Chief of the ACM Transactions on Computational Logic, and an Editorial Advisor of the journal Theory and Practice of Logic Programming.
He, together with Michael Gelfond, defined stable model semantics[1] for logic programs, which later became the theoretical foundation for Answer Set Programming,[2] a new declarative programming paradigm.
References
- ^ Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080
- ^ Victor Marek and Miroslaw Truszczynski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999
External links
- Vladimir Lifschitz's homepage at University of Texas at Austin
- Vladimir Lifschitz's publications on DBLP
- Vladimir Lifschitz at the Mathematics Genealogy Project
- Articles with short description
- Short description matches Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NLK identifiers
- Articles with NSK identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Living people
- American computer scientists
- University of Texas at Austin faculty
- Logic programming researchers
- Fellows of the Association for the Advancement of Artificial Intelligence
- 1947 births
- All stub articles
- Computer scientist stubs