WALL-E

Known as: List of WALL-E characters, Wall.E, Wall*e 
WALL-E (stylized with an interpunct as WALL·E) is a 2008 American computer-animated comic science-fiction film directed and co-written by Andrew… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1944-2017
05010019442016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
For a developer or user of a DL-based ontology, it is often quite hard to understand why a certain consequence holds, and even… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Much of the research focus in the cooperative control community has been on formation control problems [1, 3, 7, 10, 19]. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • Willard Van Orman Quine
  • 2000
algebra 81; entities; 311, 45,<lb>73: terms 21. 30. 76. 78. Set: also<lb>Attribute, Class, hame<lb>Abstraction: of attributes 76… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
We deal with a non–empty set of functions and a non– empty set of functions from a set A to a non–empty set B. In the case when B… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We prove that every set-based functor on the category of classes has a final coalgebra. This result strengthens the final… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
At the end of 1976 and the beginning of 1977, the author discovered a mechanical method for proving theorems in elementary… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
K. R. Apt pointed out to me that Theorem 3 (completeness) is technically false, because of a problem with initializing newly… (More)
Is this relevant?
Highly Cited
1966
Highly Cited
1966
The theory of finite automata is closely linked with the theory of Kleene's regular expressions. In this paper, two formal… (More)
Is this relevant?