20 search results - page 1 / 4 » Modal and temporal operators on partial orders |
RELMICS
1998
Springer
13 years 9 months ago
1998
Springer
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
IJCAI
1989
13 years 6 months ago
1989
Partially ordered plans have not solved the goal ordering problem. Consider: a goal in a par tially ordered plan is an operator precondition that is not yet achieved; operators,...
ENTCS
2010
13 years 5 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...
DEON
2010
Springer
13 years 7 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...