BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Germany
1 × Hungary
1 × India
1 × Israel
1 × Japan
1 × United Kingdom
2 × Canada
4 × Italy
9 × USA
Collaborated with:
M.Gelfond F.Yang E.Erdem S.T.Erdogan J.Lee H.Turner A.Bochman Y.Lierler G.N.Kartha T.Y.C.Woo A.J.Harrison K.Pichotta R.Palla M.D.F.Wong N.McCain L.Nakhleh D.Ringe H.Przymusinska M.Truszczynski M.Gebser A.Harrison R.Kaminski T.Schaub D.W.Etherington K.D.Forbus M.L.Ginsberg D.J.Israel
Talks about:
program (12) logic (10) action (5) stabl (5) model (5) reason (4) answer (4) set (4) nonmonoton (3) general (3)

Person: Vladimir Lifschitz

DBLP DBLP: Lifschitz:Vladimir

Facilitated 1 volumes:

ICLP 2004Ed

Contributed to:

ICLP 20152015
KR 20142014
ICLP 20132013
ICLP 20122012
ICLP 20122012
KR 20122012
ICLP 20112011
ICLP 20092009
ICLP 20082008
KR 20062006
ICLP 20032003
PADL 20032003
ICLP 20012001
CL 20002000
KR 20002000
ICLP 19991999
KR 19981998
ICLP 19951995
ICLP 19941994
KR 19941994
ILPS 19931993
JICSLP 19921992
KR 19921992
KR 19911991
ICLP 19901990
KR 19891989
LICS 19891989
ICLP/SPL 19881988

Wrote 32 papers:

Abstract gringo (MG, AH, RK, VL, TS), pp. 449–463.
KR-2014-HarrisonLY #semantics
The Semantics of Gringo and Infinitary Propositional Formulas (AJH, VL, FY).
ICLP-J-2013-LifschitzY #modelling
Lloyd-Topor completion and general stable models (VL, FY), pp. 503–515.
ICLP-2012-Lifschitz #logic programming #source code
Two-Valued Logic Programs (VL), pp. 259–266.
ICLP-J-2012-LifschitzPY #modelling #null #relational
Relational theories with null values and non-herbrand stable models (VL, KP, FY), pp. 565–582.
KR-2012-Lifschitz #logic programming #source code
Logic Programs with Intensional Functions (VL).
ICLP-2011-BochmanL #equivalence
Yet Another Characterization of Strong Equivalence (AB, VL), pp. 11–15.
ICLP-2009-LierlerL #decidability #source code
One More Decidable Class of Finitely Ground Programs (YL, VL), pp. 489–493.
ICLP-2008-LeeLP #modelling
Safe Formulas in the General Theory of Stable Models (JL, VL, RP), pp. 672–676.
Twelve Definitions of a Stable Model (VL), pp. 37–51.
Actions as Special Cases (STE, VL), pp. 377–388.
ICLP-2003-ErdoganL #programming #set
Definitions in Answer Set Programming: (STE, VL), pp. 483–484.
ICLP-2003-LeeL #logic programming #source code
Loop Formulas for Disjunctive Logic Programs (JL, VL), pp. 451–465.
PADL-2003-ErdemLNR #programming #set #using
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming (EE, VL, LN, DR), pp. 160–176.
ICLP-2001-ErdemL #source code #theorem
Fages’ Theorem for Programs with Nested Expressions (EE, VL), pp. 242–254.
CL-2000-ErdemLW #satisfiability
Wire Routing and Satisfiability Planning (EE, VL, MDFW), pp. 822–836.
Missionaries and Cannibals in the Causal Calculator (VL), pp. 85–96.
ICLP-1999-Lifschitz #set
Answer Set Planning (VL), pp. 23–37.
KR-1998-Lifschitz #calculus #logic
Situation Calculus and Causal Logic (VL), pp. 536–546.
SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.
ICLP-1994-LifschitzT #logic programming
Splitting a Logic Program (VL, HT), pp. 23–37.
Actions with Indirect Effects (GNK, VL), pp. 341–350.
ILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning
Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.
JICSLP-1992-GelfondL #logic programming #representation
Representing Actions in Extended Logic Programming (MG, VL), pp. 559–573.
KR-1992-LifschitzW #reasoning #set
Answer Sets in General Nonmonotonic Reasoning (VL, TYCW), pp. 603–614.
Disjective Defaults (MG, HP, VL, MT), pp. 230–237.
KR-1991-Lifschitz #towards
Toward a Metatheory of Action (VL), pp. 376–386.
CLP-1990-GelfondL90 #logic programming #source code
Logic Programs with Classical Negation (MG, VL), pp. 579–597.
KR-1989-EtheringtonFGIL #reasoning
Critical Issues in Nonmonotonic Reasoning (DWE, KDF, MLG, DJI, VL), pp. 500–504.
KR-1989-Lifschitz #logic
Between Circumscription and Autoepistemic Logic (VL), pp. 235–244.
LICS-1989-Lifschitz #reasoning
The Mathematics of Nonmonotonic Reasoning (VL), p. 242.
JICSCP-1988-GelfondL88 #logic programming #semantics
The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.