Not registered as user yet

Name:Zesheng Xu
Country:United States
Affiliation:The University of Texas at Dallas

Contributions

PADL 2023 Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming
Show activities from other conferences

POPL 2023-profile
View general profile