3717 search results - page 87 / 744 » Representing Multiple Theories |
113
click to vote
AGI
2011
14 years 3 months ago
2011
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented a...
113
click to vote
LICS
1991
IEEE
15 years 3 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
106
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...
ARITH
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...