Vernon Asuncion

17 papers A* 5B 1Journal 9Unranked 2

Year	Rank	Type	Title / 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