Vernon Asuncion

According to our database, Vernon Asuncion authored at least 15 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.

Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li

J. Artif. Intell. Res., 2019

2018

A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class.

Vernon Asuncion, Yan Zhang

CoRR, 2018

Loop Restricted Existential Rules and First-order Rewritability for Query Answering.

Vernon Asuncion, Yan Zhang, Heng Zhang

CoRR, 2018

A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class.

Vernon Asuncion, Yan Zhang

CoRR, 2018

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.

Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.

Vernon Asuncion, Yan Zhang, Heng Zhang

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

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

2015

Ordered completion for logic programs with aggregates.

Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou

Artif. Intell., 2015

2014

Preferred First-Order Answer Set Programs.

Vernon Asuncion, Yan Zhang, Yi Zhou

ACM Trans. Comput. Log., 2014

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.

Vernon Asuncion, Yan Zhang, Heng Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Reasoning about Security Policies of Services Using Answer Set Programming.

Vernon Asuncion, Khaled M. Khan, Abdelkarim Erradi, Saleh Alhazbi

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Constructive Circumscription.

Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou

Theory Pract. Log. Program., 2013

2012

Ordered completion for first-order logic programs on finite structures.

Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

Artif. Intell., 2012

Ordered Completion for Logic Programs with Aggregates.

Vernon Asuncion, Yan Zhang, Yi Zhou

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2009

Translating Preferred Answer Set Programs to Propositional Logic.

Vernon Asuncion, Yan Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009