Vladimir Lifschitz

15.3k total citations · 2 hit papers
125 papers, 6.3k citations indexed

About

Vladimir Lifschitz is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Vladimir Lifschitz has authored 125 papers receiving a total of 6.3k indexed citations (citations by other indexed papers that have themselves been cited), including 105 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. Recurrent topics in Vladimir Lifschitz's work include Logic, Reasoning, and Knowledge (100 papers), Semantic Web and Ontologies (53 papers) and Multi-Agent Systems and Negotiation (43 papers). Vladimir Lifschitz is often cited by papers focused on Logic, Reasoning, and Knowledge (100 papers), Semantic Web and Ontologies (53 papers) and Multi-Agent Systems and Negotiation (43 papers). Vladimir Lifschitz collaborates with scholars based in United States, Italy and Germany. Vladimir Lifschitz's co-authors include Michael Gelfond, Enrico Giunchiglia, Paolo Ferraris, Hudson Turner, David Pearce, Agustín Valverde, Joohyung Lee, Joohyung Lee, Norman McCain and Lappoon R. Tang and has published in prestigious journals such as Nature, PEDIATRICS and ACM Computing Surveys.

In The Last Decade

Vladimir Lifschitz

114 papers receiving 5.5k citations

Hit Papers

The stable model semantics for logic programming 1988 2026 2000 2013 1988 1991 500 1000 1.5k

Peers

Vladimir Lifschitz
Michael Gelfond United States
Chitta Baral United States
Steve Hanks United States
Bill Joy United States
C. R. Ramakrishnan United States
Michael Gelfond United States
Vladimir Lifschitz
Citations per year, relative to Vladimir Lifschitz Vladimir Lifschitz (= 1×) peers Michael Gelfond

Countries citing papers authored by Vladimir Lifschitz

Since Specialization
Citations

This map shows the geographic impact of Vladimir Lifschitz's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Vladimir Lifschitz with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Vladimir Lifschitz more than expected).

Fields of papers citing papers by Vladimir Lifschitz

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Vladimir Lifschitz. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Vladimir Lifschitz. The network helps show where Vladimir Lifschitz may publish in the future.

Co-authorship network of co-authors of Vladimir Lifschitz

This figure shows the co-authorship network connecting the top 25 collaborators of Vladimir Lifschitz. A scholar is included among the top collaborators of Vladimir Lifschitz based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Vladimir Lifschitz. Vladimir Lifschitz is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Fandinno, Jorge, et al.. (2023). External Behavior of a Logic Program and Verification of Refactoring. Theory and Practice of Logic Programming. 23(4). 933–947. 2 indexed citations
2.
Fandinno, Jorge, Vladimir Lifschitz, Patrick Lühne, & Torsten Schaub. (2020). Verifying Tight Logic Programs with anthem and vampire. Theory and Practice of Logic Programming. 20(5). 735–750. 9 indexed citations
3.
Lifschitz, Vladimir, Torsten Schaub, & Stefan Woltran. (2018). Interview with Vladimir Lifschitz. KI - Künstliche Intelligenz. 32(2-3). 213–218. 1 indexed citations
4.
Lifschitz, Vladimir. (2012). Logic programs with intensional functions. Principles of Knowledge Representation and Reasoning. 24–31. 10 indexed citations
5.
Ferraris, Paolo, Joohyung Lee, & Vladimir Lifschitz. (2007). A new perspective on stable models. International Joint Conference on Artificial Intelligence. 372–379. 56 indexed citations
6.
Amir, Eyal, Vladimir Lifschitz, & Rob Miller. (2007). Logical formalizations of commonsense reasoning : Papers from the AAAI Spring Symposium : Technical Report SS-07-05. 4 indexed citations
7.
Lee, Joohyung & Vladimir Lifschitz. (2006). A Knowledge Module: Buying and Selling.. National Conference on Artificial Intelligence. 28–32. 2 indexed citations
8.
Lifschitz, Vladimir, et al.. (2006). Actions as special cases. Principles of Knowledge Representation and Reasoning. 377–387. 8 indexed citations
9.
Lifschitz, Vladimir, et al.. (2006). Towards a modular action description language. National Conference on Artificial Intelligence. 33–43. 2 indexed citations
10.
Lifschitz, Vladimir, et al.. (2003). Definitions in Answer Set Programming: (Extended Abstract).. International Conference on Lightning Protection. 483–484. 3 indexed citations
11.
Lifschitz, Vladimir. (2000). Missionaries and cannibals in the causal calculator. Principles of Knowledge Representation and Reasoning. 85–96. 26 indexed citations
12.
Lifschitz, Vladimir. (1998). Situation Calculus and Causal Logic.. Principles of Knowledge Representation and Reasoning. 536–546. 2 indexed citations
13.
Giunchiglia, Enrico & Vladimir Lifschitz. (1995). Dependent fluents. International Joint Conference on Artificial Intelligence. 1964–1969. 18 indexed citations
14.
Lifschitz, Vladimir & T.Y.C. Woo. (1992). Answer Sets in General Nonmonotonic Reasoning (Preliminary Report).. Principles of Knowledge Representation and Reasoning. 603–614. 37 indexed citations
15.
Gelfond, Michael & Vladimir Lifschitz. (1992). Representing Actions in Extended Logic Programming.. 559–573. 47 indexed citations
16.
Etherington, David W., Kenneth D. Forbus, Matthew L. Ginsberg, David Israël, & Vladimir Lifschitz. (1989). Critical issues in nonmonotonic reasoning. Principles of Knowledge Representation and Reasoning. 500–504. 3 indexed citations
17.
Gelfond, Michael & Vladimir Lifschitz. (1988). Compiling circumscriptive theories into logic programs: preliminary report. National Conference on Artificial Intelligence. 455–459. 5 indexed citations
18.
Lifschitz, Vladimir. (1986). Pointwise circumscription: preliminary report. National Conference on Artificial Intelligence. 406–410. 45 indexed citations
19.
Lifschitz, Vladimir. (1984). Some Results on Circumscription.. 151–164. 21 indexed citations
20.
Lifschitz, Vladimir. (1980). Semantical completeness theorems in logic and algebra. Proceedings of the American Mathematical Society. 79(1). 89–96. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026