1512 search results - page 65 / 303 » When Suboptimal Rules |
ATAL
2011
Springer
12 years 10 months ago
2011
Springer
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
REFLECTION
1999
Springer
14 years 2 months ago
1999
Springer
When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remov...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
FASE
2000
Springer
14 years 1 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...