Vladimir Lifschitz, University of Texas at Austin, invited talk at the Workshop on Trends and Applications of Answer Set Programming – TAASP 2018
TU Wien, Campus Favoritenstraße
Seminarraum FAV EG C Gödel
1040 Vienna, Favoritenstraße 9-11
Erdgeschoß, HBEG10, HBEG10
Vladimir Lifschitz is among the most influential scientists in the field of Artificial Intelligence (AI). He started out his work at Stanford with John McCarthy and made significant contributions in the area of Non-monotonic Reasoning (NMR). This can be seen a precursor to his later groundbreaking work connecting NMR with Logic Programming that led to the definition of the stable models semantics, and thus the initial foundations of Answer Set Programming (ASP).
Interview with Vladimir Lifschitz in KI – Künstliche Intelligenz 32(2-3), 213-218. Available at: https://link.springer.com/article/10.1007/s13218-018-0552-x
The TAASP 2018 workshop is supported by: The FWF START grant Y698 for the project Decodyn: Treating Hard Problems with Decomposition and Dynamic Programming The Vienna Center for Logic and Algorithms at TU Wien – VCLA and The Wolfgang Pauli Institute – WPI
- Vladimir Lifschitz
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!