Logic

Subareas:
     [Expand to show all 40][Minimize]
Infinitary Equilibrium Logic 2014
Amelia Harrison, Vladimir Lifschitz, Agustin Valverde, David Pearce, In Answer Set Programming and Other Computing Paradigms (ASPOCP 2014), Vienna, Austria, July 2014.
On Equivalence of Infinitary Formulas under the Stable Model Semantics 2014
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, Theory and Practice of Logic Programming (2014).
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), Corunna, Spain, September 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.