10568 search results - page 448 / 2114 » Computer Intelligence and Formalization |
159
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
211
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
164
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
—Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both conti...
122
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
112
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...