3831 search results - page 51 / 767 » Dynamic Context Logic |
101
Voted
CADE
2005
Springer
15 years 2 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
73
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Next-generation Grids will require flexible and adaptive network infrastructures that would be able to provide the requisite quality of service for computational flows....
119
Voted
IAT
2009
IEEE
14 years 10 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
98
Voted
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
102
Voted
CAI
1999
Springer
15 years 6 days ago
1999
Springer
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...