Doctor Vernon Asuncion

Doctor Vernon Asuncion

Associate Lecturer - Artificial Intelligence,
Computing & ICT

Biography

Qualifications

  • PhD University of Western Sydney

Organisational Unit (School / Division)

  • Computing & ICT

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

Current Teaching Areas

  • 301174 Artificial Intelligence
  • 301205 Robotic Programming
  • 301312 Applied Machine Learning

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., 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.

Western Sydney University

Locked Bag 1797
Penrith NSW 2751

Tel: +61 2 9852 5222

ABN 53 014 069 881
CRICOS Provider No: 00917k

Visit our mobile site