2920 search results - page 135 / 584 » Finite information logic |
107
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
84
Voted
AMAI
2006
Springer
15 years 26 days ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
114
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
93
Voted
EDBTW
2006
Springer
15 years 4 months ago
2006
Springer
Users without knowledge of schemas or structured query languages have difficulties in accessing information stored in databases. Commercial and research efforts have focused on key...
101
Voted
KR
2010
Springer
15 years 2 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...