891 search results - page 61 / 179 » Towards Reasoning Pragmatics |
112
click to vote
IANDC
2010
14 years 11 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
121
click to vote
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
110
click to vote
ECIS
2000
15 years 3 months ago
2000
As the information systems discipline grows, so do the number of programs offering graduate research degrees (GRD). In Australasia these include one year post-graduate (honors) pr...
145
click to vote
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Ontologies will be crucial for the future development of Next Generation Service Delivery Platforms. While various projects have defined ontologies for the mobile domain, there is ...
102
click to vote
FSS
2010
15 years 16 days ago
2010
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...