In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Aâ€¦Â (More)

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

2011

2011

- Antoine Taveneaux
- CiE
- 2011

In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexityâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- Tian Lan, David T. H. Kao, Mung Chiang, Ashutosh Sabharwal
- 2010 Proceedings IEEE INFOCOM
- 2010

We present five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms isâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

This paper axiomatizes the robust control criterion of multiplier preferences introduced by Hansen and Sargent (2001). Theâ€¦Â (More)

Is this relevant?

2003

2003

- Jason W Melvin
- 2003

Axiomatic design is investigated as a design methodology for large or complex system design. Particular considerations of systemâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

In this paper we introduce the DOLCE upper level ontology, the first module of a Foundational Ontologies Library being developedâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Klaus Schild
- IJCAI
- 1991

We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notationalâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Dexter Kozen
- LICS
- 1991

We give a nitary axiomatization of the algebra of regular events involving only equations and equational implications Unlike Saloâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions ofâ€¦Â (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- Joseph Y. Halpern
- IJCAI
- 1989

We consider two approaches to giving semantics to first order logics of probability. The first approach puts a probability on theâ€¦Â (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- Susan S. Owicki, David Gries
- Commun. ACM
- 1976

An axiomatic method for proving a number of properties of parallel programs is presented. Hoare has given a set of axioms forâ€¦Â (More)

Is this relevant?