Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Axiomatic system

Known as: Axiomatization, Axiomatic method, Axiomatic theory 
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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
We study the problem of attributing the prediction of a deep network to its input features, a problem previously studied by… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2009
Highly Cited
2009
Understanding user intent is key to designing an effective ranking system in a search engine. In the absence of any explicit… Expand
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 4
Highly Cited
2008
Highly Cited
2008
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit… Expand
  • figure 1
  • figure 3
Highly Cited
2005
Highly Cited
2005
Capital allocation techniques are of central importance in portfolio management and risk-based performance measurement. In this… Expand
Highly Cited
2001
Highly Cited
2001
The notion of diversity is an issue that is of relevance in several contexts. For example, the biodiversity of a given ecological… Expand
Highly Cited
1992
Highly Cited
1992
We describe an interval logic for reasoning about space. The logic simpli es an earlier theory developed by Randell and Cohn, and… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Highly Cited
1985
Highly Cited
1985
This article establishes the relationship between the static axiomatic theory of bargaining and the sequential strategic approach… Expand
Highly Cited
1976
Highly Cited
1976
An axiomatic method for proving a number of properties of parallel programs is presented. Hoare has given a set of axioms for… Expand
  • figure 3
Highly Cited
1970
Highly Cited
1970
Abstract : The book presents a concise yet mathematically complete treatment of modern utility theories that covers… Expand
Highly Cited
1964
Highly Cited
1964
The essential character of what is classically considered, e.g., by N. R. Campbell, the fundamental measurement of extensive… Expand
  • figure 1