Springer Science and Business Media LLC

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
A response to “Mechanism Design with Partial Verification and Revelation Principle”
Springer Science and Business Media LLC - Tập 22 Số 1 - Trang 224-224 - 2011
Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, Carmine Ventre
Dynamic simulation of action at operations level
Springer Science and Business Media LLC - - 2008
François Guerrin
The attempt of using lumped or agent-based simulation models to support operations management in production systems puts action modelling to the fore. To fill the gap of classical decision-support systems ignoring human agents’ practices, a modelling framework of action at operations level is proposed. This framework aims at answering two questions: How to represent action? How to represent the ma...... hiện toàn bộ
Logics of knowledge and action: critical analysis and challenges
Springer Science and Business Media LLC - Tập 29 - Trang 719-753 - 2014
Andreas Herzig
We overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our ...... hiện toàn bộ
Ad hoc teamwork by learning teammates’ task
Springer Science and Business Media LLC - - 2016
Francisco S. Melo, Alberto Sardinha
Modeling appraisal in theory of mind reasoning
Springer Science and Business Media LLC - - 2010
Mei Si, Stacy Marsella, David V. Pynadath
An algebra for commitment protocols
Springer Science and Business Media LLC - Tập 14 - Trang 143-163 - 2006
Ashok U. Mallya, Munindar P. Singh
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of protocols and help agents reason about protocols and plan their actions accordingly, while at the same time providing a basis for compliance checking. Multiagent systems based on commitments can conveniently and effectively ...... hiện toàn bộ
Anarchy, stability, and utopia: creating better matchings
Springer Science and Business Media LLC - - 2013
Elliot Anshelevich, Sanmay Das, Yonatan Naamad
AutoMed: an automated mediator for multi-issue bilateral negotiations
Springer Science and Business Media LLC - Tập 24 - Trang 536-564 - 2011
Michal Chalamish, Sarit Kraus
In this paper, we present AutoMed, an automated mediator for multi-issue bilateral negotiation under time constraints. AutoMed elicits the negotiators preferences and analyzes them. It monitors the negotiations and proposes possible solutions for resolving the conflict. We conducted experiments in a simulated environment. The results show that negotiations mediated by AutoMed are concluded signifi...... hiện toàn bộ
Agent communication and social concepts
Springer Science and Business Media LLC - Tập 14 - Trang 119-120 - 2006
Frank Dignum, Rogier M. van Eijk
An iterative approach for makespan-minimized multi-agent path planning in discrete space
Springer Science and Business Media LLC - Tập 29 - Trang 335-363 - 2014
Wenjie Wang, Wooi Boon Goh
Makespan-minimized multi-agent path planning (MAPP) seeks to minimize the time taken by the slowest of n agents to reach its destination and this is essentially a minimax-constrained optimization problem. In this work, an iterative max-min improvement (IMMI) algorithm is proposed to approximate the optimal solution of the makespan-minimized MAPP problem. At each iteration, a linear maximization pr...... hiện toàn bộ
Tổng số: 542   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10