486 search results - page 59 / 98 » Expressing OLAP Preferences |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
ISMIS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a knowledge-based system, for skills and talent management, exploiting semantic technologies combined with top-k retrieval techniques. The system provides adva...
TARK
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
AUSAI
2007
Springer
14 years 1 months ago
2007
Springer
A prerequisite of any successful social robot is the ability to express its internal state and intention to humans in a natural way. Many researchers studied verbal and nonverbal f...