| dbo:abstract |
Vladimir A. Lifschitz, russisch Владимир Лифшиц, Transkription Wladimir Lifschitz, (* 30. Mai 1947 in Moskau) ist ein russisch-US-amerikanischer Mathematiker, Logiker und Informatiker. (de) 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 for logic programs, which later became the theoretical foundation for Answer Set Programming, a new declarative programming paradigm. (en) |
| dbo:wikiPageExternalLink |
http://www.cs.utexas.edu/users/vl/ http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lifschitz:Vladimir.html |
| dbo:wikiPageID |
28983982 (xsd:integer) |
| dbo:wikiPageLength |
1911 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1082792342 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Declarative_programming dbc:1947_births dbc:Living_people dbr:Answer_Set_Programming dbc:Logic_programming_researchers dbr:Computational_logic dbr:Steklov_Institute_of_Mathematics dbc:American_computer_scientists dbc:University_of_Texas_at_Austin_faculty dbr:Michael_Gelfond dbr:Knowledge_representation dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:ACM_Transactions_on_Computational_Logic dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence dbr:Stable_model_semantics dbr:The_University_of_Texas_at_Austin |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Mathgenealogy dbt:Compu-scientist-stub |
| dcterms:subject |
dbc:1947_births dbc:Living_people dbc:Logic_programming_researchers dbc:American_computer_scientists dbc:University_of_Texas_at_Austin_faculty dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence |
| gold:hypernym |
dbr:Professor |
| schema:sameAs |
http://viaf.org/viaf/74909234 |
| rdf:type |
owl:Thing dbo:Person yago:WikicatAmericanComputerScientists yago:WikicatLivingPeople yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 |
| rdfs:comment |
Vladimir A. Lifschitz, russisch Владимир Лифшиц, Transkription Wladimir Lifschitz, (* 30. Mai 1947 in Moskau) ist ein russisch-US-amerikanischer Mathematiker, Logiker und Informatiker. (de) 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. (en) |
| rdfs:label |
Vladimir Lifschitz (de) Vladimir Lifschitz (en) |
| owl:sameAs |
freebase:Vladimir Lifschitz yago-res:Vladimir Lifschitz http://viaf.org/viaf/74909234 http://d-nb.info/gnd/172226430 http://d-nb.info/gnd/1023440520 http://d-nb.info/gnd/1157442021 https://dblp.org/pid/l/VLifschitz https://orcid.org/0000-0001-6051-7907 wikidata:Vladimir Lifschitz http://data.bibliotheken.nl/id/thes/p074190393 http://arz.dbpedia.org/resource/فلاديمير_ليفشيتز dbpedia-de:Vladimir Lifschitz https://global.dbpedia.org/id/4xsV8 |
| prov:wasDerivedFrom |
wikipedia-en:Vladimir_Lifschitz?oldid=1082792342&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Vladimir_Lifschitz |
| is dbo:wikiPageWikiLink of |
dbr:Negation_as_failure dbr:Lifshitz dbr:Edsger_W._Dijkstra dbr:Michael_Gelfond dbr:Circumscription_(logic) |
| is foaf:primaryTopic of |
wikipedia-en:Vladimir_Lifschitz |