Translating Preferred Answer Set Programs to Propositional Logic. - Vernon Asuncion; Yan Zhang 003 (LPNMR, 2009)

Ordered Completion for Logic Programs with Aggregates. - Vernon Asuncion; Yan Zhang 003; Yi Zhou 013 (AAAI, 2012)

Ordered completion for first-order logic programs on finite structures. - Vernon Asuncion; Fangzhen Lin; Yan Zhang 003; Yi Zhou 013 (Artif. Intell., 2012)

Constructive Circumscription. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yi Zhou 013 (Theory Pract. Log. Program., 2013)

Reasoning about Security Policies of Services Using Answer Set Programming. - Vernon Asuncion; Khaled M. Khan; Abdelkarim Erradi; Saleh Alhazbi (IEEE SCC, 2014)

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (KR, 2014)

Preferred First-Order Answer Set Programs. - Vernon Asuncion; Yan Zhang 003; Yi Zhou 013 (ACM Trans. Comput. Log., 2014)

Ordered completion for logic programs with aggregates. - Vernon Asuncion; Yin Chen 005; Yan Zhang 003; Yi Zhou 013 (Artif. Intell., 2015)

Reasoning About Policies in Security-Aware Service Discovery Using Answer Set Programming. - Vernon Asuncion; Khaled M. Khan; Abdelkarim Erradi; Saleh Alhazbi (Int. J. Cooperative Inf. Syst., 2016)

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (AAAI, 2017)

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yun Bai 001; Weisheng Si (KR, 2018)

A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. - Vernon Asuncion; Yan Zhang 003 (CoRR, 2018)

Loop Restricted Existential Rules and First-order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (CoRR, 2018)

A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. - Vernon Asuncion; Yan Zhang 003 (CoRR, 2018)

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Ruixuan Li 001 (J. Artif. Intell. Res., 2019)

New Perspectives for the Deep Learning Based Photography Aesthetics Assessment. - Vernon Asuncion; Yan Zhang (AI (2), 2024)