UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Logic
Subareas:
Publications
[Expand to show all 42]
[Minimize]
Interview to Kunstliche Intelligenz
2018
Vladimir Lifschitz,
Kunstliche Intelligenz
(2018).
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.