Concepedia

Vladimir Lifschitz

VL

Statistics

Publications

71

Citations

12.5K

H-Index

40

Active since

1981

Affiliations

The University of Texas at Austin(Current)

Stanford University

Arizona State University

The University of Texas at El Paso

University of Genoa

Vladimir Lifschitz is an author at The University of Texas at Austin specializing in computer science, computing, and knowledge representation.

ORCID

Publications per year

1981–2023

71

Publications

71

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

, , +11

Strongly equivalent logic programs

Vladimir Lifschitz, David Pearce, Agustín Valverde · ACM Transactions on Computational Logic · 2001 · 535 citations

, , +16

Representing action and change by logic programs

Michael Gelfond, Vladimir Lifschitz · The Journal of Logic Programming · 1993 · 516 citations

, , +10

Logic programs with classical negation

Michael Gelfond, Vladimir Lifschitz · International Conference on Lightning Protection · 1990 · 483 citations

, , +9

1–5 of 71