661 search results - page 2 / 133 » A Logic of Capabilities |
ALPUK
1990
13 years 7 months ago
1990
FPL
2010
Springer
13 years 4 months ago
2010
Springer
ISCAS
1995
IEEE
13 years 9 months ago
1995
IEEE
This paper proposes a multilevel logic approach to output coding using multilevel neurons in the output layer. Training convergence for a single multilevel perceptron is considere...
ICAI
2003
13 years 7 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
SAS
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...