3891 search results - page 504 / 779 » A logic for strategic reasoning |
90
Voted
IJCINI
2007
15 years 20 days ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
115
Voted
CSL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
122
Voted
KI
2002
Springer
15 years 12 days ago
2002
Springer
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
216
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
190
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...