Discovery Projects - Grant ID: DP140104245

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP140104245

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial optimisation problems, and it will motivate and test our systems by means of case studies from both of these areas.

Funded Activity Details

Start Date: 07-05-2014

End Date: 31-08-2018

Funding Scheme: Discovery Projects

Funding Amount: $358,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Artificial Intelligence and Image Processing not elsewhere classified | Computational Logic and Formal Languages | Mathematical Software | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Application Software Packages (excl. Computer Games) |

Other Keywords

Application Software Packages (excl. Computer Games) | Artificial Intelligence and Image Processing not elsewhere classified | Computation Theory and Mathematics | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences | Mathematical Software

Related Links