1149 search results - page 1 / 230 » What Are Iteration Theories |
MFCS
2007
Springer
13 years 11 months ago
2007
Springer
ICLP
1998
Springer
13 years 9 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
SAGT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In game theory, a player’s action is said to be weakly dominated if there exists another action that, with respect to what the other players do, is never worse and some...
NORDSEC
2009
Springer
13 years 11 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
AAAI
1996
13 years 6 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...