2273 search results - page 99 / 455 » On the Expressiveness and Complexity of ATL |
ECAL
2007
Springer
15 years 4 months ago
2007
Springer
There is an ongoing debate about whether the words in the first languages spoken by humans expressed single concepts or complex holophrases. A computer model was used to investigat...
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
A novel calculator, ideal for interactive whiteboards and pen-based devices, is introduced and evaluated. The calculator provides a natural, dynamic method of entering conventiona...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
In a series of papers [3-8], Daida et. al. highlighted the difficulties posed to Genetic Programming (GP) by the complexity of the structural search space, and attributed the probl...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
DALT
2009
Springer
15 years 1 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...