5353 search results - page 212 / 1071 » Modelling Contexts in the Or-BAC Model |
178
Voted
AAAI
2007
15 years 9 months ago
2007
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
214
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
196
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Except for a handful of "mobile" Web sites, the Web is designed for browsing with personal computers with large screens capable of fitting the content of most Web pages....
188
click to vote
JCDL
2004
ACM
16 years 3 days ago
2004
ACM
We present a new approach to displaying and browsing a digital library collection, a set of Greek vases in the Perseus digital library. Our design takes advantage of three-dimensi...
292
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...