233
click to vote
AMSTERDAM
15 years 12 days ago
2009 
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
133
click to vote
CADE
16 years 3 months ago
2009 Springer 
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
148
click to vote
AMSTERDAM
15 years 21 days ago
2009
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...
168
click to vote
AMSTERDAM
15 years 21 days ago
2009
Abstract. Pratt and Third's syllogistic fragments of English can be used to capture, in addition to syllogistic reasoning, many other kinds of common sense reasoning, and, in ...
|
Logical Reasoning