Texas Action Group
Webpage: http://www.cs.utexas.edu/tag
Director: Vladimir Lifschitz
Texas Action Group at Austin is a research group within the Department of Computer Science of the University of Texas at Austin. The group is led by Vladimir Lifschitz. It is part of a larger community, Texas Action Group. We work in the area of logic-based Artificial Intelligence. Specifically, we are interested in action description languages, in automated reasoning about the effects of actions, in the theory of stable models, and in answer set programming.
People
Amelia Harrison Ph.D. Student ameliaj@cs.utexas.edu
Vladimir Lifschitz Professor vl@cs.utexas.edu
Fangkai Yang Ph.D. Student fkyang@cs.utexas.edu
Publications (160)
Logic Programs vs. First-Order Formulas in Textual Inference 2013
Yuliya Lierler and Vladimir Lifschitz
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski
Role of KR in Natural Language Understanding and Synergic KR 2013
Yuliya Lierler
The Dramatic True Story of the Frame Default 2013
Vladimir Lifschitz
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming 2013
Yuliya Lierler and Peter Schueller
Relational Theories with Null Values and Non-Herbrand Stable Models 2012
Vladimir Lifschitz, Karl Pichotta, and Fangkai Yang
A Tarskian Informal Semantics for Answer Set Programming 2012
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
Constraint Answer Set Programming 2012
Yuliya Lierler
Functional Completion 2012
Vladimir Lifschitz and Fangkai Yang
Lloyd-Topor Completion and General Stable Models 2012
Vladimir Lifschitz and Fangkai Yang
Logic Programs with Intensional Functions 2012
Vladimir Lifschitz
On the Relation of Constraint Answer Set Programming Languages and Algorithms 2012
Yuliya Lierler
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming 2012
Yuliya Lierler and Peter Schueller
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools 2012
Marcello Balduccini and Yuliya Lierler
Representing First-Order Causal Theories by Logic Programs 2012
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang
Surviving Solver Sensitivity: An ASP Practitioner's Guide 2012
Bryan Silverthorn, Yuliya Lierler and Marius Schneider
The Common Core of Action Languages B and C 2012
Michael Gelfond and Vladimir Lifschitz
The Frame Problem, Then and Now 2012
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
Abstract Answer Set Solvers with Backjumping and Learning 2011
Yuliya Lierler
ASP-Based Problem Solving with Cutting-Edge Tools 2011
Marcello Balduccini and Yuliya Lierler
Datalog Programs and Their Stable Models 2011
Vladimir Lifschitz
John McCarthy, 1927-2011: The Scientist Who Set Computers on the Path to Common Sense 2011
Vladimir Lifschitz
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
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, 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
From C-Believed Propositions to the Causal Calculator 2010
Vladimir Lifschitz
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
SAT-Based Answer Set Programming 2010
Yuliya Lierler
Thirteen Definitions of a Stable Model 2010
Vladimir Lifschitz
Translating First-Order Causal Theories into Answer Set Programming 2010
Vladimir Lifschitz and Fangkai Yang
A Modular Language for Describing Actions 2009
Wanwan Ren
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
A Library of General-Purpose Action Descriptions 2008
Selim T. Erdoğan
A Reductive Semantics for Counting and Choice in Answer Set Programming 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
Abstract Answer Set Solvers 2008
Yuliya Lierler
Knowledge Representation and Classical Logic 2008
Vladimir Lifschitz, Leora Morgenstern and David Plaisted
Knowledge Representation and Question Answering 2008
Marcello Balduccini, Chitta Baral, Yuliya Lierler
Safe Formulas in the General Theory of Stable Models (preliminary report) 2008
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla
Twelve Definitions of a Stable Model 2008
Vladimir Lifschitz
What Is Answer Set Programming? 2008
Vladimir Lifschitz
A Characterization of Strong Equivalence for Logic Programs with Variables 2007
Vladimir Lifschitz, David Pearce and Agustin Valverde
A Logic Program Characterization of Causal Theories 2007
Paolo Ferraris
A New Perspective on Stable Models 2007
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
Cmodels: SAT-based Answer Set Programming System 2007
Yuliya Lierler and Marco Maratea
Expressiveness of Answer Set Languages 2007
Paolo Ferraris
Head-Elementary-Set-Free Logic Programs 2007
Martin Gebser, Joohyung Lee, and Yuliya Lierler
Inferring Phylogenetic Trees Using Answer Set Programming 2007
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, James W. Minett, and Donald Ringe
Propositional Theories are Strongly equivalent to Logic Programs 2007
Pedro Cabalar and Paolo Ferraris
The Semantics of Variables in Action Descriptions 2007
Vladimir Lifschitz and Wanwan Ren
Variables in Action Descriptions: Merging C+ with ADL 2007
Vladimir Lifschitz and Wanwan Ren
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
A Generalization of the Lin-Zhao Theorem 2006
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
A Knowledge Module: Buying and Selling 2006
Joohyung Lee and Vladimir Lifschitz
A Modular Action Description Language 2006
Vladimir Lifschitz and Wanwan Ren
Actions as Special Cases 2006
Selim T. Erdoğan and Vladimir Lifschitz
Answer Set Programming based on Propositional Satisfiability 2006
Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea
Causal Theories as Logic Programs 2006
Paolo Ferraris
Elementary Sets for Logic Programs 2006
Martin Gebser, Joohyung Lee, and Yuliya Lierler
Eliminating Weight Constraints in Polynomial Time 2006
Paolo Ferraris
Experiments with SAT-based Answer Set Programming 2006
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, and Armando Tacchella
Model Generation for Generalized Quantifiers via Answer Set Programming 2006
Yuliya Lierler and Guenther Goerz
Temporal Phylogenetic Networks and Logic Programming 2006
Esra Erdem, Vladimir Lifschitz and Don Ringe
Why Are There So Many Loop Formulas? 2006
Vladimir Lifschitz and Alexander Razborov
A Model-Theoretic Counterpart of Loop Formulas 2005
Joohyung Lee
Answer Sets for Propositional Theories 2005
Paolo Ferraris
Automated Reasoning about Actions 2005
Joohyung Lee
Cmodels -- SAT-based Disjunctive Answer Set Solver 2005
Yuliya Lierler
Cmodels for Tight Disjunctive Logic programs 2005
Yuliya Lierler
Disjunctive Answer Set Programming via Satisfiability 2005
Yuliya Lierler
Mathematical Foundations of Answer Set Programming 2005
Paolo Ferraris and Vladimir Lifschitz
On Modular Translations and Strong Equivalence 2005
Paolo Ferraris
Weight Constraints as Nested Expressions 2005
Paolo Ferraris and Vladimir Lifschitz
Almost Definite Causal Theories 2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
Automatic Compilation of Protocol Insecurity Problems into Logic Programming 2004
Alesandro Armando, Luca Compagna, and Yuliya Lierler
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 2004
Yuliya Lierler and Marco Maratea
Definitions in Answer Set Programming 2004
Selim T. Erdoğan and Vladimir Lifschitz
Goal-Converging Behavior Networks and Self-Solving Planning Domains 2004
Bernhard Nebel and Yuliya Lierler
Irrelevant Actions in Plan Generation (extended abstract) 2004
Vladimir Lifschitz and Wanwan Ren
Loop Formulas for Circumscription 2004
Joohyung Lee and Fangzhen Lin
Nondefinite vs. Definite Causal Theories 2004
Joohyung Lee
Nonmonotonic Causal Theories 2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner
Representing the Zoo World and the Traffic World in the language of the Causal Calculator 2004
Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz and Hudson Turner
SAT-Based Answer Set Programming 2004
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
Computing Answer Sets of a Logic Program via Enumeration of SAT Certificates 2003
Yuliya Lierler and Marco Maratea
Describing Additive Fluents in Action Language C 2003
Joohyung Lee and Vladimir Lifschitz
Loop Formulas for Disjunctive Logic Programs 2003
Joohyung Lee and Vladimir Lifschitz
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming 2003
Esra Erdem, Vladimir Lifschitz, Luay Nakhleh and Donald Ringe
Reinforcing a Claim in Commonsense Reasoning 2003
Jonathan Campbell and Vladimir Lifschitz
Tight Logic Programs 2003
Esra Erdem and Vladimir Lifschitz
Answer Set Programming and Plan Generation 2002
Vladimir Lifschitz
On Calculational Proofs 2002
Vladimir Lifschitz
Theory and Applications of Answer Set Programming 2002
Esra Erdem
Additive Fluents 2001
Joohyung Lee and Vladimir Lifschitz
Fages' Theorem for Programs with Nested Expressions 2001
Esra Erdem and Vladimir Lifschitz
Strongly Equivalent Logic Programs 2001
Vladimir Lifschitz, David Pearce and Agustin Valverde
Book review: M. Shanahan, Solving the Frame Problem 2000
Vladimir Lifschitz
Fages' Theorem and Answer Set Programming 2000
Yuliya Lierler, Esra Erdem and Vladimir Lifschitz
Getting to the Airport: the Oldest Planning Problem in AI 2000
Vladimir Lifschitz, Norman McCain, Emilio Remolina and Armando Tacchella
Missionaries and Cannibals in the Causal Calculator 2000
Vladimir Lifschitz
Wire Routing and Satisfiability Planning 2000
Esra Erdem, Vladimir Lifschitz and Martin Wong
Action Languages, Answer Sets and Planning 1999
Vladimir Lifschitz
Action Languages, Temporal Action Logics and the Situation Calculus 1999
Enrico Giunchiglia and Vladimir Lifschitz
Answer Set Planning 1999
Vladimir Lifschitz
Nested Expressions in Logic Programs 1999
Vladimir Lifschitz, Lappoon R. Tang and Hudson Turner
Representing Transition Systems by Logic Programs 1999
Vladimir Lifschitz and Hudson Turner
Success of Default Logic 1999
Vladimir Lifschitz
Transformations of Logic Programs Related to Causality and Planning 1999
Esra Erdem and Vladimir Lifschitz
Action Languages 1998
Michael Gelfond and Vladimir Lifschitz
An Action Language Based on Causal Explanation: preliminary report 1998
Enrico Giunchiglia and Vladimir Lifschitz
Causal Action Theories and Satisfiability Planning 1998
Hudson Turner
Satisfiability Planning with Causal Theories 1998
Norman McCain and Hudson Turner
Situation Calculus and Causal Logic 1998
Vladimir Lifschitz
Causal Theories of Action and Change 1997
Norman McCain and Hudson Turner
Causality in Commonsense Reasoning about Actions 1997
Norman McCain
On the Logic of Causal Explanation 1997
Vladimir Lifschitz
Representing Action: Indeterminacy and Ramifications 1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz
Representing Actions in Logic Programs and Default Theories: a Situation Calculus Approach 1997
Hudson Turner
Two Components of an Action Language 1997
Vladimir Lifschitz
Update by Means of Inference Rules 1997
Teodor Przymusinski and Hudson Turner
Foundations of Logic Programming 1996
Vladimir Lifschitz
Splitting a Default Theory 1996
Hudson Turner
A Causal Theory of Ramifications and Qualifications 1995
Norman McCain and Hudson Turner
A Mathematical Investigation of Reasoning about Actions 1995
Neelakantan Kartha
A Simple Formalization of Actions Using Circumscription 1995
G. Neelakantan Kartha and Vladimir Lifschitz
Dependent Fluents 1995
Enrico Giunchiglia and Vladimir Lifschitz
ECWA Made Easy 1995
Vladimir Lifschitz
From Disjunctive Programs to Abduction 1995
Vladimir Lifschitz and Hudson Turner
Loop Checking and the Well-founded Semantics 1995
Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski and Robert F. Staerk
Nested Abnormality Theories 1995
Vladimir Lifschitz
SLDNF, Constructive Negation and Grounding 1995
Vladimir Lifschitz
The Logic of Common Sense 1995
Vladimir Lifschitz
Actions with Indirect Effects (preliminary report) 1994
G. Neelakantan Kartha and Vladimir Lifschitz
Autoepistemic Logic and Introspective Circumscription 1994
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz
Circumscription 1994
Vladimir Lifschitz
Language Independence and Language Tolerance in Logic Programs 1994
Norman McCain and Hudson Turner
Minimal Belief and Negation as Failure 1994
Vladimir Lifschitz
Signed Logic Programs 1994
Hudson Turner
Splitting a Logic Program 1994
Vladimir Lifschitz and Hudson Turner
A Monotonicity Theorem for Extended Logic Programs 1993
Hudson Turner
Extended Logic Programs as Autoepistemic Theories 1993
Vladimir Lifschitz and Grigori Schwarz
Representing Action and Change by Logic Programs 1993
Michael Gelfond and Vladimir Lifschitz
Restricted Monotonicity 1993
Vladimir Lifschitz
Answer Sets in General Nonmonotonic Reasoning (preliminary report) 1991
Vladimir Lifschitz and Thomas Y. C. Woo
Classical Negation in Logic Programs and Disjunctive Databases 1991
Michael Gelfond and Vladimir Lifschitz
Disjunctive Defaults 1991
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Miroslaw Truszczynski
Editorial 1991
Vladimir Lifschitz
Towards a Metatheory of Action 1991
Vladimir Lifschitz
On Open Defaults 1990
Vladimir Lifschitz
Benchmark Problems for Formal Nonmonotonic Reasoning 1989
Vladimir Lifschitz
The Stable Model Semantics for Logic Programming 1988
Michael Gelfond and Vladimir Lifschitz
On the Semantics of STRIPS 1987
Vladimir Lifschitz
Projects
Action languages and reasoning about actions 1993 - Present
Stable models and answer set programming 1988 - Present
Areas of Interest
Action Languages Answer Set Programming Autoepistemic Logic Automated Reasoning Causal Theories Causality Circumscription Common Sense Reasoning Computational Complexity Default Logic Elaboration Tolerance Inductive Logic Programming Logic Mathematical Foundations Nonmonotonic Reasoning Phylogenetics Reasoning about Actions Situation Calculus Temporal Reasoning
Software/Data
Sup (answer set solver) SUP is a native answer set solver that can be seen as a combination... 2009
MAD (Modular Action Description language) The Modular Action Description language MAD was introduced is a de... 2007
Cmodels (answer set solver) Cmodels is a system that computes answer sets for either disjun... 2003
Ccalc (Causal theory calculator) The Causal Calculator CCalc is a system for representing commonsen... 2000