Activities

Program Committee Co-chair

  • The 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI'18)

Workshop and Tutorial Co-chair

  • The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23)

Program Committee Member

  • The 33rd International Joint Conference on Artificial Intelligence (IJCAI'24)
  • The 38th AAAI Conference on Artificial Intelligence (AAAI'24)
  • The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23)
  • The 37th AAAI Conference on Artificial Intelligence (AAAI'23)
  • The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR'22)
  • The 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI'22)
  • The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI'22)
  • The 36th AAAI Conference on Artificial Intelligence (AAAI'22)
  • The 12th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI'22)
  • The 18th Pacific Rim International Conference on Artificial Intelligence (PRICAI'21)
  • The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21)
  • The 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'21)
  • The 35th AAAI Conference on Artificial Intelligence (AAAI'21)
  • The 10th International Congress on Advanced Applied Informatics (IIAI-AAI'21)
  • The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20)
  • The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI'20)
  • The 24th European Conference on Artificial Intelligence (ECAI'20)
  • The 34th AAAI Conference on Artificial Intelligence (AAAI'20)
  • The 28th International Joint Conference on Artificial Intelligence (IJCAI'19)
  • The 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'19)
  • The 33rd AAAI Conference on Artificial Intelligence (AAAI'19)
  • The 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI'19)
  • The 13th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI'19)
  • The 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'18)
  • The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)
  • The 15th Pacific Rim International Conference on Artificial Intelligence (PRICAI'18)
  • The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI'18)
  • 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 23rd International Conference on Conceptual Structures (ICCS'18)
  • 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)