169 search results - page 3 / 34 » Temporalization of Probabilistic Propositional Logic |
175
Voted
PLPV
2012
ACM
13 years 11 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
15 years 9 months ago
2005
Springer
LFCS
1994
Springer
15 years 7 months ago
1994
Springer
93
Voted
IANDC
2002
15 years 3 months ago
2002
176
click to vote
FROCOS
2009
Springer
15 years 10 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...