SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Sciavicco Guido) "

Search: WFRF:(Sciavicco Guido)

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Aceto, Luca, et al. (author)
  • A complete classification of the expressiveness of interval logics of Allen’s relations : the general and the dense cases
  • 2016
  • In: Acta Informatica. - : Springer Science and Business Media LLC. - 0001-5903 .- 1432-0525. ; 53:3, s. 207-246
  • Journal article (peer-reviewed)abstract
    • Interval temporal logics take time intervals, instead of time points, as their primitive temporal entities. One of the most studied interval temporal logics is Halpern and Shoham’s modal logic of time intervals HS, which associates a modal operator with each binary relation between intervals over a linear order (the so-called Allen’s interval relations). In this paper, we compare and classify the expressiveness of all fragments of HS on the class of all linear orders and on the subclass of all dense linear orders. For each of these classes, we identify a complete set of definabilities between HS modalities, valid in that class, thus obtaining a complete classification of the family of all 4096 fragments of HS with respect to their expressiveness. We show that on the class of all linear orders there are exactly 1347 expressively different fragments of HS, while on the class of dense linear orders there are exactly 966 such expressively different fragments.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
journal article (1)
Type of content
peer-reviewed (1)
Author/Editor
Aceto, Luca (1)
Della Monica, Dario (1)
Goranko, Valentin, 1 ... (1)
Ingólfsdóttir, Anna (1)
Montanari, Angelo (1)
Sciavicco, Guido (1)
University
Stockholm University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year

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