2638 search results - page 112 / 528 » Frameworks for Reasoning about Agent Based Systems |
146
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
144
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
151
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Recursive reasoning of the form what do I think that you think that I think (and so on) arises often while acting rationally in multiagent settings. Several multiagent decision-ma...
155
click to vote
JAIR
2011
14 years 11 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
160
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...