1670 search results - page 147 / 334 » On Skolemization in constructive theories |
169
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
146
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
177
click to vote
EOR
2008
15 years 6 months ago
2008
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
172
click to vote
IJAR
2008
15 years 6 months ago
2008
: Based on the setting of exchangeable bets, this paper proposes a subjectivist view of numerical possibility theory. It relies on the assumption that when an agent constructs a pr...
152
click to vote
ENTCS
2006
15 years 6 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...