Registered user since Tue 6 Dec 2022
Name:Katsumi Inoue
Country:Japan
Affiliation:NII
Personal website:http://research.nii.ac.jp/il/
Research interests:Logic Programming, Answer Set Programming
Contributions
PADL 2023 | Linear Algebraic Abduction with Partial Evaluation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile