3983 search results - page 7 / 797 » Conceptual logic programs |
IFIP
1993
Springer
15 years 1 months ago
1993
Springer
IFIP
1992
Springer
15 years 1 months ago
1992
Springer
IJIS
2011
14 years 1 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
POPL
1995
ACM
15 years 1 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
72
Voted
WWW
2003
ACM
15 years 10 months ago
2003
ACM
