research
          
      
      ∙
      03/27/2013
    A Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG
There is uncertainty associated with the occurrence of many events in re...
          
            research
          
      
      ∙
      03/27/2013
     
             
  
  
     
                             share
 share