Sciweavers

3406 search results - page 435 / 682
» Modelling situations in intelligent agents
Sort
View
AAAI
2007
15 years 9 months ago
Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions
In auction theory, agents are typically presumed to have perfect knowledge of their valuations. In practice, though, they may face barriers to this knowledge due to transaction co...
David Robert Martin Thompson, Kevin Leyton-Brown
ATAL
2007
Springer
16 years 25 days ago
Convergence and rate of convergence of a simple ant model
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
Amine M. Boumaza, Bruno Scherrer
LFCS
2007
Springer
16 years 24 days ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
AOSE
2005
Springer
16 years 6 days ago
Improving AOSE with an Enriched Modelling Framework
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
Richard Hill, Simon Polovina, Martin D. Beer
PRIMA
2004
Springer
16 years 2 hour ago
Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
Reiko Hishiyama, Toru Ishida