Logic
Publications (36)
A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics 2013
Dan Garrette, Katrin Erk, Raymond J. Mooney
Relational Theories with Null Values and Non-Herbrand Stable Models 2012
Vladimir Lifschitz, Karl Pichotta, and Fangkai Yang
Bayesian Logic Programs for Plan Recognition and Machine Reading 2012
Sindhu Raghavan
Functional Completion 2012
Vladimir Lifschitz and Fangkai Yang
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools 2012
Marcello Balduccini and Yuliya Lierler
The Common Core of Action Languages B and C 2012
Michael Gelfond and Vladimir Lifschitz
Two-valued logic programs 2012
Vladimir Lifschitz
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem Oriented Solving 2012
Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund
A Transition System for AC Language Algorithms 2011
Yuliya Lierler and Yuanlin Zhang
ASP-Based Problem Solving with Cutting-Edge Tools 2011
Marcello Balduccini and Yuliya Lierler
Datalog Programs and Their Stable Models 2011
Vladimir Lifschitz
Integrating Logical Representations with Probabilistic Information using Markov Logic 2011
Dan Garrette, Katrin Erk, Raymond Mooney
On Elementary Loops of Logic Programs 2011
Martin Gebser, Joohyung Lee, Yuliya Lierler
On the Minimality of Stable Models 2011
Paolo Ferraris and Vladimir Lifschitz
Termination of Grounding is Not Preserved by Strongly Equivalent Transformations 2011
Yuliya Lierler and Vladimir Lifschitz
Transition Systems for Model Generators --- A Unifying Approach 2011
Yuliya Lierler and Miroslaw Truszczynski
Yet Another Characterization of Strong Equivalence 2011
Alexander Bochman and Vladimir Lifschitz
Declarative Query Tuning and Optimization using Answer Set Programming 2010
Yuliya Lierler, Philip Cannata
On the Stable Model Semantics of First-Order Formulas with Aggregates 2010
Paolo Ferraris and Vladimir Lifschitz
Representing Synonymity in Causal Logic and in Logic Programming 2010
Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang
Thirteen Definitions of a Stable Model 2010
Vladimir Lifschitz
One More Decidable Class of Finitely Ground Programs 2009
Yuliya Lierler and Vladimir Lifschitz
Symmetric Splitting in the General Theory of Stable Models 2009
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
Knowledge Representation and Classical Logic 2008
Vladimir Lifschitz, Leora Morgenstern and David Plaisted
A Logic Program Characterization of Causal Theories 2007
Paolo Ferraris
Head-Elementary-Set-Free Logic Programs 2007
Martin Gebser, Joohyung Lee, and Yuliya Lierler
Propositional Theories are Strongly equivalent to Logic Programs 2007
Pedro Cabalar and Paolo Ferraris
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
Causal Theories as Logic Programs 2006
Paolo Ferraris
Eliminating Weight Constraints in Polynomial Time 2006
Paolo Ferraris
On Calculational Proofs 2002
Vladimir Lifschitz
Book review: M. Shanahan, Solving the Frame Problem 2000
Vladimir Lifschitz
Splitting a Default Theory 1996
Hudson Turner
Loop Checking and the Well-founded Semantics 1995
Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski and Robert F. Staerk
The Logic of Common Sense 1995
Vladimir Lifschitz
An Operator-Based Approach to First-Order Theory Revision 1992
Bradley Lance Richards
Labs
Texas Action Group