3353 search results - page 208 / 671 » Laver and set theory |
159
click to vote
FUZZIEEE
2007
IEEE
16 years 26 days ago
2007
IEEE
— One of the main obstacles facing the application of computational intelligence technologies in pattern recognition (and indeed in many other tasks) is that of dataset dimension...
155
click to vote
ICFEM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
156
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
134
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
Cooperative games under precedence constraints have been introduced by Faigle and Kern [1] , [4] as a generalization of classical cooperative games. An important notion in coopera...
176
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...