Add to ORKGWe relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability in the logical model.
This paper analyzes Bayesian normal form games in which players write contracts that condition their...
Abstract. This paper analyzes a normal form game in which players write contracts that condition the...
Abstract. This paper analyzes a normal form game in which players write contracts that condition the...
We relate two contract models: one based on event structures and game theory, and the other one base...
Contracts are formal promises on the future interactions of participants, which describe the causal ...
Several recent investigations in Artificial Intelligence and Law have dealt with the problem of "con...
Event structures are one of the classical models of concurrent systems. The idea is that an enabling...
This paper presents a computational model of negotiation based on Nebel’s syntax-based belief revisi...
AbstractWe consider the notion of a contract that governs the behavior of a collection of agents. In...
We establish a relation between two models of contracts: binary session types, and a model based on ...
We present a theory of contracts. Contracts are interacting processes with an explicit notion of obl...
AbstractWe consider the notion of a contract that governs the behavior of a collection of agents. In...
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motiv...
The purpose of this article is to promote a particular research program; namely, the use of game the...
The purpose of this article is to promote a particular research program; namely, the use of game the...
This paper analyzes Bayesian normal form games in which players write contracts that condition their...
Abstract. This paper analyzes a normal form game in which players write contracts that condition the...
Abstract. This paper analyzes a normal form game in which players write contracts that condition the...
We relate two contract models: one based on event structures and game theory, and the other one base...
Contracts are formal promises on the future interactions of participants, which describe the causal ...
Several recent investigations in Artificial Intelligence and Law have dealt with the problem of "con...
Event structures are one of the classical models of concurrent systems. The idea is that an enabling...
This paper presents a computational model of negotiation based on Nebel’s syntax-based belief revisi...
AbstractWe consider the notion of a contract that governs the behavior of a collection of agents. In...
We establish a relation between two models of contracts: binary session types, and a model based on ...
We present a theory of contracts. Contracts are interacting processes with an explicit notion of obl...
AbstractWe consider the notion of a contract that governs the behavior of a collection of agents. In...
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motiv...
The purpose of this article is to promote a particular research program; namely, the use of game the...
The purpose of this article is to promote a particular research program; namely, the use of game the...
This paper analyzes Bayesian normal form games in which players write contracts that condition their...
Abstract. This paper analyzes a normal form game in which players write contracts that condition the...
Abstract. This paper analyzes a normal form game in which players write contracts that condition the...