110 search results - page 9 / 22 » Interpreting Classical Theories in Constructive Ones |
73
Voted
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
COGSCI
2010
14 years 9 months ago
2010
With human language, the same utterance can have different meanings in different contexts. Nevertheless, listeners almost invariably converge upon the correct intended meaning. Th...
SIGLEX
1991
15 years 1 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
74
Voted
ENTCS
2008
14 years 9 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
110
click to vote
AAI
2005
14 years 9 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...