1676 search results - page 159 / 336 » Formal Development of Self-organising Systems |
180
click to vote
STACS
1991
Springer
15 years 9 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
139
click to vote
IJCAI
2001
15 years 7 months ago
2001
The ability to generate effective evaluative arguments is critical for systems intended to advise and persuade their users. We have developed a system that generates evaluative ar...
145
click to vote
ICMAS
2000
15 years 7 months ago
2000
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
171
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
143
click to vote
STANDARDVIEW
1998
15 years 5 months ago
1998
Compatibility is a key strategic decision in software production. Proposals exist for standards in several fields of software production, such as networking (ISO and IEEE), operat...