10568 search results - page 405 / 2114 » Computer Intelligence and Formalization |
179
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
161
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
152
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
170
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
125
click to vote
COLING
2002
15 years 4 months ago
2002
This paper attempts to bridge the gap between FrameNet frames and inference. We describe a computational formalism that captures structural relationships among participants in a d...