Vladimir Lifschitz
Affiliations: | University of Texas at Austin, Austin, Texas, U.S.A. |
Area:
Computer ScienceGoogle:
"Vladimir Lifschitz"Children
Sign in to add trainee| Esra Erdem | grad student | 2002 | UT Austin |
| Paolo Ferraris | grad student | 2007 | UT Austin |
| Selim T. Erdogan | grad student | 2008 | UT Austin |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| FANDINNO J, LIFSCHITZ V, LÜHNE P, et al. (2020) Verifying Tight Logic Programs with anthem and vampire Theory and Practice of Logic Programming. 20: 735-750 |
| Harrison A, Lifschitz V. (2019) Relating Two Dialects of Answer Set Programming Theory and Practice of Logic Programming. 19: 1006-1020 |
| Lifschitz V, Schaub T, Woltran S. (2018) Interview with Vladimir Lifschitz KüNstliche Intelligenz. 32: 213-218 |
| Harrison A, Lifschitz V, Raju D. (2017) Program Completion in the Input Language of GRINGO Theory and Practice of Logic Programming. 17: 855-871 |
| Lifschitz V. (2017) Achievements in Answer Set Programming Theory and Practice of Logic Programming. 17: 961-973 |
| Harrison A, Lifschitz V, Pearce D, et al. (2017) Infinitary equilibrium logic and strongly equivalent logic programs Artificial Intelligence. 246: 22-33 |
| Lifschitz V. (2016) Answer Sets and the Language of Answer Set Programming Ai Magazine. 37: 7-12 |
| Gebser M, Harrison A, Kaminski R, et al. (2015) Abstract gringo Theory and Practice of Logic Programming. 15: 449-463 |
| Harrison A, Lifschitz V, Truszczynski M. (2015) On equivalence of infinitary formulas under the stable model semantics Theory and Practice of Logic Programming. 15: 18-34 |
| Lifschitz V. (2015) The Dramatic True Story of the Frame Default Journal of Philosophical Logic. 44: 163-176 |