http:^^www.cs.utexas.edu^users^vl^
来自「This data set contains WWW-pages collect」· EDU^USERS^VL^ 代码 · 共 130 行
EDU^USERS^VL^
130 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:45:15 GMT
Content-Type: text/html
Content-Length: 3723
Last-Modified: Friday, 20-Dec-96 18:40:47 GMT
<title>Vladimir Lifschitz</title>When feeling burdened or downcast,... the human mind will gladly turn to therealms of Mathematics, where a lucid and precise grasp of objectivities isobtained and insight is gained so pleasantly through appropriate conceptformation. Here the human spirit feels at home. -- Paul Bernays, 1955<p><!WA0><img src="http://www.cs.utexas.edu/users/vl/lifschitz.jpeg"> <h1>Vladimir Lifschitz</h1><i>Gottesman Family Centennial Professor in<!WA1><a href="http://www.cs.utexas.edu/">Computer Sciences</a>at <!WA2><a href="http://wwwhost.cc.utexas.edu/">The University of Texasat Austin</a> <p><!WA3><a href="http://www.aaai.org/People/fellows.html">Fellow</a> of the<!WA4><a href="http://www.aaai.org/home.html">American Association forArtificial Intelligence</a><p>B.S. in Mathematics (1968),<!WA5><a href="http://www.niimm.spb.su">St. Petersburg University</a>,Russia <p>Ph.D. in Mathematics (1971),<!WA6><a href="http://www.pdmi.ras.ru">St. Petersburg Branchof the Steklov Mathematical Institute</a>, Russia <p></i><h2>Areas of Interest</h2><ul><li><!WA7><a href="http://vir.liu.se/brs/">Temporal reasoning</a>and <!WA8><a href="http://cs.utep.edu/actions/researchers.html">reasoning aboutactions</a><li><!WA9><a href="http://al.cs.engr.uky.edu:80/~lpnmr/">Logic programmingand nonmonotonic reasoning</a></ul><h2><!WA10><a href="http://www.cs.utexas.edu/users/vl/teaching/teaching.html">Teaching</a></h2><h2><!WA11><a href="http://www.cs.utexas.edu/users/vl/activities.html">Other Professional Activities</a></h2><h2>Papers on line</h2><ul><li> <!WA12><a href="http://www.cs.utexas.edu/users/vl/surveys.html">Lecture notes and surveys</a><li> <!WA13><a href="http://www.cs.utexas.edu/users/vl/papers.html">Research papers by Lifschitz </a><li> <!WA14><a href="http://www.cs.utexas.edu/users/vl/students.html">Research papers and dissertations byLifschitz's students</a></ul><h2>Recommended Reading: <!WA15><a href="http://www.cs.utexas.edu/users/vl/notes/dijkstra.html">Edsger Dijkstra's convocation speech</a></h2><h2>Good news</h2><ul><li> <!WA16><a href="http://www.cs.utexas.edu/users/vl/notes/albright.html">Madeleine Albright is nominated for Secretary of State</a><li> <!WA17><a href="http://www.cs.utexas.edu/users/vl/notes/germany.html">Germany became a better place to live</a><li> <!WA18><a href="http://www.cs.utexas.edu/users/vl/notes/books.html">Germany regained books taken by the Soviet Army</a><li> <!WA19><a href="http://www.cs.utexas.edu/users/vl/notes/ortega.html">Daniel Ortega lost again</a><li> <!WA20><a href="http://www.cs.utexas.edu/users/vl/notes/recycling.html">There is no need to recycle paper</a><li> <!WA21><a href="http://www.cs.utexas.edu/users/vl/notes/helms.html">Helms-Burton Act</a></ul><h2>Bad news</h2><ul><li> <!WA22><a href="http://www.cs.utexas.edu/users/vl/notes/wang.html">Wang Dan is sentenced to 11 years in prison</a><li> <!WA23><a href="http://www.cs.utexas.edu/users/vl/notes/turkey.html">Torture is used by police in a democratic country</a><li> <!WA24><a href="http://www.cs.utexas.edu/users/vl/notes/bones.html">A law sequesters important archeological evidence</a><li> <!WA25><a href="http://www.cs.utexas.edu/users/vl/notes/korea.html">World's most closed society</a></ul><h2>Notes on the race problem in America</h2><ul><li> <!WA26><a href="http://www.cs.utexas.edu/users/vl/notes/gerrymandering.html">Blacks win re-election in recently redrawn districts</a><li> <!WA27><a href="http://www.cs.utexas.edu/users/vl/notes/ccri.html">California Civil Rights Initiative</a><li> <!WA28><a href="http://www.cs.utexas.edu/users/vl/notes/ratio.html">The same ratio of whites and blacks finish high school</a><li> <!WA29><a href="http://www.cs.utexas.edu/users/vl/notes/hopwood.html">UT will admit students on a race-neutral basis</a></ul><h2>Other notes</h2><ul><li> <!WA30><a href="http://www.cs.utexas.edu/users/vl/notes/ai-usa.html">From Amnesty International</a><li> <!WA31><a href="http://www.cs.utexas.edu/users/vl/notes/science.html">On scientists and science</a><li> <!WA32><a href="http://www.cs.utexas.edu/users/vl/notes/stories.html">My favorite stories</a><li> <!WA33><a href="http://www.cs.utexas.edu/users/vl/notes/silly.html">Three silly jokes</a><li> <!WA34><a href="http://www.cs.utexas.edu/users/vl/quote.html">Quote of the month</a></ul><hr><h2>Contact Information</h2><dl><dt> Office:<dd>Taylor Hall 3.150B <br><dt> Phone Numbers:<dd>(512) 471-9564 (Office) <br>(512) 471-8885 (Fax) <br><dt> Postal address:<dd>Department of Computer Sciences<br>University of Texas at Austin<br>Austin, TX 78712-1188<br>USA<br></dl> <address><!WA35><a href="mailto:vl@cs.utexas.edu">vl@cs.utexas.edu</a></address>
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?