English | Japanese

Announcement



Events and News (2019)

2019.12.27 2019 Research Meeting on Advanced Inference Techniques for Huge Knowledge Graphs in Tensor Spaces (NII).
2019.12.21 The paper "From 3-valued semantics to supported model computation for logic programs in vector spaces" by Taisuke Sato, Chiaki Sakama and Katsumi Inoue has been accepted for ICAART 2020 (2020.02.22-24, Valletta, Marta).
2019.12.20 Bonenkai Party (SONAR, Ginza).
2019.11.29 Yin Jun Phua and Katsumi Inoue have received The 2019 Best Student Paper Award of ILP 2019, sponsored by Machine Learning Journal, for the paper "Learning Logic Programs from Noisy State Transition Data".
2019.11.28-29 2019 LIP6-NII Meeting on Learning and Reasoning about Dynamics (Sorbonne Université, Paris, France).
2019.11.25-27 2019 Franco-Japanese Meeting on Knowledge Representation and Reasoning in CRIL (Lens, France).
2019.09.02-06 NII Shonan Meeting No.157: "Formal methods for the synthesis of biomolecular circuits" (Shonan Village Center).
2019.09.02 2nd Call of 2019 NII International Internship Program (Topic Numbers: 22-24).
2019.09.01 Lecture Series: "The Current State of Artificial Intelligence" (4) "Reasoning and Programming in Artificial Intelligence" (in Japanese) by Katsumi Inoue, Chiaki Sakama, Taisuke Sato has been published in Journal of Japanese Society for Artificial Intelligence, Vol.34, No.5.
2019.08.29 The paper "Identifying Belief Sequences in a Network of Communicating Agents" by Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind and Katsumi Inoue has been accepted for PRIMA 2019 (2019.10.28-31, Torino, Italy).
2019.08.28-29 The 12h CSPSAT Seminar (Kobe).
2019.08.13 Two papers are presented at IJCAI-19 (Macao, China):
  • Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis: "What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario"
  • Tobias Kaminski, Thomas Eiter, Katsumi Inoue: "Meta-Interpretive Learning Using HEX-Programs" (Sister Conferences Best Papers Track)
  • 2019.07.16 Talk by Dr. Vaishak Belle (University of Edinburgh & Alan Turing Institute), "Towards Interpretable and Responsible AI" (NII).
    2019.07.05 The paper "Learning Logic Programs from Noisy State Transition Data" by Yin Jun Phua and Katsumi Inoue has been accepted for ILP 2019 (2019.09.03-05, Plovdiv, Bulgaria).
    2019.06.30 The paper "Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge" by Yin Jun Phua, Tony Ribeiro and Katsumi Inoue has been published in Journal of Applied Logics, 6(4).
    2019.06.12 The paper "Ordering Argumentation Frameworks" by Chiaki Sakama and Katsumi Inoue has been accepted for ECSQARU 2019 (2019.09.18-20, Belgrade, Serbia).
    2019.06.05 The paper "Learning Inference Rules from Data" by Chiaki Sakama, Katsumi Inoue and Tony Ribeiro has been accepted for publication in Künstliche Intelligenz, 33(3), Special Issue on Cognitive Reasoning.
    2019.06.04-07 The 33rd Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2019) (Niigata).
    2019.05.31-06.01 NII Open House 2019.
    2019.05.02 Two papers have been published in New Generation Computing, 37(2), Special Issue: Logic programming and skill science: A special issue dedicated to Koichi Furukawa:
  • Tomonobu Ozaki, Randy Goebel, Katsumi Inoue: "From Fifth Generation Computing to Skill Science"
  • Katsumi Inoue, Chiaki Sakama:"Disjunctive Abduction"
  • 2019.04.12 1st Call of 2019 NII International Internship Program (Topic Numbers: 13-16).
    2019.03.26 Hanami @ Chidorigafuchi + Farewell & Welcome Party @ Hanzomon.
    2019.03.15 The 7th CSPSAT3 Meeting (Kobe).
    2019.03.07 Talk by Dr. Stefano Teso (KU Leuven), "Constraint Learning: Logical, Numerical, and Interactive" (NII).
    2019.03.04-06 The 4th Joint Meeting of KAKENHI Kiban-A Project "Learning Relational Dynamics from State Transition" and KAKENHI Kiban-B Project "Research on Robust Team Formation in Dynamic Environments", jointly held with NII Collaborative Research "Resilient AI" (Seinan Gakuin Centennial Hall, Fukuoka).
    2019.02.12 Presentation of graduation theses (for B4) (Tokyo Tech).
    2019.02.04 Presentation of master theses (for M2) (Tokyo Tech).
    2019.01.15 CSPASP Meeting (Kobe).

    2020|2018