Funding
Our research activities are supported by a number of Australian Research Council and Macquarie University grants. Our current funding arrangements include:
- 2006 to 2008 - A. Nayak (with Y Zhang, K Wang and F Lin); Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems; ARC Discovery Grant, $234,000.
- 2005 to 2008 - M Orgun, M Dras; Classification and prediction modelling for financial distress: Tax debt and insolvency for ATO clients; ARC Linkage Grant, $78,000.
- 2005 to 2007 - M Orgun, A Nayak (with Y Zhang, Y Mu and F Bao); Knowledge Based Model Updating for the Correctness of Security Protocols; ARC Discovery Grant, $284,000.
- 2004 - AC Halbert, A Nayak, M Orgun et al; Intelligent Applications Through the Semantic Web, ARC Network Seeding Grant, $20,000.
- 2004 to 2008 - M Orgun, C Liu (with A Sattar, G Governatori and M Reynolds); Combining Modal Logics for Dynamic and Multi-agent Systems, ARC, Discovery Project, $480,000.
- 2003 to 2007 - A McIver (with C.C. Morgan); Economical and practical design and analysis of probabilistic distributed systems. ARC Discovery Grant, $669,000.
- 2003 to 2005 - A Nayak, N Foo, and M Pagnucco (with A Ghose); Intelligent Information Assimilation, ARC Discovery Grant, $184,000.
- 2003 to 2005 - M Pagnucco and A Nayak (with C Sammut and A Sattar); Real-time high-level cognitive robotics controllers, ARC Discovery Grant, $220,000.
- 2003 - A Nayak, M Orgun, M Dras (with D Richards and J Matthews); ARC RIBG, $30,000.
- 2003 - M Orgun; Foundations of Executable Temporal Logic, MURDG, $10,000.
- 2002 to 2003 - A McIver; Formal Reasoning Amidst Uncertainty. (In collaboration with and funded by Australia's Defence Science and Technology Organisation (DSTO), $13,000.
- 2002 to 2003 - A McIver; Verification of randomised conflict-resolution in distributed systems using, automated reasoning tools, MURG, $14,648
- 2002 - M Orgun; Foundations of Executable Temporal Logic, ARC Discovery Project (Innovation Initiative), $50,000.
- 2002 - A Nayak and M Orgun; Information assimilation and smart choice, MURG, $6,877.
- 2002 - M Orgun; Temporal Knowledge Discovery, MURG, $5,000.
- 2001 - A Nayak and M Pagnucco; Discovering Causal Laws Through Under-specified Actions, ARC Small Grant, $12,100.
- 2001 - A Nayak; Intelligent Information Assimilation and Choice Making Based on Belief Merging Technique, MURG, $6,800.
- 2001 - Y Pisan and A Nayak; Using Multi-Agent Environments Based on Real World Models for Training, MURG, $6,500.
- 2001 - M Orgun (with K Zhang); Generation of Visual Programming Languages, ARC Large Grant, $52,773.
- 2001 - M Orgun; Foundations of Executable Temporal Logic, ARC Small Grant, $17,818.
- 2001 - M Orgun; Foundations of Temporal Query Languages, MURG, $7,500.
- 2000 to 2002 - M Orgun (with R Wong and W Du); Modelling and Reasoning about Multidimensional Information, ARC Large Grant, $155,867.
- 2000 to 2001 - M Orgun (with V Wietrzyk and V Varadharajan); Modelling and reasoning about secure workflow systems, University ofWestern Sydney, $15,732.
- 1999 - M Orgun; Modelling and Reasoning about Multidimensional Information, ARC Small Grant, $18,598.
- 1999 - M Orgun; Temporal Data Mining, MURG, $6,500.
- 1999 - M Orgun; Modelling and reasoning about multi-dimensional information, Small Australian Research Council (ARC) Grant, $18,598.
- 1998 to 2000 - M Orgun (with K Zhang); Foundations of Executable Temporal Logic, Small Australian Research Council (ARC) Grant, $33,469.
- 1998 - M Orgun; Modelling and reasoning about multi-dimensional information, MURG, $8,500.
- 1997 - M Orgun; Temporal Logic Programming, MURG, $8,112.
- 1996 to 1998 - M Orgun; Temporal Models and Algebras for Databases, ARC Large Grant, $166,771.
- 1995 to 1997 - M Orgun; A Customizable Dataflow Execution Model for Intensional Logic Programs and Its Implementation, Small Australian Research Council (ARC) Grant, $31,616.
- 1994 to 1995 - M Orgun; Temporal Models and Algebras for Databases, MURG, $12,000.
- 1993 to 1994 - M Orgun; Software Reverse Engineering, MURG, $5,100.