A Direct Proof of Hosoi's Theorem (Extended Abstract) | 2015 |

Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustin Valverde, In *Abstracts of Papers Presented at the Third St. Petersburg Days of Logic and Computability* 2015. |

On Equivalence of Infinitary Formulas under the Stable Model Semantics | 2015 |

Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, *Theory and Practice of Logic Programming *, Vol. 15, 1 (2015). |

The Winograd Schema Challenge and Reasoning about Correlation | 2015 |

Daniel Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, and Julian Michael, In *Working Notes of the Symposium on Logical Formalizations of Commonsense Reasoning* 2015. AAAI Press. |

A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics | 2013 |

Dan Garrette, Katrin Erk, Raymond J. Mooney, In *Computing Meaning*, Harry Bunt, Johan Bos, and Stephen Pulman (Eds.), Vol. 4, pp. 27--48, Berlin 2013. Springer. |

Functional Completion | 2013 |

Vladimir Lifschitz and Fangkai Yang, *Journal of Applied Non-Classical Logics*, Vol. 23, 1-2 (2013). |

On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report) | 2013 |

Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, In *Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)* 2013. |

The Semantics of Gringo and Proving Strong Equivalence | 2013 |

Amelia Harrison, *TPLP, Online Supplement* (2013). http://journals.cambridge.org/downloadsup.php?file=/tlp2013035.pdf. |

Relational Theories with Null Values and Non-Herbrand Stable Models | 2012 |

Vladimir Lifschitz, Karl Pichotta, and Fangkai Yang, *Theory and Practice of Logic Programming*, Vol. 12, 4-5 (2012), pp. 565-582. |

Bayesian Logic Programs for Plan Recognition and Machine Reading | 2012 |

Sindhu Raghavan, PhD Thesis, Department of Computer Science, University of Texas at Austin. 170. |

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools | 2012 |

Marcello Balduccini and Yuliya Lierler, *Fourteenth International Symposium on Practical Aspects of Declarative Languages* (2012), pp. 78-92. |

The Common Core of Action Languages B and C | 2012 |

Michael Gelfond and Vladimir Lifschitz, In *Working Notes of the International Workshop on Nonmonotonic Reasoning (NMR)* 2012. |

Two-valued logic programs | 2012 |

Vladimir Lifschitz, In *Technical Communications of the International Conference on Logic Programming* 2012. |

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem Oriented Solving | 2012 |

Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund, In *Fourteenth International Symposium on Practical Aspects of Declarative Languages* 2012. |

A Transition System for AC Language Algorithms | 2011 |

Yuliya Lierler and Yuanlin Zhang, In *Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)*, 2011 2011. |

ASP-Based Problem Solving with Cutting-Edge Tools | 2011 |

Marcello Balduccini and Yuliya Lierler, In *Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) * 2011. |

Datalog Programs and Their Stable Models | 2011 |

Vladimir Lifschitz, In *Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers*, de Moor, O.; Gottlob, G.; Furche, T.; Sellers, A. (Eds.) 2011. Springer... |

Integrating Logical Representations with Probabilistic Information using Markov Logic | 2011 |

Dan Garrette, Katrin Erk, Raymond Mooney, In *Proceedings of the International Conference on Computational Semantics*, pp. 105--114, Oxford, England, January 2011. |

On Elementary Loops of Logic Programs | 2011 |

Martin Gebser, Joohyung Lee, Yuliya Lierler, *Theory and Practice of Logic Programming* (2011). |

On the Minimality of Stable Models | 2011 |

Paolo Ferraris and Vladimir Lifschitz, In *Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday*, pp. 54-73 2011. Springer. |

Termination of Grounding is Not Preserved by Strongly Equivalent Transformations | 2011 |

Yuliya Lierler and Vladimir Lifschitz, In *Logic Programming and Nonmonotonic Reasoning (LPNMR)* 2011. |

Transition Systems for Model Generators --- A Unifying Approach | 2011 |

Yuliya Lierler and Miroslaw Truszczynski, In *International Conference on Logic Programming (ICLP)* 2011. |

Yet Another Characterization of Strong Equivalence | 2011 |

Alexander Bochman and Vladimir Lifschitz, In *Technical Communications of the 27th International Conference on Logic Programming*, pp. 11-15 2011. |

Declarative Query Tuning and Optimization using Answer Set Programming | 2010 |

Yuliya Lierler, Philip Cannata , unpublished. Unpublished draft. |

On the Stable Model Semantics of First-Order Formulas with Aggregates | 2010 |

Paolo Ferraris and Vladimir Lifschitz, In *Proceedings of the 2010 Workshop on Nonmonotonic Reasoning* 2010. |

Representing Synonymity in Causal Logic and in Logic Programming | 2010 |

Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, In *Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)* 2010. |

Thirteen Definitions of a Stable Model | 2010 |

Vladimir Lifschitz, In *Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday* 2010. |

One More Decidable Class of Finitely Ground Programs | 2009 |

Yuliya Lierler and Vladimir Lifschitz, In *Proc. International Conference on Logic Programming (ICLP)* 2009. |

Symmetric Splitting in the General Theory of Stable Models | 2009 |

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In *Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)*, pp. 797-803 2009. |

Knowledge Representation and Classical Logic | 2008 |

Vladimir Lifschitz, Leora Morgenstern and David Plaisted, In *Handbook of Knowledge Representation*, Frank van Harmelen and Vladimir Lifschitz and Bruce Porter (Eds.), pp. 3-88 2008. Elsevier. |

A Logic Program Characterization of Causal Theories | 2007 |

Paolo Ferraris, In *IJCAI* 2007. |

Head-Elementary-Set-Free Logic Programs | 2007 |

Martin Gebser, Joohyung Lee, and Yuliya Lierler, In *Logic Programming and Nonmonotonic Reasoning*, pp. 149--161 2007. |

Propositional Theories are Strongly equivalent to Logic Programs | 2007 |

Pedro Cabalar and Paolo Ferraris, *Theory and Practice of Logic Programming*, Vol. 7 (2007), pp. 745-759. |

Why the Monkey Needs the Box: a Serious Look at a Toy Domain | 2007 |

Selim T. Erdoğan, Paolo Ferraris, Vladimir Lifschitz and Wanwan Ren, In *Working Notes of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07)*, pp. 57--63 2007. |

Causal Theories as Logic Programs | 2006 |

Paolo Ferraris, In *Proceedings of Workshop on Logic Programming* 2006. |

Eliminating Weight Constraints in Polynomial Time | 2006 |

Paolo Ferraris, unpublished. Unpublished draft. |

On Calculational Proofs | 2002 |

Vladimir Lifschitz, *Annals of Pure and Applied Logic*, Vol. 113 (2002), pp. 207-224. |

Book review: M. Shanahan, Solving the Frame Problem | 2000 |

Vladimir Lifschitz, *Artificial Intelligence*, Vol. 123 (2000), pp. 265-268. |

Splitting a Default Theory | 1996 |

Hudson Turner, In *Proceedings of National Conference on Artificial Intelligence (AAAI)*, pp. 645-651 1996. |

Loop Checking and the Well-founded Semantics | 1995 |

Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski and Robert F. Staerk, In *Logic Programming and Non-monotonic Reasoning: Proceedings of the Third Int'l Conf.*, pp. 127-142 1995. |

The Logic of Common Sense | 1995 |

Vladimir Lifschitz, *ACM Computing Surveys*, Vol. 27 (1995), pp. 343-345. |

An Operator-Based Approach to First-Order Theory Revision | 1992 |

Bradley Lance Richards, PhD Thesis, Department of Computer Science, University of Texas at Austin. |