3552 search results - page 320 / 711 » Proof theory in the abstract |
148
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
191
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
173
click to vote
DEXA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...
167
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
145
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...