3776 search results - page 557 / 756 » Partition-Based Logical Reasoning |
157
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
105
click to vote
TIME
2003
IEEE
15 years 7 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
138
Voted
DEON
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
149
click to vote
ASP
2001
Springer
15 years 7 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
82
Voted
CONTEXT
2001
Springer
15 years 7 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...