miun.sePublications
Change search
Refine search result
1 - 3 of 3
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Davies, Guy
    Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
    A User by any Other Name - Looking for shared interpretation of HCI´s most basic agent: Workshop Theoretical perspectives in Human-Computer Interaction , 3rd Septermber 2002, IPLab-KTH2001Conference paper (Other academic)
    Abstract [en]

    When regarding the concept of the "user" in the context of HCI there appears to be consensus on what a user is. Is this consensus real agreement or is it just apparent? This paper examines the concept of user from four theoretical or abstract perspectives that are used in the field of HCI, in relation to a benchmark definition. This definition derives from analysis of a basic dictionary definition. This manner of comparison was chosen in order to reveal digressions omissions or extensions made by theorists to a basic universally accepted concept of "user". The result shows that the concept of a �user�, pervasive as it is, recieves selective interpretation within the perspectives that employ it. Consensus emerges as real at a basic level and apparent at refined levels. From the analytical results some consequences for designers are also discusse

  • 2.
    Davies, Guy
    et al.
    Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
    Ekenberg, Love
    Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
    Agent Metaphores for Analysing Telematic Services1998In: Intelligent Agents for Telecommunication Applications, 1998, p. 156-Chapter in book (Other academic)
    Abstract [en]

    Using a formalisation based on logic and set theory, we present the use of transformations between process related languages and dynamic entity-relationship models. This work formalises and incorporates our earlier research in schema integration and the integration of multi-agent architecture designs to handle problematic cases of global inconsistency in distributed information systems. Telia Research AB (previously Swedish Telecom) commissioned the original work, the implementation of which was used to detect interferences to Telia�s public telematic services. The verification methods in first order logic (FOL) presented here are generally applicable to the analysis of conflicts in process based systems.

  • 3.
    Davies, Guy
    et al.
    Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
    Ekenberg, Love
    Johannesson, Paul
    Detecting Temporal conflicts in Integrated Agent Specifications2000In: Computational conflicts: conflict modeling for distributed intelligent systems, Berlin: Springer, 2000Chapter in book (Other academic)
    Abstract [en]

    We present a model for the analysis of temporal conflicts in sets of autonomous agents restricted in the sense that they can be described in a first-order language. The dynamic aspects of agents are modelled by means of the event concept. Various kinds of conflicts can occur in a system of agents. Agents may be in conflict with themselves or with each other, all depending on time. Conflicts between agents may be due to direct incompatibility inherent in their specifications, but it may also arise from the dynamic interactions protocols that govern multi-agent behaviour. The general theory for detecting conflict suggested here includes semantics for individual conflicts with respect to a first order action logic (FAL). Also introduced is the enrichment of agent systems with correspondence assertions. These express relationships between static or dynamic properties described in the formal specifications of agents. Correspondence assertions correspond to protocols for the system and can be analysed in relation to time. Representing agents as first order schemata, we construct a framework for determining when two schemata can be meaningfully integrated. We formalise this concept using the notion of non-conflict

1 - 3 of 3
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf