2490 search results - page 54 / 498 » Complexity of Contextual Reasoning |
113
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
133
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
139
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
153
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Moving around our physical environment, we are surrounded and interact with information that exhorts and stimulates us to buy things. For most of us, not all of these impulses are...
98
Voted
CONTEXT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...