|
Over the years I have acted as a reviewer for articles submitted to a number of scientific journals, including:
- ACM Transactions on Database Systems (TODS)
- ACM Transactions on Computational Logic (TOCL)
- Artificial Intelligence
- Annals of Pure and Applied Logic (APAL)
- Computing: Archives for Scientific Computing
- Fundamenta Informaticae (FI)
- Information and Computation (I&C)
- Journal of Applied Logic (JAL)
- Journal of Artificial Intelligence Research (JAIR)
- Journal of Autonomous Agents and Multi-agent Systems (JAAMAS)
- Journal of Logic and Computation (JLC)
- Journal of Symbolic Logic (JSL)
- Mathematical Structures in Computer Science (MSCS)
- Studia Logica
- Synthese
- Theoretical Computer Science (TCS)
I also serve in the senior programme committees of the following international conferences:
- International Joint Conference on Artificial Intelligence (IJCAI)
- International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)
as well as served in the following programme committees
- Brazilian Symposium on Artificial Intelligence (SBIA)
- Conference on Theoretical Aspects of Rationality and Knowledge (TARK)
- European Conference on Artificial Intelligence (ECAI)
- European Workshop on Multi-agent Systems (EUMAS)
- International Conference on Agreement Technologies (AT)
- International Conference on Artificial Intelligence (AAAI)
- International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)
- International Conference on Concurrency Theory (CONCUR)
- International Conference on Deontic Logic in Computer Science (DEON)
- International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
- International Conference on Logic Programming (ICLP)
- International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)
- International Conference on Principles of Knowledge Representation and Reasoning (KR)
- International Conference on Web Intelligence and Intelligent Agent Technology (IAT)
- International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
- International Workshop on Strategic Reasoning (SR)
- Logic in Security (LIS)
- Software Engineering and Formal Methods (SEFM)
- Workshop on Concurrency, Specification & Programming (CS&P)
- Workshop on Data and Artifact-centric Systems (DAB)
- Workshop on Logical Aspects of Multi-Agent Systems (LAMAS)
I have also evaluated research projects for the following national agencies
- Agence National de la Recherche (ANR), France
- Istituto Nazionale di Alta Matematica (INdAM), Italy
|