1027 search results - page 125 / 206 » Representing and Reasoning with Operational Semantics |
100
click to vote
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
118
Voted
AMSTERDAM
2009
14 years 10 months ago
2009
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
86
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
86
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
100
click to vote
COLING
1996
15 years 2 months ago
1996
In this paper we sketch a decidable inference-based procedure for lexical disambiguation which operates on semantic representations of discourse and conceptual knowledge, In contr...