The Australian Research Data Commons (ARDC) invites you to participate in a short survey about your
interaction with the ARDC and use of our national research infrastructure and services. The survey will take
approximately 5 minutes and is anonymous. It’s open to anyone who uses our digital research infrastructure
services including Reasearch Link Australia.
We will use the information you provide to improve the national research infrastructure and services we
deliver and to report on user satisfaction to the Australian Government’s National Collaborative Research
Infrastructure Strategy (NCRIS) program.
Please take a few minutes to provide your input. The survey closes COB Friday 29 May 2026.
Complete the 5 min survey now by clicking on the link below.
Qualitative models of rationality: Philosophical foundations and applications. This project aims to establish the qualitative approach to rationality as a viable and attractive choice. Mathematical models of rationality, which aim to formalise the rules of good reasoning and decision making, traditionally assume that beliefs and desires are always given in precise, quantifiable degrees of confidence and value. This assumption is implausibly strong, and alternative, qualitative frameworks have be ....Qualitative models of rationality: Philosophical foundations and applications. This project aims to establish the qualitative approach to rationality as a viable and attractive choice. Mathematical models of rationality, which aim to formalise the rules of good reasoning and decision making, traditionally assume that beliefs and desires are always given in precise, quantifiable degrees of confidence and value. This assumption is implausibly strong, and alternative, qualitative frameworks have been developed to handle the frequent situations in which it fails. These, however, remain incomplete and their foundations poorly understood. The project will address their omissions, secure their conceptual underpinnings and use them to clarify and resolve long-standing philosophical problems.Read moreRead less
Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods ....Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods for managing limited resources, as well as boosting interdisciplinary capacity. Anticipated benefits include developing a new programming language that will enable programmers to issue strong guarantees about the resources their programs will use.Read moreRead less