I have been a reviewer for the following journals.
- ACM Transactions on Internet Technology
- Applied Ontology
- 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
I have been a reviewer for the following 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:
- Project applications for the Deutsche Forschungsgemeinschaft (German Research Foundation).
- Project applications for the Austrian Fonds zur Förderung der wissenschaftlichen Forschung.
- Research group applications for INRIA, France.
- Book proposals for Springer.
- Contributed chapters to the Handbook on Ontologies 2nd edition (Studer and Staab, eds., Springer).
- Internal reviewer for the EU KnowledgeWeb Network of Excellence.
