16616 search results - page 352 / 3324 » Extending Extended Vacuity |
174
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
168
click to vote
IAT
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
196
click to vote
MMMACNS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Amongst the challenges of ubiquitous computing is the need to provide management support for personal wireless devices and sensors. In this extended abstract we introduce...
194
click to vote
RULEML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
168
click to vote
TABLEAUX
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...