The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vernon Asuncion" ( http://dblp.L3S.de/Authors/Vernon_Asuncion )

  Author page on DBLP  Author page in RDF  Community of Vernon Asuncion in ASPL-2

Publication years (Num. hits)
2009-2018 (15) 2019 (1)
Publication types (Num. hits)
article(9) inproceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003 A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006 Loop Restricted Existential Rules and First-order Rewritability for Query Answering. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vernon Asuncion, Yan Zhang A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006 Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Vernon Asuncion, Khaled M. Khan, Abdelkarim Erradi, Saleh Alhazbi Reasoning About Policies in Security-Aware Service Discovery Using Answer Set Programming. Search on Bibsonomy Int. J. Cooperative Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Yin Chen, Yan Zhang 0003, Yi Zhou Ordered completion for logic programs with aggregates. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003, Yi Zhou Preferred First-Order Answer Set Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006 Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Vernon Asuncion, Khaled M. Khan, Abdelkarim Erradi, Saleh Alhazbi Reasoning about Security Policies of Services Using Answer Set Programming. Search on Bibsonomy IEEE SCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006, Yi Zhou Constructive Circumscription. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Vernon Asuncion, Fangzhen Lin, Yan Zhang 0003, Yi Zhou Ordered completion for first-order logic programs on finite structures. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003, Yi Zhou Ordered Completion for Logic Programs with Aggregates. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Vernon Asuncion, Fangzhen Lin, Yan Zhang 0003, Yi Zhou Ordered Completion for First-Order Logic Programs on Finite Structures. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Vernon Asuncion, Yan Zhang 0003 Translating Preferred Answer Set Programs to Propositional Logic. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF prioritized logic programs, answer set computations, answer set semantics
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license