Sciweavers

157 search results - page 9 / 32
» Logic-Based Electronic Institutions
Sort
View
ENGL
2008
100views more  ENGL 2008»
13 years 7 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
CEEMAS
2005
Springer
14 years 1 months ago
Towards an Institutional Environment Using Norms for Contract Performance
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
Henrique Lopes Cardoso, Eugénio C. Oliveira
AOSE
2006
Springer
13 years 11 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
ATAL
2007
Springer
14 years 1 months ago
Designing protocols for agent institutions
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...
Huib Aldewereld, Frank Dignum, John-Jules Ch. Meye...
ATAL
2005
Springer
14 years 1 months ago
Reliable group communication and institutional action in a multi-agent trading scenario
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
Stephen Cranefield