Vernon Asuncion

17 papers A* 5B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
New Perspectives for the Deep Learning Based Photography Aesthetics Assessment.
AI (2)
Vernon Asuncion, Yan Zhang
2019 J jnl
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.
J. Artif. Intell. Res.
Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li
2018 J jnl
A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class.
CoRR
Vernon Asuncion, Yan Zhang
2018 J jnl
A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class.
CoRR
Vernon Asuncion, Yan Zhang
2018 A* conf
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.
KR
Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
2018 J jnl
Loop Restricted Existential Rules and First-order Rewritability for Query Answering.
CoRR
Vernon Asuncion, Yan Zhang, Heng Zhang
2017 A* conf
Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.
AAAI
Vernon Asuncion, Yan Zhang, Heng Zhang
2016 J jnl
Reasoning About Policies in Security-Aware Service Discovery Using Answer Set Programming.
Int. J. Cooperative Inf. Syst.
Vernon Asuncion, Khaled M. Khan, Abdelkarim Erradi, Saleh Alhazbi
2015 J jnl
Ordered completion for logic programs with aggregates.
Artif. Intell.
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
2014 A* conf
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.
KR
Vernon Asuncion, Yan Zhang, Heng Zhang
2014 J jnl
Preferred First-Order Answer Set Programs.
ACM Trans. Comput. Log.
Vernon Asuncion, Yan Zhang, Yi Zhou
2014 — conf
Reasoning about Security Policies of Services Using Answer Set Programming.
IEEE SCC
Vernon Asuncion, Khaled M. Khan, Abdelkarim Erradi, Saleh Alhazbi
2013 J jnl
Constructive Circumscription.
Theory Pract. Log. Program.
Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
2012 A* conf
Ordered Completion for Logic Programs with Aggregates.
AAAI
Vernon Asuncion, Yan Zhang, Yi Zhou
2012 J jnl
Ordered completion for first-order logic programs on finite structures.
Artif. Intell.
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2010 A* conf
Ordered Completion for First-Order Logic Programs on Finite Structures.
AAAI
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2009 B conf
Translating Preferred Answer Set Programs to Propositional Logic.
LPNMR
Vernon Asuncion, Yan Zhang