24 search results - page 1 / 5 » On Closure Operator for Interval Order Structures |
FCS
2009
13 years 2 months ago
2009
A closure operator for interval order structures has been introduced and its basic properties analysed. The operator is an equivalence of 3-closure operator of [11] for stratified ...
FCT
2009
Springer
13 years 11 months ago
2009
Springer
We argue that closure operators are fundamental tools for the study of relationships between order structures and their sequence representations. We also propose and analyse a clos...
ENTCS
2010
13 years 4 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
LATA
2010
Springer
13 years 2 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
ML
2010
ACM
13 years 2 months ago
2010
ACM
Many knowledge representation mechanisms are based on tree-like structures, thus symbolizing the fact that certain pieces of information are related in one sense or another. There ...