Statistics
Publications
2
Citations
37
H-Index
2
Active since
2011
Affiliations
Western Sydney University(Current)
Vernon Asuncion is an author at Western Sydney University specializing in mathematics, predicate logic, and formal methods.
Publications per year
2011–2015
2
2
Ordered completion for first-order logic programs on finite structures
Vernon Asuncion, Fangzhen Lin, Yan Zhang et al. · Artificial Intelligence · 2011 · 22 citations
Ordered completion for logic programs with aggregates
Vernon Asuncion, Yin Chen, Yan Zhang et al. · Artificial Intelligence · 2015 · 15 citations
1–2 of 2