10568 search results - page 590 / 2114 » Computer Intelligence and Formalization |
256
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
160
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
208
Voted
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
185
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
151
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents a formal framework within which autonomous agents can dynamically select and apply different mechanisms to coordinate their interactions with one ano...