Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.Read moreRead less
Foundations and Architectures for Agent Systems. Computer systems are now involved in many aspects of everyday life, commerce, and industry. Making these systems more intelligent has thus become a priority research issue. Agents systems, with their emphasis on autonomy, proactiveness, reactivity, and sociability, are widely regarded as a crucial technology for realising the capabilities that computer systems will need over the next few decades. The proposed research aims to make some fundamenta ....Foundations and Architectures for Agent Systems. Computer systems are now involved in many aspects of everyday life, commerce, and industry. Making these systems more intelligent has thus become a priority research issue. Agents systems, with their emphasis on autonomy, proactiveness, reactivity, and sociability, are widely regarded as a crucial technology for realising the capabilities that computer systems will need over the next few decades. The proposed research aims to make some fundamental contributions to agent systems that will be used to build future computer systems that will have an even more profound positive impact on everyday life, commerce and industry than existing systems.Read moreRead less