5671 search results - page 707 / 1135 » A Semantic Approach to Interpolation |
186
click to vote
ITS
2004
Springer
16 years 12 days ago
2004
Springer
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
187
click to vote
VLDB
2004
ACM
16 years 11 days ago
2004
ACM
We present a practical and efficient approach to incorporating privacy policy enforcement into an existing application and database environment, and we explore some of the semanti...
176
click to vote
WEBI
2004
Springer
16 years 11 days ago
2004
Springer
PPDN, Push-Pull Distribution Network, — a proposal for a novel framework for peer-to-peer collaborative research network is presented. Some requirements not addressed by the cur...
165
click to vote
AUSAI
2003
Springer
16 years 8 days ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
213
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...