The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vladimir Lifschitz" ( http://dblp.L3S.de/Authors/Vladimir_Lifschitz )

URL (Homepage):  http://www.cs.utexas.edu/users/vl/  Author page on DBLP  Author page in RDF  Community of Vladimir Lifschitz in ASPL-2

Publication years (Num. hits)
1981-1988 (17) 1989-1991 (15) 1992-1995 (20) 1997-2000 (18) 2001-2004 (18) 2005-2007 (16) 2008-2011 (16) 2012-2014 (15) 2015-2017 (20) 2018-2019 (4)
Publication types (Num. hits)
article(69) book(1) incollection(3) inproceedings(83) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 6 keywords

Results
Found 160 publication records. Showing 159 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Amelia Harrison, Vladimir Lifschitz Relating Two Dialects of Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Patrick Lühne, Torsten Schaub Verifying Strong Equivalence of Programs in the Input Language of gringo. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Patrick Lühne, Torsten Schaub anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Torsten Schaub, Stefan Woltran Interview with Vladimir Lifschitz. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary equilibrium logic and strongly equivalent logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju Program Completionin the Input Language of GRINGO. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Piyush Khandelwal, Shiqi Zhang, Jivko Sinapov, Matteo Leonetti, Jesse Thomason, Fangkai Yang, Ilaria Gori, Maxwell Svetlik, Priyanka Khante, Vladimir Lifschitz, J. K. Aggarwal, Raymond J. Mooney, Peter Stone BWIBots: A platform for bridging the gap between AI and human-robot interaction research. Search on Bibsonomy I. J. Robotics Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1A. Burdman Feferman, Vladimir Lifschitz In Memoriam: Grigori E. Mints, 1939-2014. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Vladimir Lifschitz Achievements in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju Program completion in the input language of GRINGO. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Answer Sets and the Language of Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Julian Michael Proving Infinitary Formulas. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Vladimir Lifschitz Achievements in Answer Set Programming (Preliminary Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz Stable Models for Infinitary Formulas with Extensional Atoms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Julian Michael Proving infinitary formulas. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz Stable models for infinitary formulas with extensional atoms. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Intelligent Instantiation and Supersafe Rules. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract Gringo. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On equivalence of infinitary formulas under the stable model semantics. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract gringo. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz The Dramatic True Story of the Frame Default. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary Equilibrium Logic and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Bochman, Vladimir Lifschitz Pearl's Causality in a Logical Setting. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael The Winograd Schema Challenge and Reasoning about Correlation. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On Equivalence of Infinitary Formulas under the Stable Model Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, Peter Stone Planning in Action Language BC while Learning Action Costs for Mobile Robots. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang The Semantics of Gringo and Infinitary Propositional Formulas. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Fangkai Yang On the Semantics of Gringo. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Fangkai Yang Lloyd-Topor Completion and General Stable Models Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Fangkai Yang Lloyd-Topor completion and general stable models. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Fangkai Yang Functional completion. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz Logic Programs vs. First-Order Formulas in Textual Inference. Search on Bibsonomy ICWS The full citation details ... 2013 DBLP  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz, Fangkai Yang Action Language BC: Preliminary Report. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Karl Pichotta, Fangkai Yang Relational Theories with Null Values and Non-Herbrand Stable Models Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Representing first-order causal theories by logic programs. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Karl Pichotta, Fangkai Yang Relational theories with null values and non-herbrand stable models. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Logic Programs with Intensional Functions. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Vladimir Lifschitz Two-Valued Logic Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz Stable models and circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Representing First-Order Causal Theories by Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paolo Ferraris, Vladimir Lifschitz On the Minimality of Stable Models. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander Bochman, Vladimir Lifschitz Yet Another Characterization of Strong Equivalence. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Thirteen Definitions of a Stable Model. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Fangkai Yang Translating First-Order Causal Theories into Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Datalog Programs and Their Stable Models. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz One More Decidable Class of Finitely Ground Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla Symmetric Splitting in the General Theory of Stable Models. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Frank van Harmelen, Vladimir Lifschitz, Bruce W. Porter (eds.) Handbook of Knowledge Representation Search on Bibsonomy 2008 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Leora Morgenstern, David A. Plaisted Knowledge Representation and Classical Logic. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz, Ravi Palla A Reductive Semantics for Counting and Choice in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Vladimir Lifschitz What Is Answer Set Programming?. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz, Ravi Palla Safe Formulas in the General Theory of Stable Models (Preliminary Report). Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Twelve Definitions of a Stable Model. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde A Characterization of Strong Equivalence for Logic Programs with Variables. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Wanwan Ren The Semantics of Variables in Action Descriptions. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Wanwan Ren Variables in Action Descriptions: Merging C+ with ADL. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2007 DBLP  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz A New Perspective on Stable Models. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Alexander A. Razborov Why are there so many loop formulas? Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF loop formulas, stable models, P-completeness, Answer sets
1Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz A generalization of the Lin-Zhao theorem. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T30, 68T27
1Esra Erdem 0001, Vladimir Lifschitz, Donald Ringe Temporal phylogenetic networks and logic programming. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Actions, Causation and Logic Programming. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Wanwan Ren A Modular Action Description Language. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Selim T. Erdogan, Vladimir Lifschitz Actions as Special Cases. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz A Knowledge Module: Buying and Selling. Search on Bibsonomy AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering The full citation details ... 2006 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Wanwan Ren Towards a Modular Action Description Language. Search on Bibsonomy AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering The full citation details ... 2006 DBLP  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz, Donald Ringe Temporal Phylogenetic Networks and Logic Programming Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Paolo Ferraris, Vladimir Lifschitz Weight constraints as nested expressions. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Vladimir Lifschitz Mathematical Foundations of Answer Set Programming. Search on Bibsonomy We Will Show Them! (1) The full citation details ... 2005 DBLP  BibTeX  RDF
1Vladimir Lifschitz What is a Logic Program. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner Nonmonotonic causal theories. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz Almost Definite Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Ilkka Niemelä (eds.) Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Vladimir Lifschitz (eds.) Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Vladimir Lifschitz Weight Constraints as Nested Expressions Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz Tight Logic Programs Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz Tight logic programs. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz Loop Formulas for Disjunctive Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Selim T. Erdogan, Vladimir Lifschitz Definitions in Answer Set Programming: (Extended Abstract). Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz Describing Additive Fluents in Action Language C+. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Vladimir Lifschitz Answer set programming and plan generation. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Why Sam doesn't know calculus. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Vladimir Lifschitz On calculational proofs. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Strongly equivalent logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, stable models, answer sets
1Joohyung Lee, Vladimir Lifschitz Additive Fluents. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz Fages' Theorem for Programs with Nested Expressions. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Review: M. Shanahan, Solving the Frame Problem. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yuliya Babovich, Esra Erdem 0001, Vladimir Lifschitz Fages' Theorem and Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz, Martin D. F. Wong Wire Routing and Satisfiability Planning. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Missionaries and Cannibals in the Causal Calculator. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner Nested Expressions in Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Action Languages, Answer Sets, and Planning. Search on Bibsonomy The Logic Programming Paradigm The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Hudson Turner Representing Transition Systems by Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Answer Set Planning (Abstract). Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Vladimir Lifschitz Transformations of Logic Programs Related to Causality and Planning. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Answer Set Planning. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Action Languages. Search on Bibsonomy Electron. Trans. Artif. Intell. The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 159 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license