8228 search results - page 51 / 1646 » Structural Logical Relations |
129
Voted
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
122
click to vote
KR
2010
Springer
15 years 4 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...
109
Voted
FSKD
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. To investigate the structure of the genomic interaction network built from yeast gene-expression compendium dataset of hundreds of systematic perturbations, social affili...
107
Voted
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
125
click to vote
AIML
2008
15 years 3 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...