1552 search results - page 176 / 311 » Comprehending agent software |
147
Voted
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
126
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...
232
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
175
click to vote
FAABS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
124
Voted
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...