Research outputs per year
Research outputs per year
Personal profile
Fingerprint
Dive into the research topics where Vernon Asuncion is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Loop restricted existential rules and first-order rewritability for query answering
Asuncion, V., Zhang, Y., Zhang, H. & Bai, Y., 1 Mar 2024, In: Journal of Logic and Computation. 34, 2, p. 315-351 37 p.Research output: Contribution to journal › Article › peer-review
-
Polynomial and exponential bounded logic programs with function symbols : some new decidable classes
Asuncion, V., Zhang, Y., Zhang, H. & Li, R., 2019, In: Journal of Artificial Intelligence Research. 64, p. 749-815 65 p.Research output: Contribution to journal › Article › peer-review
-
Loop restricted existential rules and first-order rewritability for query answering
Asuncion, V., Zhang, Y., Zhang, H., Bai, Y. & Si, W., 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 27 October- 2 November 2018, Arizona, U.S.. AAAI, p. 619-620 2 p.Research output: Chapter in Book / Conference Paper › Conference Paper
-
Polynomially bounded logic programs with function symbols : a new decidable class
Asuncion, V., Zhang, Y. & Zhang, H., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17): 4-10 February 2017, San Francisco, California, USA. AAAI Press, p. 1041-1047 7 p.Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review
-
Reasoning about policies in security-aware service discovery using answer set programming
Asuncion, V., Khan, K. M., Erradi, A. & Alhazbi, S., 2016, In: International Journal of Cooperative Information Systems. 25, 1, 37 p., 1650003.Research output: Contribution to journal › Article › peer-review
Projects
- 1 Active
-
An AI-Powered System for Sales Call Performance Evaluation
Zhang, Y. (PI), Lu, Z. (Investigator), Asuncion, V. (Investigator) & Lu, J. (Investigator)
3/02/25 → 31/12/25
Project: Research
Activities
- 5 Committee
-
36th Conference on the Association for the Advancement for Artificial Intelligence (AAAI-2022) (Event)
Asuncion, V. (Member)
22 Feb 2022 → 1 Mar 2022Activity: Membership › Committee
-
30th International Joint Conference on Artificial Intelligence (IJCAI-2021) (Event)
Asuncion, V. (Member)
19 Aug 2021 → 26 Aug 2021Activity: Membership › Committee
-
35th Conference on the Association for the Advancement for Artificial Intelligence (AAAI-2021) (Event)
Asuncion, V. (Member)
2 Feb 2021 → 9 Feb 2021Activity: Membership › Committee
-
33rd Conference on the Association for the Advancement for Artificial Intelligence (AAAI-2019) (Event)
Asuncion, V. (Member)
27 Jan 2019 → 1 Feb 2019Activity: Membership › Committee
-
27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-2018) (Event)
Asuncion, V. (Member)
13 Jul 2018 → 19 Jul 2018Activity: Membership › Committee
HDR Theses
-
First-order answer set programming and classical first-order logic
Asuncion, V. (Author), 2013Western Sydney University thesis: Doctoral thesis
File