1950 search results - page 58 / 390 » Lambda-Free Logical Frameworks |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
126
click to vote
EIS
2011
14 years 5 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
170
click to vote
POPL
2007
ACM
15 years 10 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...
127
click to vote
JUCS
2010
14 years 8 months ago
2010
: This study provides a conceptual framework with respect to service innovation, especially from a service-dominant logic (S-D logic) perspective. Even though innovation has been d...
104
click to vote
ECAI
2010
Springer
14 years 7 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...