Robert Piro
|
Robert
Piro
Research Assistant
|
Interests
Robert Piro is interested in the model theoretic foundations of
description logic (DL) including
the characterisation of the
expressiveness of DLs and the parallelisation of automated reasoning
with its complexity theoretic foundations.
Selected Publications
| IJCAI 2011‚ Proceedings of the 22nd International Joint Conference on Artificial Intelligence‚ Barcelona‚ Catalonia‚ Spain‚ July 16−22‚ 2011 Toby Walsh, editor Toby Walsh, editor |
| ECAI 2010 − 19th European Conference on Artificial Intelligence‚ Lisbon‚ Portugal‚ August 16−20‚ 2010‚ Proceedings Helder Coelho‚ Rudi Studer and Michael Wooldridge, editors Helder Coelho‚ Rudi Studer and Michael Wooldridge, editors |
| Proceedings of the 23rd International Workshop on Description Logics (DL 2010)‚ Waterloo‚ Ontario‚ Canada‚ May 4−7‚ 2010 Volker Haarslev‚ David Toman and Grant E. Weddell, editors Volker Haarslev‚ David Toman and Grant E. Weddell, editors |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
