1699 search results - page 133 / 340 » On the Expressive Power of QLTL |
165
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
208
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...
167
click to vote
TIME
1997
IEEE
15 years 10 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
154
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
150
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...