Works by Robert Piro

( view other items matching `Robert Piro`, view all matches )
Order:
  1.  9
    Maintenance of datalog materialisations revisited.Boris Motik, Yavor Nenov, Robert Piro & Ian Horrocks - 2019 - Artificial Intelligence 269 (C):76-136.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  8
    A Lindström characterisation of the guarded fragment and of modal logic with a global modality.Martin Otto & Robert Piro - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 273-287.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations