Tuan Nguyen

Registered user since Mon 12 Dec 2022

Name:Tuan Nguyen
Country:Japan
Affiliation:National Institute of Informatics
Research interests:Logic Programming, Knowledge Representation and Reasoning, Optimization

Contributions

PADL 2023 Linear Algebraic Abduction with Partial Evaluation
Show activities from other conferences

POPL 2023-profile
View general profile