|
:30
|
|
|
|
Live
Reception & Opening
|
|---|
|
:40
|
|
|
|
|---|
|
:50
|
|
|
|
|---|
| 9:00 |
|
|
|
Live
Taking Advantage of Belief Change Theory for Concept Learning
Nicolas Schwind
Talk
|
|---|
|
:10
|
|
|
|
|---|
|
:20
|
|
|
|
|---|
|
:30
|
|
|
|
|---|
|
:40
|
|
|
|
Live
Multi-Source Transfer Learning using Attention-Based Fusion of Multiple CNN Models
Sota Moriyama
Talk
|
|---|
|
:50
|
|
|
|
|---|
| 10:00 |
|
|
|
Live
Learning Programs by Analyzing Hypothesis Space and Learning Process
Takeru Isobe
Talk
|
|---|
|
:10
|
|
|
|
|---|
|
:20
|
|
|
|
Live
Applying ASP Modulo Theories to Inductive Logic Programming
Rolf Morel
Talk
|
|---|
|
:30
|
|
|
|
|---|
|
:40
|
|
|
|
|---|
|
:50
|
|
|
|
|---|
| 11:00 |
|
|
|
Live
Computing Stable Models Efficiently in Linear Algebraic Computation
Tuan Nguyen
Talk
|
|---|
|
:10
|
|
|
|
|---|
|
:20
|
|
|
|
|---|
|
:30
|
|
|
|
Live
Lunch
|
|---|
|
:40
|
|
|
|
|---|
|
:50
|
|
|
|
|---|
| 12:00 |
|
|
|
|---|
|
:10
|
|
|
|
|---|
|
:20
|
|
|
|
|---|
|
:30
|
|
|
|
|---|
|
:40
|
|
|
|
|---|
|
:50
|
|
|
|
|---|
| 13:00 |
|
|
|
|---|
|
:10
|
|
|
|
|---|
|
:20
|
|
|
|
|---|
|
:30
|
|
|
|
Live
Supported model computation and unfounded set checking in vector spaces
Akihiro Takemura
Talk
|
|---|
|
:40
|
|
|
|
|---|
|
:50
|
|
|
|
|---|
| 14:00 |
|
|
|
Live
Extracting Explainable Rulesets from Multinomial Classification Model Using Answer Set Programming
Masayuki Otani
Talk
|
|---|
|
:10
|
|
|
|
|---|
|
:20
|
|
|
|
Live
Elucidating Cell Behavior under Radiation Using Machine Learning
Ryota Yakushiji
Talk
|
|---|
|
:30
|
|
Live
Reception & Opening
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
Live
Learning Causal Network from Multivariate Time Series for Identifying Differential Equations of Dynamical Systems
Mitsuhiro Odaka
Talk
|
|---|
| 15:00 |
|
Live
Openning Talk
Katsumi Inoue
Talk
|
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
Live
Towards end-to-end ASP computation
Taisuke Sato
Talk
|
|
Live
Break
|
|---|
|
:30
|
|
|
Live
Latent Concept Bottleneck: Gradual Learning and Bottlenecking to Increase Robustness
Phua Yin
Talk
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 16:00 |
|
|
|---|
|
:10
|
|
|
Live
Fanqing Xu
Xu Fanqing
Talk
|
|---|
|
:20
|
|
Live
Break
|
|
|---|
|
:30
|
|
Live
Interior Semantics for Epistemic/Doxastic Logic
Satoshi Tojo
Talk
|
|
|---|
|
:40
|
|
|
Live
Graph Neural Networks for SAT Solving
Koji Watanabe
Talk
|
|---|
|
:50
|
|
|
|---|
| 17:00 |
|
|
|---|
|
:10
|
|
Live
Human Conditional Reasoning in Answer Set Programming
Chiaki Sakama
Talk
|
|
Live
A new feature of T-PRISM and a T-PRISM tutorial on Colaboratory
Ryosuke Kojima
Talk
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 18:00 |
|
|
Live
Dinner
|
|---|
|
:10
|
|
Live
Dinner
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 19:00 |
|
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
Live
Towards the Explainability in AI: Past, Present, and Future
Teeradaj Racharak
Talk
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 20:00 |
|
|
Live
Night session - Discussion
|
|---|
|
:10
|
|
Live
Explainability of Session-based Recommender System for OTT Business Decision
Kotaro Okazaki
Talk
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 21:00 |
|
Live
|
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|