2911 search results - page 255 / 583 » A Theory of Expressiveness in Mechanisms |
198
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
163
click to vote
SLP
1997
15 years 8 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
159
click to vote
JAR
2008
15 years 6 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
171
click to vote
JCT
2007
15 years 6 months ago
2007
Abstract. We develop linear representation theory for bicircular matroids, a chief example being a matroid associated with forests of a graph, and bicircular lift matroids, a chief...
134
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Hopf bifurcation theory for an oscillator subject to a weak feedback but a large delay is investigated for a specific laser system. The problem is motivated by semiconductor laser ...