BibSLEIGH — Vladimir

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: Lifschitz:Vladimir

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2009

2008

2006

2003

2001

2000

1999

1998

1995

1994

1993

1992

1991

1990

1989

1988

Wrote 32 papers:

ICLP-J-2015-GebserHKLS: 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.
ICLP-2008-Lifschitz: Twelve Definitions of a Stable Model (VL), pp. 37–51.
KR-2006-ErdoganL: 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.
KR-2000-Lifschitz: 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.
ICLP-1995-Lifschitz: SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.
ICLP-1994-LifschitzT #logic programming: Splitting a Logic Program (VL, HT), pp. 23–37.
KR-1994-KarthaL: 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.
KR-1991-GelfondPLT: 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.