Talks
Robust AI by Integration of KR and ML
Logic and Reasoning
-
Human Conditional Reasoning in Answer Set Programming
LiveTalk
-
Interior Semantics for Epistemic/Doxastic Logic
LiveTalk
Night Session
-
Explainability of Session-based Recommender System for OTT Business Decision
LiveTalk
-
Towards the Explainability in AI: Past, Present, and Future
LiveTalk
Logic and Computation for the Real World
-
Learning Programs by Analyzing Hypothesis Space and Learning Process
LiveTalk
-
Multi-Source Transfer Learning using Attention-Based Fusion of Multiple CNN Models
LiveTalk
-
Taking Advantage of Belief Change Theory for Concept Learning
LiveTalk
-
Applying ASP Modulo Theories to Inductive Logic Programming
LiveTalk
-
Computing Stable Models Efficiently in Linear Algebraic Computation
LiveTalk
Learning Programs and Equations from raw data
-
Supported model computation and unfounded set checking in vector spaces
LiveTalk
-
LiveTalk
-
Extracting Explainable Rulesets from Multinomial Classification Model Using Answer Set Programming
LiveTalk
-
Elucidating Cell Behavior under Radiation Using Machine Learning
LiveTalk
Integration of Neural Networks and Reasoning
-
LiveTalk
-
Graph Neural Networks for SAT Solving
LiveTalk
-
A new feature of T-PRISM and a T-PRISM tutorial on Colaboratory
LiveTalk
-
Latent Concept Bottleneck: Gradual Learning and Bottlenecking to Increase Robustness
LiveTalk