University of Technology Sydney
IT & Engineering
Page 1. Iterated Theory Base Change: A Computational Model Mary-Anne Williams Information Systems Group Department of Management U niversityof N ewcastle , NSW 2 3 0 8 Australia Abstract The AGM paradigm is a formal ...
Recently there has been considerable interest in change operators for theory bases, rather than entire theories. Especially since such operators could support computer-based implementations of revision systems. However, a perceived... more
Belief Revision is a ubiquitous process under-lying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision sys-tems based on the principle of Minimal Change; it provides... more
Page 1. Rea soning Grigoris Antoniou Page 2. Page 3. Page 4. 'onmonotonic Reasoning Grigoris Antoniou Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced... more
The aim of this paper is to describe the algorithmic foundations of the part of the program Exten responsible for the computation of extensions in Constrained Default Logic. Exten is a system that computes extensions for various default... more
Robots interacting with other agents in dynamic environments require robust knowledge management capabilities if they are to communicate, learn and exhibit intelligent behaviour. Symbol grounding involves creating, and maintaining, the... more
Yan Bai, University of Washington, USA Feng Bao, Institute for Infocomm Research, Singapore Ken Barker, University of Calgary, Canada Jianneng Cao, Purdue University, USA Mauro Conti, University of Padua, Italy Bruno Crispo, University of... more
Robot Soccer involves planning at many levels, and in this paper we develop high level planning strategies for robots playing in the RoboCup Four-Legged League using case based reasoning. We develop a framework for developing and choosing... more