SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "(WFRF:(Boeva V)) srt2:(2004) "

Search: (WFRF:(Boeva V)) srt2:(2004)

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Boeva, V, et al. (author)
  • A transition logic for schemata conflicts
  • 2004
  • In: Data & Knowledge Engineering. - : Elsevier BV. - 0169-023X .- 1872-6933. ; 51:3, s. 277-294
  • Journal article (peer-reviewed)abstract
    • Conflict detection and analysis are of high importance, e.g., when integrating conceptual schemata, such as UML-Specifications, or analysing goal-fulfilment of sets of autonomous agents. In general, models for this introduce unnecessarily complicated frameworks with several disadvantages regarding semantics as well as complexity. This paper demonstrates that an important set of static and dynamic conflicts between specifications can be diagnosed using ordinary first-order modal logic. Furthermore, we show how the framework can be extended for handling situations when there are convex sets of probability measures over a state-space. Thus, representing specifications as conceptual schemata and using standard Kripke models of modal logic, augmented with an interval-valued probability measure, we propose instrumental definitions and procedures for conflict detection.
  •  
2.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2
Type of publication
journal article (2)
Type of content
peer-reviewed (2)
Author/Editor
Ekenberg, Love (2)
Boeva, V (2)
University
Royal Institute of Technology (1)
Stockholm University (1)
Mid Sweden University (1)
Language
English (2)
Research subject (UKÄ/SCB)
Natural sciences (2)
Year
2004 (2)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view