169 search results - page 3 / 34 » Temporalization of Probabilistic Propositional Logic |
PLPV
2012
ACM
12 years 6 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
LFCS
1994
Springer
14 years 2 months ago
1994
Springer
IANDC
2002
13 years 10 months ago
2002
FROCOS
2009
Springer
14 years 5 months ago
2009
Springer
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...