1101 search results - page 120 / 221 » Forcing in proof theory |
85
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
115
Voted
HAPTICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...
101
Voted
TARK
1998
Springer
15 years 4 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
104
click to vote
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Cooperation enforcement is one of the key issues in ad hoc networks. In this paper we proposes a new strategy driven approach that aims at discouraging selfish behavior among netwo...
ICAIL
2007
ACM
15 years 4 months ago
2007
ACM
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...