Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Vladimir Lifschitz

Vladimir Lifschitz is the Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin. He received a degree in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Splitting results in non-mononotonic formalisms have a long tradition. On the one hand, these results can be used to improve… Expand
Is this relevant?
2009
2009
Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2004
2004
The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract We describe a simple declarative languageEfor describing the effects of a series of action occurrences within a… Expand
Is this relevant?
1994
1994
We deene and study a high-level language for describing actions that extends the language A introduced by Gelfond and Lifschitz… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Though the declarative semantics of both explicit and nonmonotonic negation in logic programs has been studied extensively… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The approach to database query evaluation developed by Levesque and Reiter treats databases as first order theories, and queries… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We… Expand
Is this relevant?