8228 search results - page 312 / 1646 » Structural Logical Relations |
193
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
146
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define sever...
182
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Multi-task learning (MTL) aims to improve generalization performance by learning multiple related tasks simultaneously. In this paper, we consider the problem of learning shared s...
202
click to vote
CCS
2010
ACM
16 years 1 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...
187
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...