Vernon Asuncion
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2009–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | KR | Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. | Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si |
| 2017 | AAAI | Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. | Vernon Asuncion, Yan Zhang, Heng Zhang |
| 2014 | KR | Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. | Vernon Asuncion, Yan Zhang, Heng Zhang |
| 2012 | AAAI | Ordered Completion for Logic Programs with Aggregates. | Vernon Asuncion, Yan Zhang, Yi Zhou |
| 2010 | AAAI | Ordered Completion for First-Order Logic Programs on Finite Structures. | Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou |
| 2009 | LPNMR | Translating Preferred Answer Set Programs to Propositional Logic. | Vernon Asuncion, Yan Zhang |