1676 search results - page 124 / 336 » Formal System Development with KIV |
121
click to vote
TARK
1998
Springer
15 years 8 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
130
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
130
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
110
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
144
Voted
ICSE
1989
IEEE-ACM
15 years 8 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...