Vladimir Lifschitz

ORCID

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 46

Top Venues

CoRR

Theory Pract. Log. Program.

JELIA

LPNMR

Publications

Vladimir Lifschitz
On Program Completion, with an Application to the Sum and Product Puzzle. CoRR (2023)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe Formulas in the General Theory of Stable Models. CoRR (2023)
Jorge Fandinno, Vladimir Lifschitz
Positive Dependency Graphs Revisited. Theory Pract. Log. Program. 23 (5) (2023)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. CoRR (2023)
Jorge Fandinno, Vladimir Lifschitz
On Heuer's Procedure for Verifying Strong Equivalence. JELIA (2023)
Jorge Fandinno, Vladimir Lifschitz
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR (2023)
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
Causal Laws and Multi-Valued Fluents. CoRR (2023)
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) (2023)
Vladimir Lifschitz
On Program Completion, with an Application to the Sum and Product Puzzle. Theory Pract. Log. Program. 23 (4) (2023)
Jorge Fandinno, Vladimir Lifschitz
Positive Dependency Graphs Revisited. CoRR (2022)
Vladimir Lifschitz
Strong Equivalence of Logic Programs with Counting. CoRR (2022)
Jorge Fandinno, Vladimir Lifschitz
Verification of Locally Tight Programs. CoRR (2022)
Vladimir Lifschitz
Strong Equivalence of Logic Programs with Counting. Theory Pract. Log. Program. 22 (4) (2022)
Vladimir Lifschitz
Translating Definitions into the Language of Logic Programming: A Case Study. ICLP Workshops (2022)
Vladimir Lifschitz
Transforming Gringo Rules into Formulas in a Natural Way. JELIA (2021)
Vladimir Lifschitz
Here and There with Arithmetic. CoRR (2021)
Vladimir Lifschitz
Here and There with Arithmetic. Theory Pract. Log. Program. 21 (6) (2021)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and Vampire. CoRR (2020)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III (2020)
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20 (5) (2020)
Amelia Harrison, Vladimir Lifschitz
Relating Two Dialects of Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR (2019)
Amelia Harrison, Vladimir Lifschitz
Relating Two Dialects of Answer Set Programming. CoRR (2019)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR (2018)
Vladimir Lifschitz, Torsten Schaub, Stefan Woltran
Interview with Vladimir Lifschitz. Künstliche Intell. 32 (2-3) (2018)
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
Program Completionin the Input Language of GRINGO. CoRR (2017)
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) (2017)
A. Burdman Feferman, Vladimir Lifschitz
In Memoriam: Grigori E. Mints, 1939-2014. FLAP 4 (4) (2017)
Vladimir Lifschitz
Achievements in answer set programming. Theory Pract. Log. Program. 17 (5-6) (2017)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246 (2017)
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
Program completion in the input language of GRINGO. Theory Pract. Log. Program. 17 (5-6) (2017)
Amelia Harrison, Vladimir Lifschitz, Julian Michael
Proving infinitary formulas. Theory Pract. Log. Program. 16 (5-6) (2016)
Vladimir Lifschitz
Intelligent Instantiation and Supersafe Rules. ICLP (Technical Communications) (2016)
Vladimir Lifschitz
Answer Sets and the Language of Answer Set Programming. AI Mag. 37 (3) (2016)
Amelia Harrison, Vladimir Lifschitz
Stable models for infinitary formulas with extensional atoms. Theory Pract. Log. Program. 16 (5-6) (2016)
Amelia Harrison, Vladimir Lifschitz
Stable Models for Infinitary Formulas with Extensional Atoms. CoRR (2016)
Amelia Harrison, Vladimir Lifschitz, Julian Michael
Proving Infinitary Formulas. CoRR (2016)
Vladimir Lifschitz
Achievements in Answer Set Programming (Preliminary Report). CoRR (2016)
Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael
The Winograd Schema Challenge and Reasoning about Correlation. AAAI Spring Symposia (2015)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR (2015)
Vladimir Lifschitz
The Dramatic True Story of the Frame Default. J. Philos. Log. 44 (2) (2015)
Alexander Bochman, Vladimir Lifschitz
Pearl's Causality in a Logical Setting. AAAI (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract Gringo. CoRR (2015)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On equivalence of infinitary formulas under the stable model semantics. Theory Pract. Log. Program. 15 (1) (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract gringo. Theory Pract. Log. Program. 15 (4-5) (2015)
Solomon Feferman, Vladimir Lifschitz
In Memoriam: Grigori E. Mints 1939-2014. Bull. Symb. Log. 21 (1) (2015)
Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, Peter Stone
Planning in Action Language BC while Learning Action Costs for Mobile Robots. ICAPS (2014)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On Equivalence of Infinitary Formulas under the Stable Model Semantics. CoRR (2014)
Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang
The Semantics of Gringo and Infinitary Propositional Formulas. KR (2014)
Yuliya Lierler, Vladimir Lifschitz
Logic Programs vs. First-Order Formulas in Textual Inference. IWCS (2013)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. LPNMR (2013)
Vladimir Lifschitz, Fangkai Yang
Functional completion. J. Appl. Non Class. Logics 23 (1-2) (2013)
Vladimir Lifschitz, Fangkai Yang
Lloyd-Topor Completion and General Stable Models CoRR (2013)
Vladimir Lifschitz, Fangkai Yang
Lloyd-Topor completion and general stable models. Theory Pract. Log. Program. 13 (4-5) (2013)
Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
On the Semantics of Gringo. CoRR (2013)
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
Action Language BC: Preliminary Report. IJCAI (2013)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12 (3) (2012)
Vladimir Lifschitz
Logic Programs with Intensional Functions. KR (2012)
Vladimir Lifschitz
Two-Valued Logic Programs. ICLP (Technical Communications) (2012)
Vladimir Lifschitz, Karl Pichotta, Fangkai Yang
Relational theories with null values and non-herbrand stable models. Theory Pract. Log. Program. 12 (4-5) (2012)
Vladimir Lifschitz, Karl Pichotta, Fangkai Yang
Relational Theories with Null Values and Non-Herbrand Stable Models CoRR (2012)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing First-Order Causal Theories by Logic Programs CoRR (2011)
Paolo Ferraris, Vladimir Lifschitz
On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Alexander Bochman, Vladimir Lifschitz
Yet Another Characterization of Strong Equivalence. ICLP (Technical Communications) (2011)
Yuliya Lierler, Vladimir Lifschitz
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR (2011)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
Stable models and circumscription. Artif. Intell. 175 (1) (2011)
Vladimir Lifschitz, Fangkai Yang
Translating First-Order Causal Theories into Answer Set Programming. JELIA (2010)
Vladimir Lifschitz
Thirteen Definitions of a Stable Model. Fields of Logic and Computation (2010)
Vladimir Lifschitz
Datalog Programs and Their Stable Models. Datalog (2010)
Yuliya Lierler, Vladimir Lifschitz
One More Decidable Class of Finitely Ground Programs. ICLP (2009)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Symmetric Splitting in the General Theory of Stable Models. IJCAI (2009)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP (2008)
Vladimir Lifschitz
What Is Answer Set Programming?. AAAI (2008)
Vladimir Lifschitz
Twelve Definitions of a Stable Model. ICLP (2008)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI (2008)
Vladimir Lifschitz, Wanwan Ren
Variables in Action Descriptions: Merging C+ with ADL. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A New Perspective on Stable Models. IJCAI (2007)
Vladimir Lifschitz, Wanwan Ren
The Semantics of Variables in Action Descriptions. AAAI (2007)
Vladimir Lifschitz, David Pearce, Agustín Valverde
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR (2007)
Esra Erdem, Vladimir Lifschitz, Donald Ringe
Temporal phylogenetic networks and logic programming. Theory Pract. Log. Program. 6 (5) (2006)
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)
Vladimir Lifschitz, Alexander A. Razborov
Why are there so many loop formulas? ACM Trans. Comput. Log. 7 (2) (2006)
Vladimir Lifschitz, Wanwan Ren
A Modular Action Description Language. AAAI (2006)
Vladimir Lifschitz
Actions, Causation and Logic Programming. ILP (2006)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47 (1-2) (2006)
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)
Selim T. Erdogan, Vladimir Lifschitz
Actions as Special Cases. KR (2006)
Vladimir Lifschitz
What is a Logic Program. Answer Set Programming (2005)
Paolo Ferraris, Vladimir Lifschitz
Weight constraints as nested expressions. Theory Pract. Log. Program. 5 (1-2) (2005)
Esra Erdem, Vladimir Lifschitz, Donald Ringe
Temporal Phylogenetic Networks and Logic Programming CoRR (2005)
Paolo Ferraris, Vladimir Lifschitz
Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) (2005)
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
Almost Definite Causal Theories. LPNMR (2004)
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) (2004)
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
Nonmonotonic causal theories. Artif. Intell. 153 (1-2) (2004)
Paolo Ferraris, Vladimir Lifschitz
Weight Constraints as Nested Expressions CoRR (2003)
Esra Erdem, Vladimir Lifschitz
Tight Logic Programs CoRR (2003)
Esra Erdem, Vladimir Lifschitz
Tight logic programs. Theory Pract. Log. Program. 3 (4-5) (2003)
Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. PADL (2003)
Joohyung Lee, Vladimir Lifschitz
Loop Formulas for Disjunctive Logic Programs. ICLP (2003)
Selim T. Erdogan, Vladimir Lifschitz
Definitions in Answer Set Programming: (Extended Abstract). ICLP (2003)

Vladimir Lifschitz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vladimir Lifschitz