2500 search results - page 163 / 500 » Logical Semantics of Modularisation |
152
click to vote
EMNLP
2007
15 years 8 months ago
2007
We consider the problem of learning to parse sentences to lambda-calculus representations of their underlying semantics and present an algorithm that learns a weighted combinatory...
178
click to vote
NJC
2002
15 years 6 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
171
click to vote
DLOG
2010
15 years 4 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
180
click to vote
DEXAW
2006
IEEE
16 years 15 days ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
175
click to vote
ICTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...