Sciweavers

3729 search results - page 6 / 746
» On Formal Modeling of Agent Computations
Sort
View
ACOM
2006
Springer
15 years 5 months ago
On the Semantics of Conditional Commitment
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
Shakil M. Khan, Yves Lespérance
AAMAS
2012
Springer
13 years 7 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
RAS
1998
126views more  RAS 1998»
14 years 11 months ago
Negotiation decision functions for autonomous agents
We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent for anoth...
Peyman Faratin, Carles Sierra, Nicholas R. Jenning...
REST
2010
ACM
15 years 1 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
ATAL
2008
Springer
15 years 1 months ago
Petri net plans: a formal model for representation and execution of multi-robot plans
Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pi...