10568 search results - page 603 / 2114 » Computer Intelligence and Formalization |
185
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
166
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, ...
170
click to vote
AIPS
2010
15 years 7 months ago
2010
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...
213
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...