- 2022/01 - 現在 The 31st International Conference on Inductive Logic Programming (ILP 2022) Member of Program Committee
- 2022/01 - 現在 The 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022) Member of Program Committee
- 2021/11 - 現在 The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Member of Program Committee
- 2021/09 - 現在 The 38th International Conference on Logic Programming (ICLP 2022) Member of Program Committee
- 2021/07 - 現在 The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22) Member of Program Committee
- 2017/09 - 現在 Atlanstic 2020, France Member of Scientific Committee
- 2010/10 - 現在 NII 湘南会議 学術委員
- 2021/03 - 2022/03 International Journal of Intelligent Systems Design and Computing Guest Editor, Special Issue on “Knowledge Engineering and Technologies of Intelligent Systems”
- 2021/02 - 2021/11 The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) Member of Program Committee
- 2020/01 - 2021/10 The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) Member of Program Committee
- 2021/05 - 2021/09 The 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021) Member of Program Committee
- 2021/02 - 2021/09 The 37th International Conference on Logic Programming (ICLP 2021) Member of Program Committee
- 2020/08 - 2021/08 The 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Member of Senior Program Committee
- 2017/04 - 2021/03 (一社)人工知能学会 代議員
- 2019/09 - 2021/01 The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) Senior Program Committee member
- 2020/06 - 2020/12 The 34th Annual Conference on Neural Information Processing Systems (NeurIPS 2020) Reviewer
- 2020/05 - 2020/12 The 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020) Member of Program Committee
- 2005/03 - 2020/12 Theory and Practice of Logic Programming (Cambridge Journal) Editorial Advisor
- 2020/04 - 2020/09 The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020) Member of Program Committee
- 2020/02 - 2020/09 The 18th International Workshop on Non-Monotonic Reasoning (NMR 2020) Member of Program Committee
- 2020/01 - 2020/09 The 36th International Conference on Logic Programming (ICLP 2020) Member of Program Committee
- 2020/01 - 2020/09 The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Area Chair
- 2019/12 - 2020/09 The 18th International Conference on Computational Methods in Systems Biology (CMSB 2020) Member of Program Committee
- 2018/06 - 2020/01 NII湘南会議 No. 157: “Formal Methods for the Synthesis of Biomolecular Circuits” Co-Organizer
- 2019/02 - 2019/12 The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019) Member of Program Committee
- 2018/11 - 2019/11 The 29th International Conference on Inductive Logic Programming (ILP 2019) Member of Program Committee
- 2018/12 - 2019/09 The 35th International Conference on Logic Programming (ICLP 2019) Member of Program Committee
- 2017/10 - 2018/11 The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) Member of Senior Program Committee
- 2018/05 - 2018/10 The 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) Member of Program Committee
- 2018/02 - 2018/09 The 28th International Conference on Inductive Logic Programming (ILP 2018) Member of Program Committee
- 2016/12 - 2018/04 The 27th International Conference on Inductive Logic Programming (ILP 2017) Member of Program Committee
- 2017/06 - 2018/02 The 32nd AAAI Conference on Artificial Intelligence (AAAI-18) Member of Program Committee
- 2014/09 - 2017/12 The 25h International Conference on Inductive Logic Programming (ILP 2015) Conference co-Chair
- 2017/05 - 2017/10 The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Member of Program Committee
- 2016/11 - 2017/08 The 26th International Joint Conference on Artificial Intelligence (IJCAI-17) Member of Senior Program Committee
- 2016/10 - 2017/07 The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017) Member of Program Committee
- 2015/12 - 2017/05 The 26th International Conference on Inductive Logic Programming (ILP 2016) Member of Program Committee
- 2016/01 - 2016/10 The 32nd International Conference on Logic Programming (ICLP 2016) Member of Program Committee
- 2014/05 - 2016/06 (一社)人工知能学会 理事
- 2015/09 - 2016/05 The 16th International Workshop on Non-Monotonic Reasoning (NMR 2016) Member of Program Committee
- 2015 - The 1st Global Conference on Artificial Intelligence (GCAI 2015) Member of Program Committee
- 2015 - The 29th AAAI Conference on Artificial Intelligence (AAAI-15) Member of Program Committee
- 2015 - Workshop on Emergent Computational Logics (affiliated with The 5th World Congress and School on Universal Logic [UNILOG 2015]) Workshop co-Organizer
- 2015 - The 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Member of Senior Program Committee
- 2015 - 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) Member of Program Committee
- 2015 - The 29th AAAI Conference on Artificial Intelligence (AAAI-15) Member of Program Committee
- 2015 - Workshop on Emergent Computational Logics (affiliated with The 5th World Congress and School on Universal Logic [UNILOG 2015]) Workshop co-Organizer
- 2015 - The 24th International Joint Conference on Artificial Intelligence (IJCAI-15) 4. Member of Senior Program Committee
- 2015 - 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) Member of Program Committee
- 2014 - Special Track on SAT and CSP Technologies, The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2014) Member of Program Committee
- 2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Member of Program Committee
- 2014 - Special Track on SAT and CSP Technologies, The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2014) Member of Program Committee
- 2014 - The 8th International Conference on the Prestigious Applications of Intelligent Systems (PAIS 2014) Member of Program Committee
- 2014 - The 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee
- 2014 - The 24th International Conference on Inductive Logic Programming (ILP 2014) Member of Program Committee
- 2014 - The 8th International Conference on the Prestigious Applications of Intelligent Systems (PAIS 2014) Member of Program Committee
- 2014 - The 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee
- 2014 - The 24th International Conference on Inductive Logic Programming (ILP 2014) Member of Program Committee
- 2014 - The 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Member of Program Committee
- 2014 - The 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Member of Program Committee
- 2014 - The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) Program Committee
- 2014 - The 28th AAAI Conference on Artificial Intelligence (AAAI-14) Program Committee
- 2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Program Committee
- 2014 - he 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) Program Committee
- 2014 - The 28th AAAI Conference on Artificial Intelligence (AAAI-14) Program Comittee
- 2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Program Committee
- 2013 - The 23rd International Conference on Inductive Logic Programming (ILP 2013) Member of Program Committee
- 2013 - The 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Member of Program Committee
- 2013 - Special Track on SAT and CSP Technologies, The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2013) Member of Program Committee
- 2013 - The 12th International Conference on Autonomous agents and Multiagent Systems (AAMAS 2013) Program Committee
- 2013 - The 1st Workshop on Systems Resilience (WSR 2013) Program Committee
- 2013 - The 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) Program Committee
- 2013 - The 23rd International Conference on Inductive Logic Programming (ILP 2013) Program Committee
- 2013 - The 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIV) Program Committee
- 2013 - The 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Program Committee
- 2013 - The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2013) Program Committee
- 2013 - 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013) Workshop co-Chair
- 2013 - Special Track on SAT and CSP Technologies, The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2013) Program Committee
- 2013 - Special Track on SAT and CSP Technologies, The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2013) Program Committee
- 2013 - The 12th International Conference on Autonomous agents and Multiagent Systems (AAMAS 2013) Member of Program Committee
- 2013 - The 1st Workshop on Systems Resilience (WSR 2013) Member of Program Committee
- 2013 - The 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) Member of Program Committee
- 2013 - The 22nd International Conference on Inductive Logic Programming (ILP 2013) Member of Program Committee
- 2013 - The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2013) Member of Program Committee
- 2013 - The 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XIV Member of Program Committee
- 2013 - 1st International Workshop on Learning and Nonmonotonic Reasoning, LNMR 2013 Workshop co-Chair,
- 2012 - Computational Logic in Multi-Agent Systems (CLIMA) Steering Committee
- 2012 - The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) Program Committee
- 2012 - The 20th European Conference on Artificial Intelligence (ECAI 2012) Program Committee
- 2012 - The 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIII) Program Committee
- 2012 - The 28th International Conference on Logic Programming (ICLP 2012) Program Committee
- 2012 - The 22nd International Conference on Inductive Logic Programming (ILP 2012) Program Committee
- 2012 - ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB 2012) Workshop co-Organizer
- 2012 - The 20th European Conference on Artificial Intelligence (ECAI 2012) Member of Program Committee
- 2012 - The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) Member of Program Committee
- 2012 - The 28th International Conference on Logic Programming (ICLP 2012) Member of Program Committee
- 2012 - The 22nd International Conference on Inductive Logic Programming (ILP 2012) Member of Program Committee
- 2012 - ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB 2012) Workshop co-Organizer
- 2011 - The 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XI) Member of Program Committee
- 2011 - The 7th Workshop on Learning with Logics and Logics for Learning (LLLL 2011) Member of Program Committee
- 2011 - The 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011) Member of Program Committee
- 2011 - The 8th International Workshop on First-Order Theorem Proving (FTP 2011) Member of Program Committee
- 2011 - The 27th International Conference on Logic Programming (ICLP 2011) Member of Program Committee
- 2011 - The 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XII) Member of Program Committee
- 2011 - The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) Member of Program Committee
- 2011 - The 21st International Conference on Inductive Logic Programming (ILP 2011) Member of Program Committee
- 2010 - The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee
- 2010 - The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology Symposium co-Organizer
- 2010 - Sub-Workshop on Preferences and Norm at the Non-Monotonic Reasoning Workshop 2010 (NMR 2010) Member of Program Committee
- 2010 - Sub-Workshop on Declarative Programming and Systems at the Non-Monotonic Reasoning Workshop 2010 (NMR 2010) Member of Program Committee
- 2010 - The 20th International Conference on Inductive Logic Programming (ILP 2010) Member of Program Committee
- 2004 - (社)人工知能学会 論文誌編集委員
- 2003 - (社)人工知能学会 評議員
- 1992 - 2002 (社)人工知能学会 研究会連絡委員
- 1995 - 1999 (社)情報処理学会 研究会連絡委員,査読委員
- Computational Logic in Multi-Agent Systems (CLIMA) Member of Steering Committee