156 search results - page 6 / 32 » The Expressivity of Quantifying over Regions |
CSL
2010
Springer
14 years 11 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
SAC
2006
ACM
15 years 4 months ago
2006
ACM
In the context of genome research, the method of gene expression analysis has been used for several years. Related microarray experiments are conducted all over the world, and con...
SEFM
2006
IEEE
15 years 4 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
FLAIRS
2007
15 years 13 days ago
2007
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...