Sciweavers

3729 search results - page 216 / 746
» On Formal Modeling of Agent Computations
Sort
View
AAAI
2012
13 years 9 months ago
Real-Time Collaborative Planning with the Crowd
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
Walter S. Lasecki, Jeffrey P. Bigham, James F. All...
CORR
2008
Springer
100views Education» more  CORR 2008»
15 years 6 months ago
An Agent-Based Simulation of In-Store Customer Experiences
: Agent-based modelling and simulation offers a new and exciting way of understanding the world of work. In this paper we describe the development of an agent-based simulation mode...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...
ATAL
2007
Springer
16 years 21 days ago
When price is not enough: combining logical and numerical issues in bilateral negotiation
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 6 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
IGPL
2010
111views more  IGPL 2010»
15 years 5 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...