FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan

This program is tentative and subject to change.

Wed 15 May 2024 09:30 - 10:30 - Invited Talk Chair(s): Jeremy Gibbons

There have been attempts to connect machine learning and symbolic reasoning, providing interfaces between them. This work focuses on our original approach to integrate machine learning and symbolic reasoning, in the context of algebraic approaches to logic programming. We here realize logical reasoning using algebraic methods, in which algebraic data structures such as matrices and tensors are used to represent logical formulas. These reasoning methods are robust against noise, while allowing for high parallelism and scalable computation. Algebraic logic programming has been applied to fixpoint computation, abduction, answer set programming and inductive logic programming.

This program is tentative and subject to change.

Wed 15 May

Displayed time zone: Osaka, Sapporo, Tokyo change

09:30 - 10:30
Invited TalkFLOPS 2024
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
09:30
60m
Keynote
Algebraic Connection between Logic Programming and Machine Learning
FLOPS 2024