|
Michael Gelfond
Michael Gelfond is a Professor in Computer Sciences at Texas Tech University in the United States. He received a degree in mathematics from the Steklov Institute of Mathematics in Russia in 1974 and emigrated to the United States in 1978. Gelfond'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, and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal ''Theory and Practice of Logic Programming''. He, together with Vladimir Lifschitz, defined stable model semantics for logic programs, which later became the theoretical foundation for Answer Set Programming Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced ...,Victor Marek and Mirosl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Texas Tech University
Texas Tech University (Texas Tech, Tech, or TTU) is a public research university in Lubbock, Texas. Established on , and called Texas Technological College until 1969, it is the main institution of the five-institution Texas Tech University System. The university's student enrollment is the sixth-largest in Texas as of the Fall 2020 semester. As of fall 2020, there were 40,322 students (33,269 undergraduate and 7,053 graduate) enrolled at Texas Tech. With over 25% of its undergraduate student population identifying as Hispanic, Texas Tech University is a designated Hispanic-serving institution (HSI). The university offers degrees in more than 150 courses of study through 13 colleges and hosts 60 research centers and institutes. Texas Tech University has awarded over 200,000 degrees since 1927, including over 40,000 graduate and professional degrees. Texas Tech is classified among "R1: Doctoral Universities – Very high research activity." Research projects in the areas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
