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)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2007

Highly Cited

2007

- Franz Baader, Rafael Peñaloza
- TABLEAUX
- 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

- Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
- Description Logics
- 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)

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

- Jun S. Liu, Rong Chen
- 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

- Andrzej Trybulec
- 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

- Peter Aczel, Nax Paul Mendler
- Category Theory and Computer Science
- 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

- Wenjun Wu
- Journal of Automated Reasoning
- 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

- Stephen A. Cook
- SIAM J. Comput.
- 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

- Arto Salomaa
- J. ACM
- 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?