| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang |
Representing First-Order Causal Theories by Logic Programs  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
Stable models and circumscription. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bochman, Vladimir Lifschitz |
Yet Another Characterization of Strong Equivalence. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Vladimir Lifschitz |
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ferraris, Vladimir Lifschitz |
On the Minimality of Stable Models. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Fangkai Yang |
Translating First-Order Causal Theories into Answer Set Programming. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Datalog Programs and Their Stable Models. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Thirteen Definitions of a Stable Model. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
Symmetric Splitting in the General Theory of Stable Models. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler, Vladimir Lifschitz |
One More Decidable Class of Finitely Ground Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Twelve Definitions of a Stable Model. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
Safe Formulas in the General Theory of Stable Models (Preliminary Report). |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
What Is Answer Set Programming?. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
A Reductive Semantics for Counting and Choice in Answer Set Programming. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
A New Perspective on Stable Models. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Wanwan Ren |
Variables in Action Descriptions: Merging C+ with ADL. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, David Pearce, Agustín Valverde |
A Characterization of Strong Equivalence for Logic Programs with Variables. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Wanwan Ren |
The Semantics of Variables in Action Descriptions. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Alexander A. Razborov |
Why are there so many loop formulas? |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
loop formulas, stable models, P-completeness, Answer sets |
| 1 | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
A generalization of the Lin-Zhao theorem. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T30, 68T27 |
| 1 | Esra Erdem, Vladimir Lifschitz, Donald Ringe |
Temporal phylogenetic networks and logic programming. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Selim T. Erdogan, Vladimir Lifschitz |
Actions as Special Cases. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Actions, Causation and Logic Programming. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Wanwan Ren |
A Modular Action Description Language. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Esra Erdem, Vladimir Lifschitz, Donald Ringe |
Temporal Phylogenetic Networks and Logic Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris, Vladimir Lifschitz |
Weight constraints as nested expressions. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ferraris, Vladimir Lifschitz |
Mathematical Foundations of Answer Set Programming. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
What is a Logic Program. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner |
Nonmonotonic causal theories. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Vladimir Lifschitz (eds.) |
Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings |
ICLP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz |
Almost Definite Causal Theories. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Ilkka Niemelä (eds.) |
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings |
LPNMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris, Vladimir Lifschitz |
Weight Constraints as Nested Expressions |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Esra Erdem, Vladimir Lifschitz |
Tight Logic Programs |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Esra Erdem, Vladimir Lifschitz |
Tight logic programs. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe |
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joohyung Lee, Vladimir Lifschitz |
Describing Additive Fluents in Action Language C+. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Selim T. Erdogan, Vladimir Lifschitz |
Definitions in Answer Set Programming: (Extended Abstract). |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joohyung Lee, Vladimir Lifschitz |
Loop Formulas for Disjunctive Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Answer set programming and plan generation. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Why Sam doesn't know calculus. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
On calculational proofs. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, David Pearce, Agustín Valverde |
Strongly equivalent logic programs. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
logic programming, stable models, answer sets |
| 1 | Esra Erdem, Vladimir Lifschitz |
Fages' Theorem for Programs with Nested Expressions. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joohyung Lee, Vladimir Lifschitz |
Additive Fluents. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Babovich, Esra Erdem, Vladimir Lifschitz |
Fages' Theorem and Answer Set Programming |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Review: M. Shanahan, Solving the Frame Problem. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Missionaries and Cannibals in the Causal Calculator. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong |
Wire Routing and Satisfiability Planning. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner |
Nested Expressions in Logic Programs. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Answer Set Planning. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Hudson Turner |
Representing Transition Systems by Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem, Vladimir Lifschitz |
Transformations of Logic Programs Related to Causality and Planning. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Answer Set Planning (Abstract). |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz |
Action Languages. |
Electron. Trans. Artif. Intell. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Situation Calculus and Causal Logic. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Vladimir Lifschitz |
An Action Language Based on Causal Explanation: Preliminary Report. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
On the Logic of Causal Explanation (Research Note). |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz |
Representing Action: Indeterminacy and Ramifications. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Moisés Goldszmidt, Vladimir Lifschitz |
The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report).. |
AI Magazine |
1997 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz |
Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Two Components of an Action Language. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning. |
J. Autom. Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Nested Abnormality Theories. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
The Logic of Common Sense. |
ACM Comput. Surv. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
ECWA Made Easy. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Neelakantan Kartha, Vladimir Lifschitz |
A Simple Formalization of Actions Using Circumscription. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Vladimir Lifschitz |
Dependent Fluents. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
SLDNF, Constructive Negation and Grounding. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk |
Loop Checking and the Wll-Founded Semantics. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Minimal Belief and Negation as Failure. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Hudson Turner |
Splitting a Logic Program. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Hudson Turner |
From Disjunctive Programs to Abduction. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Neelakantan Kartha, Vladimir Lifschitz |
Actions with Indirect Effects (Preliminary Report). |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz |
Autoepistemic Logic and Introspective Circumscription. |
TARK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz |
Representing Action and Change by Logic Programs. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Norman McCain, Hudson Turner |
Automated Reasoning About Actions: A Logic Programming Approach. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Grigori Schwarz |
Extended Logic Programs as Autoepistemic Theories. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Restricted Monotonicity. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Editorial. |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz |
Representing Actions in Extended Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Thomas Y. C. Woo |
Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz |
Classical Negation in Logic Programs and Disjunctive Databases. |
New Generation Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Nonmonotonic Databases and Epistemic Queries. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov |
What are the Limitations of the Situation Calculus? |
Automated Reasoning: Essays in Honor of Woody Bledsoe |
1991 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Toward a Metatheory of Action. |
KR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski |
Disjective Defaults. |
KR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Frames in the Space of Situations. |
Artif. Intell. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gelfond, Vladimir Lifschitz |
Logic Programs with Classical Negation. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
What Is the Inverse Method? |
J. Autom. Reasoning |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Arkady Rabinov |
Miracles in Formal Theories of Action. |
Artif. Intell. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Arkady Rabinov |
Things That Change by Themselves. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Logical Foundations of Deductive Databases. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz |
Critical Issues in Nonmonotonic Reasoning. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Between Circumscription and Autoepistemic Logic. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
The Mathematics of Nonmonotonic Reasoning (Abstract) (Invited talk) |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
On the Declarative Semantics of Logic Programs with Negation. |
Foundations of Deductive Databases and Logic Programming. |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")