3573 search results - page 390 / 715 » Reasoning about Codata |
152
click to vote
IJAOSE
2007
15 years 6 months ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
155
click to vote
IJCSA
2007
15 years 6 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...
167
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
133
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more com...
152
click to vote
AML
2005
15 years 6 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...