Activities

Program Committee Member

  • The 32nd AAAI Conference on Artificial Intelligence (AAAI'18).
  • The 26th International Joint Conference on Artificial Intelligence (IJCAI'17).
  • The 14th Pacific Rim International Conference on Artificial Intelligence (PRICAI'16).
  • The 25th International Joint Conference on Artificial Intelligence (IJCAI'16).
  • The 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'15), Special Track on SAT and CSP Technologies.
  • The 24th International Joint Conference on Artificial Intelligence (IJCAI'15).
  • The 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'15).
  • The 21st European Conference on Artificial Intelligence (ECAI'14).
  • The 23rd International Joint Conference on Artificial Intelligence (IJCAI'13).
  • The 22nd International Joint Conference on Artificial Intelligence (IJCAI'11).

Additional Reviewer

  • The 5th International Conference on Algorithmic Decision Theory (ADT'17).
  • ACM Transactions on Computational Logic 2017 (TOCL).
  • The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'17).
  • The 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'17).
  • The 15th European Conference on Logics in Artificial Intelligence (JELIA'16).
  • Information Journal, 2016.
  • The 6th International Conference on Computational Models of Argument (COMMA'16).
  • The 22nd International Conference on Conceptual Structures (ICCS'16).
  • The 8th International Conference on Knowledge Science, Engineering and Management (KSEM'15)
  • International Journal on Artificial Intelligence Tools, 2015.
  • The 30th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'15).
  • The 29th AAAI Conference on Artificial Intelligence (AAAI'15).
  • The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14), Special Track on SAT and CSP Technologies.
  • Constraints Journal, 2014.
  • The 21st International Conference on Conceptual Structures (ICCS'14).
  • The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14).
  • The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14).
  • The 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'14).
  • The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'13), Special Track on SAT and CSP Technologies.
  • The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'13).
  • The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13).
  • The 6th International Conference on Knowledge Science, Engineering and Management (KSEM'13).
  • KSII Transactions on Internet and Information Systems, 2013.
  • The 13th European Conference on Logics in Artificial Intelligence (JELIA'12).
  • The 28th International Conference on Logic Programming (ICLP'12).
  • The 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'11).