Reviewing

Journals

• ACM Transactions on Internet Technology
• Applied Ontology
• Arab Journal of Mathematical Sciences
• Artificial Intelligence
• Computer Languages
• Data and Knowledge Engineering
• Fundamenta Informaticae
• Fuzzy Sets and Systems
• GLDV-Journal for Computational Linguistics and Language Technology
• IEEE Transactions on Neural Networks
• Information Processing Letters
• Information Sciences
• International Journal of Computer Mathematics
• International Journal on Semantic Web and Information Systems
• it - Information Technology
• Journal of Algorithms in Cognition, Informatics and Logic
• Journal of Applied Logic
• Journal of Artificial Intelligence Research
• Journal of Automated Reasoning
• Journal of Electrical Engineering, Slovak Academy of Sciences
• Journal of Logic and Computation
• Journal of Machine Learning Research
• Journal of the ACM
• Journal on Data Semantics
• Journal on Web Semantics
• Logic Journal of the IGPL
• Novi Sad Journal of Mathematics
• SIAM Journal of Computing
• The Computer Journal
• Theory and Applications of Categories
• Theory and Practice of Logic Programming
• Transactions on Data and Knowledge Engineering
• Transactions on the Web

Research Proposals

• For the US National Science Foundation, NSF.
• For the Deutsche Forschungsgemeinschaft, DFG.
• For the Dutch Nederlandse Organisatie voor Wetenschappelijk Onderzoek, NWO.
• For the Portuguese Foundation for Science and Technology, FCT.
• For the Natural Sciences and Engineering Research Council of Canada, NSERC.
• For the Austrian Fonds zur Förderung der wissenschaftlichen Forschung FWF.
• For the Chilenian Fondo Nacional de Desarrollo Cientifico y Tecnologico, FONDECYT.
• Research group applications for INRIA, France.

Conferences and Workshops

See events for additional PC membership and conference/workshop chair duties not mentioned here.

• IWFM99, 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999.
• CADE2002, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 2002.
• MFCSIT2002, 2nd Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Galway, Ireland, July 2002.
• WLP2002, 17th Workshop Logische Programmierung, Dresden, Germany, December 2002.
• CSL2003, Computer Science Logic, Vienna, Austria, August 2003.
• LICS2004, 19th Annual IEEE Symposium on Logic in Computer Science, Turku, Finland, July 2004.
• KI2004, 27th German Conference on Artificial Intelligence, Ulm, Gemany, September 2004.
• CiE2005, Computability in Europe, Amsterdam, The Netherlands, June 2005.
• ESWC2005, 2nd European Semantic Web Conference, Heraklion, Greece, May/June 2005.
• StuS 2005, 10th ESSLLI Student Session, Edinburgh, August 2005.
• ICFCA06, 4th International Conference on Formal Concept Analysis, Dresden, Germany, February 2006.
• KR2006, 10th International Conference on Principles of Knowledge Representation and Reasoning, Lake District, UK, June 2006.
• CiE2006, Computability in Europe, Swansea, UK, June/July 2006.
• ECAI06, 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, August/September 2006
• LICS06, 21st Annual IEEE Symposium on Logic in Computer Science, Seattle, Washington, August 2006.
• JELIA06, 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, September 2006.
• IJCAI-07, 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 2007.
• CiE 2007, Computability in Europe, Siena, Italy, June 2007.

Further Reviewing

• Review Panelist for the Elsevier Internal Challenge 2010 on Search and Discovery.
• Book proposals for Springer.
• Book proposals for CRC Press.
• Contributed chapters to the Handbook on Ontologies 2nd edition (Studer and Staab, eds., Springer).
• Contributed chapters to the teaching material of the Reasoning Web Summer School 2011 in Galway, Ireland, August 2011; Springer Lecture Notes in Computer Science.
• Internal reviewer for the EU KnowledgeWeb Network of Excellence.