361 search results - page 49 / 73 » Characterization of Semantics for Argument Systems |
128
Voted
FOIS
2006
15 years 6 months ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
138
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
133
Voted
SPATIALCOGNITION
1998
Springer
15 years 9 months ago
1998
Springer
This paper investigates geometric and ontological aspects of shape concepts underlying the semantics of nouns. Considering the German shape nouns Ecke and Knick (corner and kink) w...
135
Voted
ENVSOFT
2007
15 years 5 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
145
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...