World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
63
Citations
23938
World Ranking
2689
National Ranking
1334

Research.com Recognitions

  • 1991 - Fellow of the Association for the Advancement of Artificial Intelligence (AAAI)

Overview

Vladimir Lifschitz is primarily affiliated with The University of Texas at Austin in the United States. Their research is situated within the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, and Information Systems and Management.

Their work extensively addresses topics related to Logic, Reasoning, and Knowledge, as well as Multi-Agent Systems and Negotiation. Other important areas of their research coverage include Logic, programming, and type systems, Semantic Web and Ontologies, AI-based Problem Solving and Planning, Advanced Algebra and Logic, and Natural Language Processing Techniques.

Among recent papers authored or co-authored by Lifschitz, several have been published in the "Theory and Practice of Logic Programming" journal. These include:

  • "Verifying Tight Logic Programs with anthem and vampire" (2020)
  • "External Behavior of a Logic Program and Verification of Refactoring" (2023)
  • "Strong Equivalence of Logic Programs with Counting" (2022)
  • "Locally Tight Programs" (2024)
  • "Here and There with Arithmetic" (2021)

Frequent co-authors collaborating with Lifschitz include Jorge Fandinno, Yuliya Lierler, Torsten Schaub, Zachary Hansen, and Nathan Temple. These research partnerships are reflected in shared publications across various topics related to logic programming and knowledge representation.

Lifschitz's work has been primarily published in scholarly venues such as:

  • Theory and Practice of Logic Programming
  • arXiv (Cornell University)
  • Electronic Proceedings in Theoretical Computer Science
  • AI Magazine

In recognition of contributions to the field, Lifschitz was named Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) in 1991.

Best Publications

  • The stable model semantics for logic programming

    Michael Gelfond;Vladimir Lifschitz

  • Classical negation in logic programs and disjunctive databases

    Michael Gelfond;Vladimir Lifschitz

  • Handbook of Knowledge Representation

    Frank van Harmelen;Vladimir Lifschitz;Bruce Porter

  • Logic programs with classical negation

    Michael Gelfond;Vladimir Lifschitz

  • Representing action and change by logic programs

    Michael Gelfond;Vladimir Lifschitz

  • Computing circumscription

    Vladimir Lifschitz

  • Strongly equivalent logic programs

    Vladimir Lifschitz;David Pearce;Agustín Valverde

  • Answer set programming and plan generation

    Vladimir Lifschitz

  • Nonmonotonic causal theories

    Enrico Giunchiglia;Joohyung Lee;Vladimir Lifschitz;Norman McCain

  • Answer Set Programming

    Vladimir Lifschitz

  • Answer set planning

    Vladimir Lifschitz

  • What is answer set programming

    Vladimir Lifschitz

  • Splitting a logic program

    Vladimir Lifschitz;Hudson Turner

  • ON THE SEMANTICS OF STRIPS

    Vladimir Lifschitz

  • Nested expressions in logic programs

    Vladimir Lifschitz;Lappoon R. Tang;Hudson Turner

  • Formal theories of action

    V. Lifschitz

  • Foundations of logic programming

    Vladimir Lifschitz

  • Pointwise circumscription

    V. Lifschitz

  • An action language based on causal explanation: preliminary report

    Enrico Giunchiglia;Vladimir Lifschitz

  • Formalizing Common Sense: Papers by John McCarthy

    John McCarthy;Vladimir Lifschitz

Frequent Co-Authors

Michael Gelfond
Michael Gelfond Texas Tech University
Torsten Schaub
Torsten Schaub University of Potsdam
Enrico Giunchiglia
Enrico Giunchiglia University of Genoa
Luay Nakhleh
Luay Nakhleh Rice University
Chitta Baral
Chitta Baral Arizona State University
Frank van Harmelen
Frank van Harmelen Vrije Universiteit Amsterdam
Peter Stone
Peter Stone The University of Texas at Austin
Alexander A. Razborov
Alexander A. Razborov University of Chicago
Peter F. Patel-Schneider
Peter F. Patel-Schneider Palo Alto Research Center

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degree options can be a smart move for those interested in Computer Science careers in the USA. Many professionals look for flexible programs that deliver value and quality. For those on a budget, a cheap mba online can open doors to tech leadership roles, blending technical knowledge with essential business skills.

If you’re eager to accelerate your education, consider one year graduate programs that offer quick pathways into specialized areas. Some degrees emphasize speed and return on investment. For instance, the list of fastest degree to get online includes high-demand tech and IT credentials.

With the surge in artificial intelligence, pursuing an ai degree online can be particularly valuable. These programs equip students with the knowledge to enter booming fields like machine learning, data science, and automation. Whichever path you choose, online degrees in Computer Science and related areas can offer flexibility—and open up a range of exciting career opportunities.

Best Scientists Citing Vladimir Lifschitz

Trending Scientists