Professional Activities

On-going Activities

Advisory board member of
- Studies in Applied Philosophy, Epistemology, and Rational Ethics (SAPERE), Springer (2012-).
Editorial board member of
- Journal of Artificial Intelligence Research (2013.7-).
Editorial advisor of
- Theory and Practice of Logic Programming (2021.1-).
Program committee member of
- 39th AAAI Conference on Artificial Intelligence (AAAI), Pennsylvania, USA, February 2025.
- 18th Annual Conference on Artificial General Intelligence (AGI), Iceland, August 2025.
- 41th International Conference on Logic Programming (ICLP), Rende, Italy, September 2025.
- 19th European Conference on Logics in Artificial Intelligence (JELIA), Kutaisi, Georgia, September 2025.
- 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR), Melbourne, Australia, November 2025.

Past Activities (2000-)

Organizing committee member of
- 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR), Corunna, Spain, September, 2013.
- 9th International Workshop on Declarative Agent Languages and Technologies (DALT), Taipei, Taiwan, May 2011.
Program committee member of
- 38th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, Canada, February 2024.
- 10th International Conference on Computational Models of Argument (COMMA), Hagen, Germany, September 2024.
- 4th International Joint Conference on Learning and Reasoning (IJCLR), Nanjing, China, September 2024.
- 40th International Conference on Logic Programming (ICLP), Dallas, USA, October 2024.
- 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Dallas, USA, October 2024.
- 21st International Conference on Principles of Knowledge Representation and Reasoning (KR), Hanoi, Vietnam, November 2024.
- 21th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Kyoto, Japan, November 2024.
- 37th AAAI Conference on Artificial Intelligence (AAAI), Washington DC, USA, February 2023.
- 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece, September 2023.
- 39th International Conference on Logic Programming (ICLP), London, UK, July 2023.
- 18th European Conference on Logics in Artificial Intelligence (JELIA), TU Dresden, Germany, September 2023.
- 26th European Conference on Artificial Intelligence (ECAI), Kraków, Poland, October 2023.
- 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Jakarta, Indonesia, November 2023.
- 24th International Symposium on Practical Aspects of Declarative Languages (PADL), Philadelphia, Pennsylvania, USA, January 2022.
- 36th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, BC, Canada, February-March 2022.
- 31st International Joint Conference on Artificial Intelligence and 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 2022.
- 19th International Conference on Principles of Knowledge Representation and Reasoning (KR), Haifa, Israel, July-August 2022.
- 38th International Conference on Logic Programming (ICLP), Haifa, Israel, July-August 2022.
- 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Genova Nervi, Italy, September 2022.
- 9th International Conference on Computational Models of Argument (COMMA), Wales, UK, September 2022.
- 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Shanghai, China, November 2022.
- 17th European Conference on Logics in Artificial Intelligence (JELIA), Klagenfurt, Austria, May 2021.
- 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montreal, Canada, August 2021.
- 37th International Conference on Logic Programming (ICLP), September 2021.
- 18th International Conference on Principles of Knowledge Representation and Reasoning (KR), Hanoi, Vietnam, November 2021.
- 18th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Hanoi, Vietnam, November 2021.
- 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, June 2020.
- 29th International Joint Conference on Artificial Intelligence - 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), Yokohama, Japan, July 2020.
- 8th International Conference on Computational Models of Argument (COMMA), Perugia, Italy, September 2020.
- 17th Conference on Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece, September 2020.
- 36th International Conference on Logic Programming (ICLP), Rende (CS) Italy, September 2020.
- 33rd AAAI Conference on Artificial Intelligence (AAAI), Honolulu, Hawaii, USA, January 2019.
- 16th European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy, May 2019.
- 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Philadelphia, USA, June 2019
- 28th International Joint Conference on Artificial Intelligence (IJCAI-19), Macao, China, August, 2019.
- 5th International Workshop on Theory and Applications of Formal Argument (TAFA-19), Macao, China, August, 2019.
- 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Cuvu, Fiji, August, 2019.
- 35th International Conference on Logic Programming (ICLP), Las Cruces, New Mexico, USA, September, 2019.
- 32nd Australasian Joint Conference on Artificial Intelligence (AI2019), Adelaide Australia, December, 2019.
- 1st International Symposium on Artificial Intelligence for ASEAN Development (ASEAN-AI 2018), Phuket, Thailand, March 2018.
- 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18), Stockholm, Sweden, July, 2018.
- 34th International Conference on Logic Programming (ICLP), Oxford, UK, July, 2018.
- 15th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Nanjing, China, August 2018.
- 7th International Conference on Computational Models of Argument (COMMA), Poland, September 2018.
- 31th Conference on Artificial Intelligence (AAAI), San Francisco, California, USA, February 2017.
- 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Espoo, Finland, July, 2017.
- 26th International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, August, 2017.
- 33rd International Conference on Logic Programming (ICLP), Melbourne, Australia, August, 2017.
- 4th International Workshop on the Theory and Applications of Formal Argumentation (TAFA), Melbourne, Australia, August, 2017.
- 27th International Conference on Inductive Logic Programming (ILP), Orleans, France, September, 2017.
- 13th International Symposium on Commonsense Reasoning, London, UK, November, 2017.
- 3rd International Workshop on Argument for Agreement and Assurance (AAA 2017), Tokyo, Japan, November, 2017.
- 30th Conference on Artificial Intelligence (AAAI), Phoenix, Arizona, USA, February 2016.
- 1st international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR), New York, USA, July 2016.
- 14th Pacific Rim International Conference on Artificial Intelligence (PRICAI), Phuket, Thailand, August 2016.
- 6th International Conference on Computational Models of Argument (COMMA), Potsdam, Germany, September 2016.
- 26th International Conference on Inductive Logic Programming (ILP), London, UK, September, 2016.
- 29th Conference on Artificial Intelligence (AAAI), Austin, Texas, USA, January 2015.
- 12th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Istanbul, Turkey, May 2015.
- 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, July, 2015.
- 3rd International Workshop on the Theory and Applications of Formal Argumentation (TAFA), Buenos Aires, Argentina, July, 2015.
- 25th International Conference on Inductive Logic Programming (ILP), Kyoto, Japan, August, 2015.
- 31st International Conference on Logic Programming (ICLP), Cork, Ireland, August-September, 2015.
- 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lexington, KY, USA, September, 2015.
- 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR), Lexington, KY, USA, September, 2015.
- 2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa, Japan, November, 2015.
- 2nd International Workshop on Engineering Multi-Agent Systems (EMAS), Paris, France, May, 2014.
- 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria, July 2014.
- 21st European Conference on Artificial Intelligence (ECAI), Plague, Czech Republic, August, 2014.
- 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Plague, Czech Republic, August, 2014.
- 5th International Conference on Computational Models of Argument (COMMA), Scottish Highlands, September, 2014.
- 24rd International Conference on Inductive Logic Programming (ILP), Nancy, France, September, 2014.
- 6th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-Logic), Linkoping, Sweden, November, 2014.
- 1st International Workshop on Engineering Multi-Agent Systems (EMAS), Saint Paul, Minnesota, USA, May, 2013.
- 2nd International Workshop on the Theory and Applications of Formal Argumentation (TAFA), Beijing, China, August, 2013.
- 23rd International Joint Conference on Artificial Intelligence (IJCAI), Beijing, China, August, 2013.
- 29th International Conference on Logic Programming (ICLP), Istanbul, Turkey, August, 2013.
- 23rd International Conference on Inductive Logic Programming (ILP), Rio de Janeiro, Brazil, August, 2013.
- 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Corunna, Spain, September, 2013.
- 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Corunna, Spain, September, 2013.
- 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC), Corunna, Spain, September, 2013.
- 1st International Workshop on Argument for Agreement and Assurance (AAA 2013), Kanagawa, Japan, October, 2013.
- 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), Rome, Italy, June 2012.
- 26th Conference on Artificial Intelligence (AAAI), Toronto, Ontario, Canada, July 2012.
- 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Montpellier, France, August 2012.
- 22th International Conference on Inductive Logic Programming (ILP), Dubrovnik, September 2012.
- 13th European Conference on Logics in Artificial Intelligence (JELIA), Toulouse, France, September 2012.
- 1st International Workshop on Logic Programming and Multi-Agent Systems (LPMAS), Lexington, Kentucky, USA, July 2011.
- 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vancouver, BC, Canada, May 2011.
- 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications (Log-IC), Vancouver, BC, Canada, May 2011.
- 22th International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, July 2011.
- 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Barcelona, Spain, August 2011.
- 21th International Conference on Inductive Logic Programming (ILP), Windsor Great Park, UK, August, 2011.
- 8th International Workshop on Declarative Agent Languages and Technologies (DALT), Toronto, Canada, May 2010.
- 20th International Conference on Inductive Logic Programming (ILP), Firenze, Italy, June, 2010.
- 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Lisbon, Portugal, August 2010.
- 12th European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland, September 2010.
- 30 Years of Nonmonotonic Reasoning (NonMon@30), Lexington, KY, USA, October, 2010.
- 7th International Workshop on Declarative Agent Languages and Technologies (DALT), Budapest, Hungary, May 2009.
- 21th International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, USA, July 2009.
- 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany, September, 2009.
- 10th International Workshop on Computational Logic in Multiagent Systems (CLIMA-X), Humburg, Germany, September 2009.
- 6th International Workshop on Declarative Agent Languages and Technologies (DALT), Estoril, Portugal, May 2008.
- 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Valencia, Spain, July 2008.
- 12th International Workshop on Nonmonotonic Reasoning (NMR), Session on Declarative Programming Paradigms and Systems for NMR, Sydney, Australia, September, 2008.
- 9th International Workshop on Computational Logic in Multiagent Systems (CLIMA-IX), Dresden, Germany, September 2008.
- 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA, May, 2007.
- 5th International Workshop on Declarative Agent Languages and Technologies (DALT), Hawaii, USA, May 2007.
- 8th International Workshop on Computational Logic in Multiagent Systems (CLIMA-VIII), Porto, Portugal, September 2007.
- Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI), Aix-en-Provence, September, 2007.
- 17th European Conference on Artificial Intelligence (ECAI), Riva del Garda, Italy, August-September, 2006.
- Workshop on Abduction and Induction in AI and Scientific Modelling(AIAI), Riva del Garda, Italy, August 29, 2006.
- 7th International Workshop on Computational Logic in Multiagent Systems (CLIMA-VII), Hakodate, Japan, May 2006.
- 4th International Workshop on Declarative Agent Languages and Technologies (DALT), Hakodate, Japan, May 2006.
- 11th International Workshop on Nonmonotonic Reasoning (NMR), Session on Answer Set Programming, Lake District, UK, May 2006.
- 20th International Conference on Logic Programming (ICLP), Saint-Malo, France, September 2004.
- 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Florida, USA, January 2004.
- 10th International Workshop on Nonmonotonic Reasoning (NMR), Session on Computational Aspects of Nonmontonic Reasoning, Whistler BC, Canada, June 2004.
- 1st International Conference on Computational Logic (CL), Stream on Knowledge Representation and Nonmonotonic Reasoning, London, UK, July 2000.
Invited Talk at
- The Invention of Lying: Language, Logic and Cognition, Leiden, the Netherlands, January 2017.
- Workshop on Formal Models of Communication, Opole, Poland, August 2012.
- 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vienna, Austria, September 2001.

Maintained by Chiaki Sakama