Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

Highly Cited

2008

Highly Cited

2008

This paper presents an axiomatic model of decision making which incorporates objective but imprecise information. We axiomatize a… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

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

Is this relevant?

Highly Cited

1996

Highly Cited

1996

Abstract This paper presents and compares two views of the theory of rough sets. The operator-oriented view interprets rough set… Expand

Is this relevant?

Highly Cited

1993

Highly Cited

1993

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

Is this relevant?

Highly Cited

1991

Highly Cited

1991

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

Is this relevant?

Highly Cited

1988

Highly Cited

1988

Dependency knowledge of the form “ x is independent of y once z is known” invariably obeys the four graphoid axioms, examples… Expand

Is this relevant?

Highly Cited

1987

Highly Cited

1987

Abstract We consider automatic verification of finite state concurrent programs. The global state graph of such a program can be… Expand

Is this relevant?

Highly Cited

1985

Highly Cited

1985

We present an axiom system ACP, for communicating processes with silent actions (‘τ-steps’). The system is an extension of ACP… Expand

Is this relevant?

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… Expand

Is this relevant?

Highly Cited

1973

Highly Cited

1973

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

Is this relevant?