Vladimir Lifschitz

Identifiers

• name variant Vladimir Lifschitz 0.60 · backfill

Papers (12)

1. anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report) cs.LO · 2018 · author #1
2. Program Completionin the Input Language of GRINGO cs.LO · 2017 · author #2
3. Proving Infinitary Formulas cs.LO · 2016 · author #2
4. Stable Models for Infinitary Formulas with Extensional Atoms cs.LO · 2016 · author #2
5. On the Semantics of Gringo cs.AI · 2013 · author #2
6. Lloyd-Topor Completion and General Stable Models cs.LO · 2013 · author #1
7. Relational Theories with Null Values and Non-Herbrand Stable Models cs.LO · 2012 · author #1
8. Representing First-Order Causal Theories by Logic Programs cs.AI · 2011 · author #4
9. Temporal Phylogenetic Networks and Logic Programming cs.LO · 2005 · author #2
10. Weight Constraints as Nested Expressions cs.AI · 2003 · author #2
11. Tight Logic Programs cs.AI · 2003 · author #2
12. Fages' Theorem and Answer Set Programming cs.AI · 2000 · author #3

Mentions

• 1312.6149 #2 · backfill · confidence 0.70 Vladimir Lifschitz
• 1301.1394 #1 · backfill · confidence 0.70 Vladimir Lifschitz
• 1210.4130 #1 · backfill · confidence 0.70 Vladimir Lifschitz
• 1103.4558 #4 · backfill · confidence 0.70 Vladimir Lifschitz

Frequent Coauthors

• Amelia Harrison 4 shared papers
• Fangkai Yang 4 shared papers
• Esra Erdem 3 shared papers
• Paolo Ferraris 2 shared papers
• Dhananjay Raju 1 shared papers
• Don Ringe 1 shared papers
• Joohyung Lee 1 shared papers
• Julian Michael 1 shared papers
• Karl Pichotta 1 shared papers
• Patrick L\"uhne 1 shared papers
• Torsten Schaub 1 shared papers
• Yuliya Babovich 1 shared papers
• Yuliya Lierler 1 shared papers