1162 search results - page 51 / 233 » Monotonic Semantic Interpretation |
EPIA
2005
Springer
15 years 4 months ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
EMNLP
2006
15 years 9 days ago
2006
NLP systems for tasks such as question answering and information extraction typically rely on statistical parsers. But the efficacy of such parsers can be surprisingly low, partic...
ENTCS
2002
14 years 10 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
129
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
79
Voted
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...