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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1991-2014
0246819912014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Combinatory categorial grammar (CCG) is a grammar formalism used for natural language parsing. CCG assigns structured lexical… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
We study an extension of disjunctive logic programs called set constraint disjunctive (SCD) programs where the clauses of the… (More)
Is this relevant?
2012
2012
In an important and much cited paper Vladimir Lifschitz and Hudson Turner have shown how, under certain conditions, logic… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
To formalize some types of non-monotonic reasoning in physics, researchers have proposed an approach based on Kolmogorov… (More)
Is this relevant?
1997
1997
43 as to the temporal explanation of inferring actions from uent changes. All examples and a few additional benchmark examples… (More)
Is this relevant?
1996
1996
the middle ground between STRIPS and the situation calculus. The frame problem in the situation calculus: a simple solution… (More)
Is this relevant?
1996
1996
18 The two lines after the command line are GETFOL output. They tell us that, in order to perform reeection up, the system enters… (More)
Is this relevant?
Review
1993
Review
1993
Why would one read the papers of masters? There are at least two reasons for doing so. First, by tracing the development of ideas… (More)
Is this relevant?
1991
1991
14 Vladimir Lifschitz have provided useful feedback. Alex Simpson has proof checked some versions of this paper and corrected… (More)
Is this relevant?