Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,776,148 papers from all fields of science

Search

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

Highly Cited

2008

Highly Cited

2007

Highly Cited

2007

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity axioms…

Highly Cited

2007

Highly Cited

2007

Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements…

Highly Cited

1996

Highly Cited

1996

Highly Cited

1993

Highly Cited

1993

Preliminaries.- A.- I: Arithmetic as Number Theory, Set Theory and Logic.- II: Fragments and Combinatorics.- B.- III: Self…

Highly Cited

1991

Highly Cited

1991

Preface Background The standard model Discretely ordered rings Godel incompleteness The axioms of Peano arithmetic Some number…

Highly Cited

1988

Highly Cited

1985

Highly Cited

1985

Highly Cited

1981

Highly Cited

1981

An extenston of the Knuth-Bendix algorithm for finding complete sets of reductions is described. The extension is intended to…

Highly Cited

1973

Highly Cited

1973

This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually based…