769 search results - page 19 / 154 » Is Logic all in our Heads |
116
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—In this paper, we investigate the multicast capacity for static network with heterogeneous clusters. We study the effect of heterogeneities on the achievable capacity from two a...
107
click to vote
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...
107
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
AI
2006
Springer
15 years 23 days ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
119
Voted
FUIN
2010
14 years 10 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...