This paper presents assumptions underlying the modelling and specification of the VT task in DESIRE. These assumptions are about the modelling of tasks in general, the specification of task models in ...
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at these levels. In th...
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at these levels. In th...
Minimum size limits have become an increasingly popular management tool in recreational fisheries. This popularity stems from the potential of minimum size limits to accomplish the twin goals of limit...
Minimum size limits have become an increasingly popular management tool in recreational fisheries. This popularity stems from the potential of minimum size limits to accomplish the twin goals of limit...
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extens...
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extens...