1993 search results - page 83 / 399 » On Action Theory Change |
129
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
129
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
145
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper proves that in Size Theory the comparison of multidimensional size functions can be reduced to the 1-dimensional case by a suitable change of variables. Indeed, we show...
144
click to vote
AAAI
2006
15 years 7 months ago
2006
This paper describes a novel negotiation protocol for cellular networks, which intelligently improves the performance of the network. Our proposed reactive mechanism enables the d...
158
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...