Sciweavers

955 search results - page 72 / 191
» Semantic Approach to Dynamic Coordination in Autonomous Syst...
Sort
View
KI
1997
Springer
13 years 12 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
NRHM
2002
87views more  NRHM 2002»
13 years 7 months ago
Denotative and connotative semantics in hypermedia: proposal for a semiotic-aware architecture
In this article we claim that the linguistic-centred view within hypermedia systems needs refinement through a semiotic-based approach before real interoperation between media can...
Frank Nack, Lynda Hardman
ATAL
2010
Springer
13 years 9 months ago
Alternating-time dynamic logic
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
Nicolas Troquard, Dirk Walther
ICADL
2010
Springer
188views Education» more  ICADL 2010»
14 years 17 days ago
A Collaborative Scholarly Annotation System for Dynamic Web Documents - A Literary Case Study
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...
Anna Gerber, Andrew Hyland, Jane Hunter
ESEC
1997
Springer
13 years 12 months ago
A View-Oriented Approach to System Modelling Based on Graph Transformation
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Ha...