660 search results - page 39 / 132 » Reasoning about Dynamic Policies |
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
SAINT
2005
IEEE
14 years 3 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
JANCL
2007
13 years 9 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
SP
2006
IEEE
14 years 3 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...