Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this projec ....Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this project has potential economic and social benefits for Australia. With a very strong research team across different universities and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing & IT research.Read moreRead less