ARDC Research Link Australia Research Link Australia   BETA Research
Link
Australia
  • ARDC Newsletter Subscribe
  • Contact Us
  • Home
  • About
  • Feedback
  • Explore Collaborations
  • Researcher
  • Funded Activity
  • Organisation
  • Researcher
  • Funded Activity
  • Organisation
  • Researcher
  • Funded Activity
  • Organisation

Need help searching? View our Search Guide.

Advanced Search

Current Selection
Socio-Economic Objective : Application packages
Research Topic : Logic models
Australian State/Territory : NSW
Clear All
Filter by Field of Research
Artificial Intelligence and Image Processing (5)
Neural Networks, Genetic Alogrithms And Fuzzy Logic (5)
Other Artificial Intelligence (2)
Pattern Recognition (2)
Simulation And Modelling (2)
Building Not Elsewhere Classified (1)
Computer Software (1)
Decision Support And Group Support Systems (1)
Electronic Commerce (1)
Image Processing (1)
Information Systems (1)
Information Systems Management (1)
Mathematical Logic And Formal Languages (1)
Mathematical Logic, Set Theory, Lattices And Combinatorics (1)
Other Information, Computing And Communication Sciences (1)
Programming Languages (1)
Signal Processing (1)
Filter by Socio-Economic Objective
Application packages (7)
Computer software and services not elsewhere classified (2)
Behavioural and cognitive sciences (1)
Communication equipment not elsewhere classified (1)
Diagnostic methods (1)
Housing (1)
Information processing services (1)
Mathematical sciences (1)
Other (1)
Technological and organisational innovation (1)
Filter by Funding Provider
Australian Research Council (7)
Filter by Status
Closed (7)
Filter by Scheme
Discovery Projects (5)
Linkage Projects (2)
Filter by Country
Australia (7)
Filter by Australian State/Territory
NSW (7)
VIC (2)
ACT (1)
  • Researchers (5)
  • Funded Activities (7)
  • Organisations (8)
  • Funded Activity

    Discovery Projects - Grant ID: DP0453238

    Funder
    Australian Research Council
    Funding Amount
    $150,000.00
    Summary
    RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d .... RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
    Read more Read less
    More information
    Funded Activity

    Discovery Projects - Grant ID: DP0773584

    Funder
    Australian Research Council
    Funding Amount
    $210,000.00
    Summary
    Automatic detection of the circle of Willis in neuro-images using multi-scale gradient calculation and knowledge-based genetic algorithms. Stroke is the third most common cause of death and a major contributor to long term disability in Australia. The most efficient way of preventing stroke from happening is to detect related symptoms early. The group of cerebral blood vessels that closely related to strokes is the circle of Willis (CoW). We build a system that can automatically detect and quan .... Automatic detection of the circle of Willis in neuro-images using multi-scale gradient calculation and knowledge-based genetic algorithms. Stroke is the third most common cause of death and a major contributor to long term disability in Australia. The most efficient way of preventing stroke from happening is to detect related symptoms early. The group of cerebral blood vessels that closely related to strokes is the circle of Willis (CoW). We build a system that can automatically detect and quantify CoW in neuroimages, providing ways of preventing strokes from happening. The project will enhance Australia¡¯s leading position in promoting and maintaining good health, especially in preventive healthcare.
    Read more Read less
    More information
    Funded Activity

    Linkage Projects - Grant ID: LP0882413

    Funder
    Australian Research Council
    Funding Amount
    $235,944.00
    Summary
    Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in m .... Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in many of these computer models and develop a novel and innovative design methodology. The success of this project will revolutionize the computational tools for the industry realizing a convenient, robust and time-saving integrated platform catering for increasing future market demand.
    Read more Read less
    More information
    Funded Activity

    Discovery Projects - Grant ID: DP0343346

    Funder
    Australian Research Council
    Funding Amount
    $159,264.00
    Summary
    Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algori .... Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algorithms with the aim of designing algorithms better able to exploit prior knowledge, and to extend existing algorithms to new problem domains thus offering well principled and well understood algorithms for solving a variety of novel online problems.
    Read more Read less
    More information
    Funded Activity

    Discovery Projects - Grant ID: DP0988750

    Funder
    Australian Research Council
    Funding Amount
    $225,000.00
    Summary
    Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of e .... Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of economic, political and social phenomena. The techniques, algorithms and possible patents generated by the project can be directly used by the Australian IT industry for the development of efficient e-trading systems, allowing Australian business to take advantage of new e-market territories.
    Read more Read less
    More information
    Funded Activity

    Discovery Projects - Grant ID: DP0880739

    Funder
    Australian Research Council
    Funding Amount
    $191,000.00
    Summary
    A Comprehensive Platform for Dynamic Decision Support in Warning Systems through Better Management of Uncertain Information. Public and individual warning systems are installed widely in Australia for emergency situations such as fire, terrorist attack, tsunami, and financial risk. The developed platform with its uncertain information management and dynamic decision support software will directly assist Australian government agencies, industries, and professional officers responsible for public .... A Comprehensive Platform for Dynamic Decision Support in Warning Systems through Better Management of Uncertain Information. Public and individual warning systems are installed widely in Australia for emergency situations such as fire, terrorist attack, tsunami, and financial risk. The developed platform with its uncertain information management and dynamic decision support software will directly assist Australian government agencies, industries, and professional officers responsible for public warning systems by improving the reliability of generated warnings, effective design of any new warning system, and accurate decision making in responding threats. It will also greatly contribute to the processing of uncertain information in other organizational information systems, and enhance training exercise facilities in complex emergency environments.
    Read more Read less
    More information
    Funded Activity

    Linkage Projects - Grant ID: LP0455343

    Funder
    Australian Research Council
    Funding Amount
    $70,668.00
    Summary
    DEVELOPING A SMART FIRE RISK ADVISORY SYSTEM USING FIRE MODELLING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. This project aims to develop a prototype fire risk advisory system for fire prevention and protection. Intelligent knowledge-based systems technologies will be tailored to provide a standardised approach for fire risk analysis by using collective expertise of fire engineers and fire modelling. This project will lead to a significant advancement to the development of intelligent systems tec .... DEVELOPING A SMART FIRE RISK ADVISORY SYSTEM USING FIRE MODELLING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. This project aims to develop a prototype fire risk advisory system for fire prevention and protection. Intelligent knowledge-based systems technologies will be tailored to provide a standardised approach for fire risk analysis by using collective expertise of fire engineers and fire modelling. This project will lead to a significant advancement to the development of intelligent systems techniques for industrial applications and provide a better fire risk analysis tool for fire protection and preventions with the benefit of reduced risk for buildings.
    Read more Read less
    More information

    Showing 1-7 of 7 Funded Activites

    Advanced Search

    Advanced search on the Researcher index.

    Advanced search on the Funded Activity index.

    Advanced search on the Organisation index.

    National Collaborative Research Infrastructure Strategy

    The Australian Research Data Commons is enabled by NCRIS.

    ARDC CONNECT NEWSLETTER

    Subscribe to the ARDC Connect Newsletter to keep up-to-date with the latest digital research news, events, resources, career opportunities and more.

    Subscribe

    Quick Links

    • Home
    • About Research Link Australia
    • Product Roadmap
    • Documentation
    • Disclaimer
    • Contact ARDC

    We acknowledge and celebrate the First Australians on whose traditional lands we live and work, and we pay our respects to Elders past, present and emerging.

    Copyright © ARDC. ACN 633 798 857 Terms and Conditions Privacy Policy Accessibility Statement
    Top
    Quick Feedback