Vladimir Lifschitz

193 papers A* 33B 29C 1Journal 93Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Community-driven vision for a new Knowledge Resource for AI. CoRR Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025	J	`jnl`	A community-driven vision for a new knowledge resource for AI. AI Mag. Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025	J	`jnl`	ANTHEM 2.0: Automated Reasoning for Answer Set Programming. Theory Pract. Log. Program. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmann, Vladimir Lifschitz
2025	—	`conf`	An Experiment with Anthem: Semantic Equivalence of Tiling Programs. JELIA (1) Vladimir Lifschitz
2025	J	`jnl`	Anthem 2.0: Automated Reasoning for Answer Set Programming. CoRR Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
2025	J	`jnl`	Deductive Systems for Logic Programs with Counting. CoRR Jorge Fandinno, Vladimir Lifschitz
2025	J	`jnl`	Deductive Systems for Logic Programs with Counting. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz
2025	—	`conf`	Generalizing the Syntax of Terms in Mini-gringo. JELIA (1) Vladimir Lifschitz
2024	B	`conf`	Deductive Systems for Logic Programs with Counting: Preliminary Report. LPNMR Jorge Fandinno, Vladimir Lifschitz
2024	J	`jnl`	Locally Tight Programs. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz, Nathan Temple
2023	J	`jnl`	Causal Laws and Multi-Valued Fluents. CoRR Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2023	J	`jnl`	External Behavior of a Logic Program and Verification of Refactoring. CoRR Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023	J	`jnl`	External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
2023	A*	`conf`	Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR Jorge Fandinno, Vladimir Lifschitz
2023	B	`conf`	On Heuer's Procedure for Verifying Strong Equivalence. JELIA Jorge Fandinno, Vladimir Lifschitz
2023	J	`jnl`	On Program Completion, with an Application to the Sum and Product Puzzle. CoRR Vladimir Lifschitz
2023	J	`jnl`	On Program Completion, with an Application to the Sum and Product Puzzle. Theory Pract. Log. Program. Vladimir Lifschitz
2023	J	`jnl`	Positive Dependency Graphs Revisited. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz
2023	J	`jnl`	Safe Formulas in the General Theory of Stable Models. CoRR Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2022	—	`ch.`	Calculational Proofs. Edsger Wybe Dijkstra Vladimir Lifschitz
2022	J	`jnl`	Positive Dependency Graphs Revisited. CoRR Jorge Fandinno, Vladimir Lifschitz
2022	J	`jnl`	Strong Equivalence of Logic Programs with Counting. CoRR Vladimir Lifschitz
2022	J	`jnl`	Strong Equivalence of Logic Programs with Counting. Theory Pract. Log. Program. Vladimir Lifschitz
2022	—	`conf`	Translating Definitions into the Language of Logic Programming: A Case Study. ICLP Workshops Vladimir Lifschitz
2022	J	`jnl`	Verification of Locally Tight Programs. CoRR Jorge Fandinno, Vladimir Lifschitz
2021	J	`jnl`	Here and There with Arithmetic. CoRR Vladimir Lifschitz
2021	J	`jnl`	Here and There with Arithmetic. Theory Pract. Log. Program. Vladimir Lifschitz
2021	B	`conf`	Transforming Gringo Rules into Formulas in a Natural Way. JELIA Vladimir Lifschitz
2020	—	`conf`	Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020	J	`jnl`	Verifying Tight Logic Programs with anthem and Vampire. CoRR Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020	J	`jnl`	Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2019	—	`book`	Answer Set Programming Vladimir Lifschitz
2019	J	`jnl`	Relating Two Dialects of Answer Set Programming. CoRR Amelia Harrison, Vladimir Lifschitz
2019	J	`jnl`	Relating Two Dialects of Answer Set Programming. Theory Pract. Log. Program. Amelia Harrison, Vladimir Lifschitz
2019	B	`conf`	Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2018	J	`jnl`	Interview with Vladimir Lifschitz. Künstliche Intell. Vladimir Lifschitz, Torsten Schaub, Stefan Woltran
2018	J	`jnl`	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2017	J	`jnl`	Achievements in answer set programming. Theory Pract. Log. Program. Vladimir Lifschitz
2017	J	`jnl`	BWIBots: A platform for bridging the gap between AI and human-robot interaction research. Int. J. Robotics Res. 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
2017	J	`jnl`	In Memoriam: Grigori E. Mints, 1939-2014. FLAP A. Burdman Feferman, Vladimir Lifschitz
2017	J	`jnl`	Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2017	J	`jnl`	Program Completionin the Input Language of GRINGO. CoRR Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
2017	J	`jnl`	Program completion in the input language of GRINGO. Theory Pract. Log. Program. Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
2016	J	`jnl`	Achievements in Answer Set Programming (Preliminary Report). CoRR Vladimir Lifschitz
2016	J	`jnl`	Answer Sets and the Language of Answer Set Programming. AI Mag. Vladimir Lifschitz
2016	—	`conf`	Intelligent Instantiation and Supersafe Rules. ICLP (Technical Communications) Vladimir Lifschitz
2016	J	`jnl`	Proving Infinitary Formulas. CoRR Amelia Harrison, Vladimir Lifschitz, Julian Michael
2016	J	`jnl`	Proving infinitary formulas. Theory Pract. Log. Program. Amelia Harrison, Vladimir Lifschitz, Julian Michael
2016	J	`jnl`	Stable Models for Infinitary Formulas with Extensional Atoms. CoRR Amelia Harrison, Vladimir Lifschitz
2016	J	`jnl`	Stable models for infinitary formulas with extensional atoms. Theory Pract. Log. Program. Amelia Harrison, Vladimir Lifschitz
2015	J	`jnl`	Abstract Gringo. CoRR Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015	J	`jnl`	Abstract gringo. Theory Pract. Log. Program. Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015	J	`jnl`	In Memoriam: Grigori E. Mints 1939-2014. Bull. Symb. Log. Solomon Feferman, Vladimir Lifschitz
2015	B	`conf`	Infinitary Equilibrium Logic and Strong Equivalence. LPNMR Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2015	J	`jnl`	On equivalence of infinitary formulas under the stable model semantics. Theory Pract. Log. Program. Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2015	A*	`conf`	Pearl's Causality in a Logical Setting. AAAI Alexander Bochman, Vladimir Lifschitz
2015	J	`jnl`	The Dramatic True Story of the Frame Default. J. Philos. Log. Vladimir Lifschitz
2015	—	`conf`	The Winograd Schema Challenge and Reasoning about Correlation. AAAI Spring Symposia Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael
2014	J	`jnl`	On Equivalence of Infinitary Formulas under the Stable Model Semantics. CoRR Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2014	A*	`conf`	Planning in Action Language BC while Learning Action Costs for Mobile Robots. ICAPS Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, Peter Stone
2014	A*	`conf`	The Semantics of Gringo and Infinitary Propositional Formulas. KR Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang
2013	A*	`conf`	Action Language BC: Preliminary Report. IJCAI Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
2013	J	`jnl`	Functional completion. J. Appl. Non Class. Logics Vladimir Lifschitz, Fangkai Yang
2013	J	`jnl`	Lloyd-Topor Completion and General Stable Models CoRR Vladimir Lifschitz, Fangkai Yang
2013	J	`jnl`	Lloyd-Topor completion and general stable models. Theory Pract. Log. Program. Vladimir Lifschitz, Fangkai Yang
2013	—	`conf`	Logic Programs vs. First-Order Formulas in Textual Inference. IWCS Yuliya Lierler, Vladimir Lifschitz
2013	B	`conf`	On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. LPNMR Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2013	J	`jnl`	On the Semantics of Gringo. CoRR Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
2012	A*	`conf`	Logic Programs with Intensional Functions. KR Vladimir Lifschitz
2012	J	`jnl`	Relational Theories with Null Values and Non-Herbrand Stable Models CoRR Vladimir Lifschitz, Karl Pichotta, Fangkai Yang
2012	J	`jnl`	Relational theories with null values and non-herbrand stable models. Theory Pract. Log. Program. Vladimir Lifschitz, Karl Pichotta, Fangkai Yang
2012	J	`jnl`	Representing first-order causal theories by logic programs. Theory Pract. Log. Program. Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
2012	—	`conf`	Two-Valued Logic Programs. ICLP (Technical Communications) Vladimir Lifschitz
2011	—	`conf`	On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Paolo Ferraris, Vladimir Lifschitz
2011	J	`jnl`	Representing First-Order Causal Theories by Logic Programs CoRR Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
2011	J	`jnl`	Stable models and circumscription. Artif. Intell. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
2011	B	`conf`	Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR Yuliya Lierler, Vladimir Lifschitz
2011	—	`conf`	Yet Another Characterization of Strong Equivalence. ICLP (Technical Communications) Alexander Bochman, Vladimir Lifschitz
2010	—	`conf`	Datalog Programs and Their Stable Models. Datalog Vladimir Lifschitz
2010	—	`conf`	Thirteen Definitions of a Stable Model. Fields of Logic and Computation Vladimir Lifschitz
2010	B	`conf`	Translating First-Order Causal Theories into Answer Set Programming. JELIA Vladimir Lifschitz, Fangkai Yang
2009	B	`conf`	One More Decidable Class of Finitely Ground Programs. ICLP Yuliya Lierler, Vladimir Lifschitz
2009	A*	`conf`	Symmetric Splitting in the General Theory of Stable Models. IJCAI Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2008	A*	`conf`	A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2008	—	`book`	Handbook of Knowledge Representation Handbook of Knowledge Representation Frank van Harmelen, Vladimir Lifschitz, Bruce W. Porter
2008	—	`ch.`	Knowledge Representation and Classical Logic. Handbook of Knowledge Representation Vladimir Lifschitz, Leora Morgenstern, David A. Plaisted
2008	B	`conf`	Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2008	B	`conf`	Twelve Definitions of a Stable Model. ICLP Vladimir Lifschitz
2008	A*	`conf`	What Is Answer Set Programming?. AAAI Vladimir Lifschitz
2007	B	`conf`	A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR Vladimir Lifschitz, David Pearce, Agustín Valverde
2007	A*	`conf`	A New Perspective on Stable Models. IJCAI Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
2007	A*	`conf`	The Semantics of Variables in Action Descriptions. AAAI Vladimir Lifschitz, Wanwan Ren
2007	—	`conf`	Variables in Action Descriptions: Merging C+ with ADL. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Vladimir Lifschitz, Wanwan Ren
2006	—	`conf`	A Knowledge Module: Buying and Selling. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering Joohyung Lee, Vladimir Lifschitz
2006	A*	`conf`	A Modular Action Description Language. AAAI Vladimir Lifschitz, Wanwan Ren
2006	J	`jnl`	A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
2006	A*	`conf`	Actions as Special Cases. KR Selim T. Erdogan, Vladimir Lifschitz
2006	B	`conf`	Actions, Causation and Logic Programming. ILP Vladimir Lifschitz
2006	J	`jnl`	Temporal phylogenetic networks and logic programming. Theory Pract. Log. Program. Esra Erdem, Vladimir Lifschitz, Donald Ringe
2006	—	`conf`	Towards a Modular Action Description Language. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering Vladimir Lifschitz, Wanwan Ren
2006	J	`jnl`	Why are there so many loop formulas? ACM Trans. Comput. Log. Vladimir Lifschitz, Alexander A. Razborov
2005	—	`conf`	Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) Paolo Ferraris, Vladimir Lifschitz
2005	J	`jnl`	Temporal Phylogenetic Networks and Logic Programming CoRR Esra Erdem, Vladimir Lifschitz, Donald Ringe
2005	J	`jnl`	Weight constraints as nested expressions. Theory Pract. Log. Program. Paolo Ferraris, Vladimir Lifschitz
2005	—	`conf`	What is a Logic Program. Answer Set Programming Vladimir Lifschitz
2004	B	`conf`	Almost Definite Causal Theories. LPNMR Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
2004	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings LPNMR Vladimir Lifschitz, Ilkka Niemelä
2004	B	`ed.`	Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings ICLP Bart Demoen, Vladimir Lifschitz
2004	J	`jnl`	Nonmonotonic causal theories. Artif. Intell. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
2004	J	`jnl`	Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2003	B	`conf`	Definitions in Answer Set Programming: (Extended Abstract). ICLP Selim T. Erdogan, Vladimir Lifschitz
2003	A*	`conf`	Describing Additive Fluents in Action Language C+. IJCAI Joohyung Lee, Vladimir Lifschitz
2003	B	`conf`	Loop Formulas for Disjunctive Logic Programs. ICLP Joohyung Lee, Vladimir Lifschitz
2003	C	`conf`	Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. PADL Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe
2003	J	`jnl`	Tight Logic Programs CoRR Esra Erdem, Vladimir Lifschitz
2003	J	`jnl`	Tight logic programs. Theory Pract. Log. Program. Esra Erdem, Vladimir Lifschitz
2003	J	`jnl`	Weight Constraints as Nested Expressions CoRR Paolo Ferraris, Vladimir Lifschitz
2002	J	`jnl`	Answer set programming and plan generation. Artif. Intell. Vladimir Lifschitz
2002	—	`conf`	Why Sam doesn't know calculus. NMR Vladimir Lifschitz
2001	—	`conf`	Additive Fluents. Answer Set Programming Joohyung Lee, Vladimir Lifschitz
2001	B	`conf`	Fages' Theorem for Programs with Nested Expressions. ICLP Esra Erdem, Vladimir Lifschitz
2001	J	`jnl`	On calculational proofs. Ann. Pure Appl. Log. Vladimir Lifschitz
2001	J	`jnl`	Strongly equivalent logic programs. ACM Trans. Comput. Log. Vladimir Lifschitz, David Pearce, Agustín Valverde
2000	J	`jnl`	Fages' Theorem and Answer Set Programming CoRR Yuliya Babovich, Esra Erdem, Vladimir Lifschitz
2000	A*	`conf`	Missionaries and Cannibals in the Causal Calculator. KR Vladimir Lifschitz
2000	J	`jnl`	Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. Vladimir Lifschitz
2000	—	`conf`	Wire Routing and Satisfiability Planning. Computational Logic Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong
1999	—	`ch.`	Action Languages, Answer Sets, and Planning. The Logic Programming Paradigm Vladimir Lifschitz
1999	B	`conf`	Answer Set Planning (Abstract). LPNMR Vladimir Lifschitz
1999	B	`conf`	Answer Set Planning. ICLP Vladimir Lifschitz
1999	J	`jnl`	Nested Expressions in Logic Programs. Ann. Math. Artif. Intell. Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
1999	B	`conf`	Representing Transition Systems by Logic Programs. LPNMR Vladimir Lifschitz, Hudson Turner
1999	B	`conf`	Transformations of Logic Programs Related to Causality and Planning. LPNMR Esra Erdem, Vladimir Lifschitz
1998	J	`jnl`	Action Languages. Electron. Trans. Artif. Intell. Michael Gelfond, Vladimir Lifschitz
1998	—	`conf`	An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI Enrico Giunchiglia, Vladimir Lifschitz
1998	A*	`conf`	Situation Calculus and Causal Logic. KR Vladimir Lifschitz
1997	J	`jnl`	Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. Ann. Math. Artif. Intell. Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz
1997	J	`jnl`	On the Logic of Causal Explanation (Research Note). Artif. Intell. Vladimir Lifschitz
1997	J	`jnl`	Representing Action: Indeterminacy and Ramifications. Artif. Intell. Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz
1997	J	`jnl`	The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report).. AI Mag. Moisés Goldszmidt, Vladimir Lifschitz
1997	J	`jnl`	Two Components of an Action Language. Ann. Math. Artif. Intell. Vladimir Lifschitz
1995	A*	`conf`	A Simple Formalization of Actions Using Circumscription. IJCAI G. Neelakantan Kartha, Vladimir Lifschitz
1995	A*	`conf`	Dependent Fluents. IJCAI Enrico Giunchiglia, Vladimir Lifschitz
1995	J	`jnl`	ECWA Made Easy. Ann. Math. Artif. Intell. Vladimir Lifschitz
1995	B	`conf`	Loop Checking and the Wll-Founded Semantics. LPNMR Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk
1995	J	`jnl`	Nested Abnormality Theories. Artif. Intell. Vladimir Lifschitz
1995	J	`jnl`	Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning. J. Autom. Reason. Vladimir Lifschitz
1995	B	`conf`	SLDNF, Constructive Negation and Grounding. ICLP Vladimir Lifschitz
1995	J	`jnl`	The Logic of Common Sense. ACM Comput. Surv. Vladimir Lifschitz
1994	A*	`conf`	Actions with Indirect Effects (Preliminary Report). KR G. Neelakantan Kartha, Vladimir Lifschitz
1994	B	`conf`	Autoepistemic Logic and Introspective Circumscription. TARK Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
1994	—	`conf`	From Disjunctive Programs to Abduction. NMELP Vladimir Lifschitz, Hudson Turner
1994	J	`jnl`	Minimal Belief and Negation as Failure. Artif. Intell. Vladimir Lifschitz
1994	B	`conf`	Splitting a Logic Program. ICLP Vladimir Lifschitz, Hudson Turner
1993	—	`conf`	Automated Reasoning About Actions: A Logic Programming Approach. ILPS Vladimir Lifschitz, Norman McCain, Hudson Turner
1993	B	`conf`	Extended Logic Programs as Autoepistemic Theories. LPNMR Vladimir Lifschitz, Grigori Schwarz
1993	J	`jnl`	Representing Action and Change by Logic Programs. J. Log. Program. Michael Gelfond, Vladimir Lifschitz
1993	A*	`conf`	Restricted Monotonicity. AAAI Vladimir Lifschitz
1992	A*	`conf`	Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). KR Vladimir Lifschitz, Thomas Y. C. Woo
1992	J	`jnl`	Editorial. J. Log. Comput. Vladimir Lifschitz
1992	—	`conf`	Representing Actions in Extended Logic Programming. JICSLP Michael Gelfond, Vladimir Lifschitz
1991	—	`ed.`	Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. Artificial and Mathematical Theory of Computation Vladimir Lifschitz
1991	J	`jnl`	Classical Negation in Logic Programs and Disjunctive Databases. New Gener. Comput. Michael Gelfond, Vladimir Lifschitz
1991	A*	`conf`	Disjective Defaults. KR Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
1991	A*	`conf`	Nonmonotonic Databases and Epistemic Queries. IJCAI Vladimir Lifschitz
1991	A*	`conf`	Toward a Metatheory of Action. KR Vladimir Lifschitz
1991	—	`conf`	What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov
1990	J	`jnl`	Frames in the Space of Situations. Artif. Intell. Vladimir Lifschitz
1990	B	`conf`	Logic Programs with Classical Negation. ICLP Michael Gelfond, Vladimir Lifschitz
1989	A*	`conf`	Between Circumscription and Autoepistemic Logic. KR Vladimir Lifschitz
1989	A*	`conf`	Critical Issues in Nonmonotonic Reasoning. KR David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz
1989	—	`conf`	Logical Foundations of Deductive Databases. IFIP Congress Vladimir Lifschitz
1989	J	`jnl`	Miracles in Formal Theories of Action. Artif. Intell. Vladimir Lifschitz, Arkady Rabinov
1989	A*	`conf`	The Mathematics of Nonmonotonic Reasoning (Abstract) LICS Vladimir Lifschitz
1989	A*	`conf`	Things That Change by Themselves. IJCAI Vladimir Lifschitz, Arkady Rabinov
1989	J	`jnl`	What Is the Inverse Method? J. Autom. Reason. Vladimir Lifschitz
1988	—	`conf`	Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. NMR Vladimir Lifschitz
1988	A*	`conf`	Compiling Circumscriptive Theories into Logic Programs. AAAI Michael Gelfond, Vladimir Lifschitz
1988	—	`conf`	Compiling Circumscriptive Theories into Logic Programs. NMR Michael Gelfond, Vladimir Lifschitz
1988	—	`ch.`	On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. Vladimir Lifschitz
1988	—	`conf`	The Stable Model Semantics for Logic Programming. ICLP/SLP Michael Gelfond, Vladimir Lifschitz
1987	A*	`conf`	Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report). AAAI Vladimir Lifschitz
1987	A*	`conf`	Formal Theories of Action (Preliminary Report). IJCAI Vladimir Lifschitz
1986	J	`jnl`	On the Satisfiability of Circumscription. Artif. Intell. Vladimir Lifschitz
1986	A*	`conf`	Pointwise Circumscription: Preliminary Report. AAAI Vladimir Lifschitz
1985	J	`jnl`	Closed-World Databases and Circumscription. Artif. Intell. Vladimir Lifschitz
1985	A*	`conf`	Computing Circumscription. IJCAI Vladimir Lifschitz
1984	J	`jnl`	On Verification of Programs With Goto Statements. Inf. Process. Lett. Vladimir Lifschitz
1984	—	`conf`	Some Results on Circumscription. NMR Vladimir Lifschitz
1983	J	`jnl`	A Note on the Complexity of a Partition Algorithm. Inf. Process. Lett. Vladimir Lifschitz, Leon Pesotchinsky
1983	J	`jnl`	The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms. SIAM J. Comput. Vladimir Lifschitz, Boris G. Pittel
1982	J	`jnl`	Constructive Assertions in an Extension of Classical Mathematics. J. Symb. Log. Vladimir Lifschitz
1981	J	`jnl`	The Number of Increasing Subsequences of the Random Permutation. J. Comb. Theory A Vladimir Lifschitz, Boris G. Pittel