Expressive Stream Reasoning with Laser
Hamid R. Bazoobandi Harald Beck Jacopo Urbani
cs.LO







  

































figures/



















 

















arrows,positioning,automata,decorations,fit,backgrounds,calc
shapes.geometric 
shapes.geometric 
decorations.pathmorphing 
decorations.pathmorphing 
decorations.text 
decorations.text 
matrix
main
#1#2
    < g r a p h i c s >


#1#2file=#1.eps



li
en

1ex










 




myitemize
∙
 
 
 


myenumctr
myenumerate(myenumctr)myenumctr
=0pt





myoenumctr
myoenumerate    (Omyenumctr)myenumctr
=0pt









 
 























. 
exampleExample










































="2D



 



AS









Defdef:
Defndefn =
DefnCustomdefn
Letlet
Halthalt
KwInInput
ForEachforeach
Oror
Andand

IfElseIfElseifelse ifelseendif
Matchmatch
Casecase
MapTo


































notes















































































































































































































