4595 search results - page 607 / 919 » Reasoning about Plans |
94
Voted
IJCSA
2007
15 years 20 days 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...
90
Voted
SYNTHESE
2008
15 years 20 days 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...
74
Voted
SYNTHESE
2008
15 years 20 days 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...
81
Voted
AML
2005
15 years 20 days 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...
84
Voted
JAPLL
2007
15 years 19 days ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...