Doctor Vernon Asuncion
APA Information and Communications Technology - Undergraduate & Computer Science,
Computing & ICT
Lecturer - Artificial Intelligence,
Computing & ICT
Biography
Qualifications
- PhD University of Western Sydney
Organisational Unit (School / Division)
- Computing & ICT
- Computing & ICT
Committees
- 30th International Joint Conference on Artificial Intelligence (IJCAI-2021)
- 35th Conference on the Association for the Advancement for Artificial Intelligence (AAAI-2021)
- 36th Conference on the Association for the Advancement for Artificial Intelligence (AAAI-2022)
- 33rd Conference on the Association for the Advancement for Artificial Intelligence (AAAI-2019)
- 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-2018)
Contact
| Email: | V.Asuncion@westernsydney.edu.au |
|---|---|
| Phone: | (02) 47360 366 |
| Mobile: | |
| Location: | Y.3.25 Penrith (Kingswood) |
PLEASE NOTE: obtaining information from this Directory must be for the legitimate purposes of doing business with and within Western Sydney University, and must not be used for unsolicited bulk e-mailing (spamming) or similar purposes.
Teaching
Previous Teaching Areas
- COMP3027 Robotic Programming, 2022
- COMP3027 Robotic Programming, 2023
- COMP7019 Applied Machine Learning, 2022
- COMP7019 Applied Machine Learning, 2023
- INFO7002 Advanced Topics in Artificial Intelligence, 2022
- INFS3003 Artificial Intelligence, 2022
- INFS3003 Artificial Intelligence, 2023
Publications
Journal Articles
- Asuncion, V., Zhang, Y., Zhang, H. and Li, R. (2019), 'Polynomial and exponential bounded logic programs with function symbols : some new decidable classes', Journal of Artificial Intelligence Research, vol 64 , pp 749 - 815.
- Asuncion, V., Khan, K., Erradi, A. and Alhazbi, S. (2016), 'Reasoning about policies in security-aware service discovery using answer set programming', International Journal of Cooperative Information Systems, vol 25, no 1 .
- Asuncion, V., Chen, Y., Zhang, Y. and Zhou, Y. (2015), 'Ordered completion for logic programs with aggregates', Artificial Intelligence, vol 224 , pp 72 - 102.
- Asuncion, V., Zhang, Y. and Zhou, Y. (2014), 'Preferred first-order answer set programs', ACM Transactions on Computational Logic, vol 15, no 2 .
- Asuncion, V., Zhang, Y., Zhang, H. and Zhou, Y. (2013), 'Constructive circumscription', Theory and Practice of Logic Programming, vol 13, no 4-5 , pp 1 - 2.
- Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for first-order logic programs on finite structures', Artificial Intelligence, vol 177-179 , pp 1 - 24.
Conference Papers
- Asuncion, V., Zhang, Y., Zhang, H., Bai, Y. and Si, W. (2018), 'Loop restricted existential rules and first-order rewritability for query answering', International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Az..
- Asuncion, V., Zhang, Y. and Zhang, H. (2017), 'Polynomially bounded logic programs with function symbols : a new decidable class', AAAI Conference on Artificial Intelligence, San Francisco, Calif..
- Asuncion, V., Zhang, Y. and Zhang, H. (2014), 'Logic programs with ordered disjunction : first-order semantics and expressiveness', International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria.
- Asuncion, V., Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for logic programs with aggregates', AAAI Conference on Artificial Intelligence, Toronto, Canada.
- Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y. (2010), 'Ordered completion for first-order logic programs on finite structures', Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, US.
- Asuncion, V. and Zhang, Y. (2009), 'Translating preferred answer set programs to propositional logic', The 10th Internaitonal Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Germany.
My research interest is primarily in the area of Knowledge Representation and Reasoning (KR) and Artificial Neural Networks (ANNs). In particular, logic programming, ontology languages, existential rules and search. I am currently also undertaking research on using Machine Learning tools for image generation and processing using the Generative Adversarial Network (GAN).
This information has been contributed by Doctor Asuncion.