Discovery Projects - Grant ID: DP0211573

Funding Activity

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

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

Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.

Funded Activity Details

Start Date: 09-01-2002

End Date: 31-12-2003

Funding Scheme: Discovery Projects

Funding Amount: $50,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Logics And Meanings Of Programs | Other Artificial Intelligence | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities | Computer software and services not elsewhere classified | Mathematical sciences |

Other Keywords

Application tools and system utilities | Computation Theory and Mathematics | Computer software and services not elsewhere classified | Logics And Meanings Of Programs | Mathematical sciences | Other Artificial Intelligence | Programming Languages

Related Links