4737 search results - page 290 / 948 » The LOGIC negotiation model |
229
click to vote
DMDW
2003
15 years 8 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
326
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
196
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
221
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO2) can be decided in linear time on any class of graphs of ...
240
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...