1559 search results - page 126 / 312 » Some Group Theory Problems |
137
click to vote
ATAL
2009
Springer
15 years 11 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...
120
Voted
BRAIN
2009
Springer
15 years 11 months ago
2009
Springer
The essence of computer applications is to store things in the real world into computer systems in the form of data, i.e., it is a process of producing data. Some data are the reco...
197
Voted
ABIALS
2008
Springer
15 years 11 months ago
2008
Springer
Simulation theories have in recent years proposed that a cognitive agent's "inner world" can at least partly be constituted by internal emulations or simulations of ...
109
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...
124
click to vote
AAAI
2006
15 years 6 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...