2012 search results - page 15 / 403 » CORAL - Control, Relations and Logic |
145
Voted
PEPM
2011
ACM
14 years 4 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
104
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
115
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
135
click to vote
SYNTHESE
2008
15 years 1 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
219
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Logical constraints, (e.g., 'phone numbers in toronto can have prefixes 416, 647, 905 only'), are ubiquitous in relational databases. Traditional integrity constraints, ...