Skip navigation

Computer Science Department

Research   |   Teaching   |   Student   |   Department   |   People   |   Guides

Robert Piro

Robert Piro

Address



University of Oxford
Computer Science Department
Wolfson Building
Parks Road
Oxford OX1 3QD
Telephone: +44 186 528 3557 
Cable: forname dot name at ox dot ac dot uk

Publications

Description Logic TBoxes: Model-theoretic Characterizations and Rewritability (Full paper with proofs) Carsten Lutz Robert Piro and Frank Wolter, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI11), 2011
Enriching EL-concepts with Greatest Fixpoints Carsten Lutz Robert Piro and Frank Wolter, in: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10) IOS Press, 2010.
EL-concepts go Second-order: Greatest Fixpoints and Simulation Quantifiers Carsten Lutz Robert Piro and Frank Wolter, in: Proceedings of the 23rd International Workshop on Description Logics (DL2010) 2010.
A Lindström characterisation of the guarded fragment and of modal logic with a global modality, Martin Otto and Robert Piro, in: Advances in Modal Logic 7, C. Areces, R. Goldblatt (eds), pp. 273-288, 2008.

Other Interests

Eps-figures with psfrag overlays into a pdflatex-compilable format. With this tex-file one should be able to crop an eps-figure with possible psfrag-overlays into a pdf-file. This pdf-file can then be included with includegraphics into a tex-file which will then be compiled by pdflatex. eps2pdf.tex

The following document expresses a personal opinion on beekeeping. An Opinion on Swarms