972 search results - page 70 / 195 » Reasoning with Conditional Time-Intervals |
202
Voted
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
173
Voted
LACL
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
192
click to vote
TARK
2005
Springer
16 years 27 days ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
182
Voted
POLICY
2004
Springer
16 years 23 days ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
220
Voted
AISC
2010
Springer
16 years 7 days ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...