295 search results - page 8 / 59 » Reasoning about Cardinal Directions |
JAIR
2010
13 years 5 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
ATAL
2007
Springer
14 years 27 days ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
ECOOP
2005
Springer
14 years 7 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
CAV
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
PAMI
2010
13 years 5 months ago
2010
—Stability (robustness) of feature selection methods is a topic of recent interest, yet often neglected importance, with direct impact on the reliability of machine learning syst...