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
- 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 2022.
- 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.
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
  - 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