Asuncion, Vernon

4 publications

JAIR 2019 Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li

AAAI 2017 Polynomially Bounded Logic Programs with Function Symbols: A New Decidable Vernon Asuncion, Yan Zhang, Heng Zhang

AAAI 2012 Ordered Completion for Logic Programs with Aggregates Vernon Asuncion, Yan Zhang, Yi Zhou

AAAI 2010 Ordered Completion for First-Order Logic Programs on Finite Structures Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou