| 1 |
Continual and explicit comparison to promote proactive facilitation during second computer language learning
|
|
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Almost-certain eventualities and abstract probabilities in quantitative temporal logic
|
|
|
|
Abstract:
'Almost-certain eventualities' are liveness properties that hold with probability 1. 'Abstract probabilities' are probabilities in transition systems about which we know only that they are neither 0 nor 1. Vardi [17] showed that almost-certain properties in linear temporal logic depend only on abstract probabilities, rather than on the probabilities' precise values; we discuss the extent to which a similar result holds in quantitative temporal logic [9,10], and we show how to specialise the logic to those cases. The aim is to provide a simpler calculus than the full logic, one that is in a certain sense complete for proving almost-certain eventualities from abstract-probabilistic assumptions. We consider briefly the complexity of the specialised logic. ; © 2001 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/
|
|
Keyword:
Computational Linguistics; Computing
|
|
URL: http://www.sciencedirect.com/science/article/pii/S1571066104808764
http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-science
https://doi.org/10.1016/S1571-0661(04)80876-4
|
|
BASE
|
|
Hide details
|
|
|
|
|
