default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVladimir Lifschitz
Person information
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j61]Vladimir Lifschitz
:
On Program Completion, with an Application to the Sum and Product Puzzle. Theory Pract. Log. Program. 23(4): 664-677 (2023)- [j60]Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. 23(4): 933-947 (2023) - [j59]Jorge Fandinno, Vladimir Lifschitz:
Positive Dependency Graphs Revisited. Theory Pract. Log. Program. 23(5): 1128-1137 (2023) - [c88]Jorge Fandinno, Vladimir Lifschitz:
On Heuer's Procedure for Verifying Strong Equivalence. JELIA 2023: 253-261 - [c87]Jorge Fandinno, Vladimir Lifschitz:
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR 2023: 240-251 - [i25]Vladimir Lifschitz:
On Program Completion, with an Application to the Sum and Product Puzzle. CoRR abs/2305.15360 (2023) - [i24]Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. CoRR abs/2305.17485 (2023) - [i23]Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
Safe Formulas in the General Theory of Stable Models. CoRR abs/2307.09166 (2023) - [i22]Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner:
Causal Laws and Multi-Valued Fluents. CoRR abs/2307.10227 (2023) - 2022
- [j58]Vladimir Lifschitz:
Strong Equivalence of Logic Programs with Counting. Theory Pract. Log. Program. 22(4): 573-588 (2022) - [c86]Vladimir Lifschitz:
Translating Definitions into the Language of Logic Programming: A Case Study. ICLP Workshops 2022 - [p3]Vladimir Lifschitz:
Calculational Proofs. Edsger Wybe Dijkstra 2022: 231-246 - [i21]Jorge Fandinno, Vladimir Lifschitz:
Verification of Locally Tight Programs. CoRR abs/2204.10789 (2022) - [i20]Vladimir Lifschitz:
Strong Equivalence of Logic Programs with Counting. CoRR abs/2205.07783 (2022) - [i19]Jorge Fandinno, Vladimir Lifschitz:
Positive Dependency Graphs Revisited. CoRR abs/2207.08579 (2022) - 2021
- [j57]Vladimir Lifschitz:
Here and There with Arithmetic. Theory Pract. Log. Program. 21(6): 735-749 (2021) - [c85]Vladimir Lifschitz:
Transforming Gringo Rules into Formulas in a Natural Way. JELIA 2021: 421-434 - [i18]Vladimir Lifschitz:
Here and There with Arithmetic. CoRR abs/2108.03187 (2021) - 2020
- [j56]Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20(5): 735-750 (2020) - [c84]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III 2020: 190-209 - [i17]Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and Vampire. CoRR abs/2008.02025 (2020)
2010 – 2019
- 2019
- [b1]Vladimir Lifschitz:
Answer Set Programming. Springer 2019, ISBN 978-3-030-24657-0, pp. 1-147 - [j55]Amelia Harrison, Vladimir Lifschitz:
Relating Two Dialects of Answer Set Programming. Theory Pract. Log. Program. 19(5-6): 1006-1020 (2019) - [c83]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR 2019: 270-283 - [i16]Amelia Harrison, Vladimir Lifschitz:
Relating Two Dialects of Answer Set Programming. CoRR abs/1907.12139 (2019) - 2018
- [j54]Vladimir Lifschitz, Torsten Schaub, Stefan Woltran:
Interview with Vladimir Lifschitz. Künstliche Intell. 32(2-3): 213-218 (2018) - [i15]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR abs/1810.00453 (2018) - 2017
- [j53]Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246: 22-33 (2017) - [j52]A. Burdman Feferman, Vladimir Lifschitz:
In Memoriam: Grigori E. Mints, 1939-2014. FLAP 4(4) (2017) - [j51]Piyush Khandelwal, Shiqi Zhang, Jivko Sinapov, Matteo Leonetti, Jesse Thomason, Fangkai Yang, Ilaria Gori, Maxwell Svetlik, Priyanka Khante, Vladimir Lifschitz, J. K. Aggarwal, Raymond J. Mooney, Peter Stone:
BWIBots: A platform for bridging the gap between AI and human-robot interaction research. Int. J. Robotics Res. 36(5-7): 635-659 (2017) - [j50]Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju:
Program completion in the input language of GRINGO. Theory Pract. Log. Program. 17(5-6): 855-871 (2017) - [j49]Vladimir Lifschitz:
Achievements in answer set programming. Theory Pract. Log. Program. 17(5-6): 961-973 (2017) - [i14]Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju:
Program Completionin the Input Language of GRINGO. CoRR abs/1707.05848 (2017) - 2016
- [j48]Vladimir Lifschitz:
Answer Sets and the Language of Answer Set Programming. AI Mag. 37(3): 7-12 (2016) - [j47]Amelia Harrison, Vladimir Lifschitz:
Stable models for infinitary formulas with extensional atoms. Theory Pract. Log. Program. 16(5-6): 771-786 (2016) - [j46]Amelia Harrison, Vladimir Lifschitz, Julian Michael:
Proving infinitary formulas. Theory Pract. Log. Program. 16(5-6): 787-799 (2016) - [c82]Vladimir Lifschitz:
Intelligent Instantiation and Supersafe Rules. ICLP (Technical Communications) 2016: 7:1-7:14 - [i13]Amelia Harrison, Vladimir Lifschitz:
Stable Models for Infinitary Formulas with Extensional Atoms. CoRR abs/1608.01603 (2016) - [i12]Amelia Harrison, Vladimir Lifschitz, Julian Michael:
Proving Infinitary Formulas. CoRR abs/1608.01626 (2016) - [i11]Vladimir Lifschitz:
Achievements in Answer Set Programming (Preliminary Report). CoRR abs/1608.08144 (2016) - 2015
- [j45]Solomon Feferman, Vladimir Lifschitz:
In Memoriam: Grigori E. Mints 1939-2014. Bull. Symb. Log. 21(1): 31-33 (2015) - [j44]Vladimir Lifschitz:
The Dramatic True Story of the Frame Default. J. Philos. Log. 44(2): 163-176 (2015) - [j43]Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski:
On equivalence of infinitary formulas under the stable model semantics. Theory Pract. Log. Program. 15(1): 18-34 (2015) - [j42]Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub:
Abstract gringo. Theory Pract. Log. Program. 15(4-5): 449-463 (2015) - [c81]Alexander Bochman, Vladimir Lifschitz:
Pearl's Causality in a Logical Setting. AAAI 2015: 1446-1452 - [c80]Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael:
The Winograd Schema Challenge and Reasoning about Correlation. AAAI Spring Symposia 2015 - [c79]Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR 2015: 398-410 - [i10]Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub:
Abstract Gringo. CoRR abs/1507.06576 (2015) - 2014
- [c78]Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, Peter Stone:
Planning in Action Language BC while Learning Action Costs for Mobile Robots. ICAPS 2014 - [c77]Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang:
The Semantics of Gringo and Infinitary Propositional Formulas. KR 2014 - [i9]Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski:
On Equivalence of Infinitary Formulas under the Stable Model Semantics. CoRR abs/1403.6689 (2014) - 2013
- [j41]Vladimir Lifschitz, Fangkai Yang:
Functional completion. J. Appl. Non Class. Logics 23(1-2): 121-130 (2013) - [j40]Vladimir Lifschitz, Fangkai Yang:
Lloyd-Topor completion and general stable models. Theory Pract. Log. Program. 13(4-5): 503-515 (2013) - [c76]Joohyung Lee, Vladimir Lifschitz, Fangkai Yang:
Action Language BC: Preliminary Report. IJCAI 2013: 983-989 - [c75]Yuliya Lierler, Vladimir Lifschitz:
Logic Programs vs. First-Order Formulas in Textual Inference. IWCS 2013: 340-346 - [c74]Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski:
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. LPNMR 2013: 387-394 - [i8]Vladimir Lifschitz, Fangkai Yang:
Lloyd-Topor Completion and General Stable Models. CoRR abs/1301.1394 (2013) - [i7]Amelia Harrison, Vladimir Lifschitz, Fangkai Yang:
On the Semantics of Gringo. CoRR abs/1312.6149 (2013) - 2012
- [j39]Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12(3): 383-412 (2012) - [j38]Vladimir Lifschitz, Karl Pichotta, Fangkai Yang:
Relational theories with null values and non-herbrand stable models. Theory Pract. Log. Program. 12(4-5): 565-582 (2012) - [c73]Vladimir Lifschitz:
Two-Valued Logic Programs. ICLP (Technical Communications) 2012: 259-266 - [c72]Vladimir Lifschitz:
Logic Programs with Intensional Functions. KR 2012 - [i6]Vladimir Lifschitz, Karl Pichotta, Fangkai Yang:
Relational Theories with Null Values and Non-Herbrand Stable Models. CoRR abs/1210.4130 (2012) - 2011
- [j37]Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz:
Stable models and circumscription. Artif. Intell. 175(1): 236-263 (2011) - [c71]Paolo Ferraris, Vladimir Lifschitz:
On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 64-73 - [c70]Alexander Bochman, Vladimir Lifschitz:
Yet Another Characterization of Strong Equivalence. ICLP (Technical Communications) 2011: 11-15 - [c69]Yuliya Lierler, Vladimir Lifschitz:
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR 2011: 205-210 - [i5]Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing First-Order Causal Theories by Logic Programs. CoRR abs/1103.4558 (2011) - 2010
- [c68]Vladimir Lifschitz:
Thirteen Definitions of a Stable Model. Fields of Logic and Computation 2010: 488-503 - [c67]Vladimir Lifschitz:
Datalog Programs and Their Stable Models. Datalog 2010: 78-87 - [c66]Vladimir Lifschitz, Fangkai Yang:
Translating First-Order Causal Theories into Answer Set Programming. JELIA 2010: 247-259
2000 – 2009
- 2009
- [c65]Yuliya Lierler, Vladimir Lifschitz:
One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493 - [c64]Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
Symmetric Splitting in the General Theory of Stable Models. IJCAI 2009: 797-803 - 2008
- [c63]Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI 2008: 472-479 - [c62]Vladimir Lifschitz:
What Is Answer Set Programming?. AAAI 2008: 1594-1597 - [c61]Vladimir Lifschitz:
Twelve Definitions of a Stable Model. ICLP 2008: 37-51 - [c60]Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP 2008: 672-676 - [e4]Frank van Harmelen, Vladimir Lifschitz, Bruce W. Porter:
Handbook of Knowledge Representation. Foundations of Artificial Intelligence 3, Elsevier 2008, ISBN 978-0-444-52211-5 [contents] - [r1]Vladimir Lifschitz, Leora Morgenstern, David A. Plaisted:
Knowledge Representation and Classical Logic. Handbook of Knowledge Representation 2008: 3-88 - 2007
- [c59]Vladimir Lifschitz, Wanwan Ren:
The Semantics of Variables in Action Descriptions. AAAI 2007: 1025-1030 - [c58]Vladimir Lifschitz, Wanwan Ren:
Variables in Action Descriptions: Merging C+ with ADL. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 83-88 - [c57]Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz:
A New Perspective on Stable Models. IJCAI 2007: 372-379 - [c56]Vladimir Lifschitz, David Pearce, Agustín Valverde:
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200 - 2006
- [j36]Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz:
A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006) - [j35]Vladimir Lifschitz, Alexander A. Razborov:
Why are there so many loop formulas? ACM Trans. Comput. Log. 7(2): 261-268 (2006) - [j34]Esra Erdem, Vladimir Lifschitz, Donald Ringe:
Temporal phylogenetic networks and logic programming. Theory Pract. Log. Program. 6(5): 539-558 (2006) - [c55]Vladimir Lifschitz, Wanwan Ren:
A Modular Action Description Language. AAAI 2006: 853-859 - [c54]Joohyung Lee, Vladimir Lifschitz:
A Knowledge Module: Buying and Selling. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 28-32 - [c53]Vladimir Lifschitz, Wanwan Ren:
Towards a Modular Action Description Language. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 33-43 - [c52]Vladimir Lifschitz:
Actions, Causation and Logic Programming. ILP 2006: 1 - [c51]Selim T. Erdogan, Vladimir Lifschitz:
Actions as Special Cases. KR 2006: 377-388 - 2005
- [j33]Paolo Ferraris, Vladimir Lifschitz:
Weight constraints as nested expressions. Theory Pract. Log. Program. 5(1-2): 45-74 (2005) - [c50]Vladimir Lifschitz:
What is a Logic Program. Answer Set Programming 2005 - [c49]Paolo Ferraris, Vladimir Lifschitz:
Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) 2005: 615-664 - [i4]Esra Erdem, Vladimir Lifschitz, Donald Ringe:
Temporal Phylogenetic Networks and Logic Programming. CoRR abs/cs/0508129 (2005) - 2004
- [j32]Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner:
Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004) - [j31]Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner:
Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. 153(1-2): 105-140 (2004) - [c48]Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz:
Almost Definite Causal Theories. LPNMR 2004: 74-86 - [e3]Bart Demoen, Vladimir Lifschitz:
Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3132, Springer 2004, ISBN 3-540-22671-0 [contents] - [e2]Vladimir Lifschitz, Ilkka Niemelä:
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Lecture Notes in Computer Science 2923, Springer 2004, ISBN 3-540-20721-X [contents] - 2003
- [j30]Esra Erdem, Vladimir Lifschitz:
Tight logic programs. Theory Pract. Log. Program. 3(4-5): 499-518 (2003) - [c47]Joohyung Lee, Vladimir Lifschitz:
Loop Formulas for Disjunctive Logic Programs. ICLP 2003: 451-465 - [c46]Selim T. Erdogan, Vladimir Lifschitz:
Definitions in Answer Set Programming: (Extended Abstract). ICLP 2003: 483-484 - [c45]Joohyung Lee, Vladimir Lifschitz:
Describing Additive Fluents in Action Language C+. IJCAI 2003: 1079-1084 - [c44]Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe:
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. PADL 2003: 160-176 - [i3]Esra Erdem, Vladimir Lifschitz:
Tight Logic Programs. CoRR cs.AI/0302038 (2003) - [i2]Paolo Ferraris, Vladimir Lifschitz:
Weight Constraints as Nested Expressions. CoRR cs.AI/0312045 (2003) - 2002
- [j29]Vladimir Lifschitz:
Answer set programming and plan generation. Artif. Intell. 138(1-2): 39-54 (2002) - [c43]Vladimir Lifschitz:
Why Sam doesn't know calculus. NMR 2002: 5 - 2001
- [j28]Vladimir Lifschitz:
On calculational proofs. Ann. Pure Appl. Log. 113(1-3): 207-224 (2001) - [j27]Vladimir Lifschitz, David Pearce, Agustín Valverde:
Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001) - [c42]Joohyung Lee, Vladimir Lifschitz:
Additive Fluents. Answer Set Programming 2001 - [c41]Esra Erdem, Vladimir Lifschitz:
Fages' Theorem for Programs with Nested Expressions. ICLP 2001: 242-254 - 2000
- [j26]Vladimir Lifschitz:
Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 265-268 (2000) - [c40]Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong:
Wire Routing and Satisfiability Planning. Computational Logic 2000: 822-836 - [c39]Vladimir Lifschitz:
Missionaries and Cannibals in the Causal Calculator. KR 2000: 85-96 - [i1]Yuliya Babovich, Esra Erdem, Vladimir Lifschitz:
Fages' Theorem and Answer Set Programming. CoRR cs.AI/0003042 (2000)
1990 – 1999
- 1999
- [j25]Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner:
Nested Expressions in Logic Programs. Ann. Math. Artif. Intell. 25(3-4): 369-389 (1999) - [c38]Vladimir Lifschitz:
Answer Set Planning. ICLP 1999: 23-37 - [c37]Vladimir Lifschitz, Hudson Turner:
Representing Transition Systems by Logic Programs. LPNMR 1999: 92-106 - [c36]Esra Erdem, Vladimir Lifschitz:
Transformations of Logic Programs Related to Causality and Planning. LPNMR 1999: 107-116 - [c35]Vladimir Lifschitz:
Answer Set Planning (Abstract). LPNMR 1999: 373-374 - [p2]Vladimir Lifschitz:
Action Languages, Answer Sets, and Planning. The Logic Programming Paradigm 1999: 357-373 - 1998
- [j24]Michael Gelfond, Vladimir Lifschitz:
Action Languages. Electron. Trans. Artif. Intell. 2: 193-210 (1998) - [c34]Enrico Giunchiglia, Vladimir Lifschitz:
An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI 1998: 623-630 - [c33]Vladimir Lifschitz:
Situation Calculus and Causal Logic. KR 1998: 536-546 - 1997
- [j23]Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz:
Representing Action: Indeterminacy and Ramifications. Artif. Intell. 95(2): 409-438 (1997) - [j22]Vladimir Lifschitz:
On the Logic of Causal Explanation (Research Note). Artif. Intell. 96(2): 451-465 (1997) - [j21]Moisés Goldszmidt, Vladimir Lifschitz:
The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report).. AI Mag. 18(3): 89 (1997) - [j20]Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz:
Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. Ann. Math. Artif. Intell. 21(2-4): 129 (1997) - [j19]