Sciweavers

3729 search results - page 41 / 746
» On Formal Modeling of Agent Computations
Sort
View
COLING
1996
15 years 1 months ago
A Unified Theory of Irony and Its Computational Formalization
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
Akira Utsumi
IJIS
2002
86views more  IJIS 2002»
14 years 11 months ago
Dynamics and control in component-based agent models
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
ATAL
2008
Springer
15 years 1 months ago
Modelling coalitions: ATL + argumentation
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
Nils Bulling, Jürgen Dix, Carlos Iván ...
IAT
2010
IEEE
14 years 9 months ago
Continuous Double Auction in Grid Computing: An Agent Based Approach to Maximize Profit for Providers
Economic models are found efficient in managing heterogeneous computer resources such as storage, CPU and memory for grid computing. Commodity market, double auction and contract-n...
S. M. Aminul Haque, Saadat M. Alhashmi, Rajendran ...
IRI
2009
IEEE
15 years 6 months ago
An Agent-based Formal Framework for Modeling and Simulating Supply Chains
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin