The Knowledge Systems Group

I lead a research group, the Knowledge Systems Group (KSG) currently comprising four academic staff, two research fellows, one honorary associate, (usually) one visitor, six graduate students, and (usually) four honours students. KSG was formally constituted in 1989 after four of its original staff members had been collaborating informally for a year or two. The unifying focus of research in KSG is representational issues in the modelling of complex dynamic systems using formal descriptions. The formalisms that feature most frequently in KSG's research are non-monotonic, temporal, modal, possibilistic, and belief revision logics. Logic programming, and more recently object-oriented programming, are the main vehicles for our implementations. The staff members and students are now distributed across five universities, including Sydney, Macquarie, Western Sydney and Wollongong, with the University of New South Wales as the centre. KSG's URL is http://www.cse.unsw.edu.au/$\sim$ksg from which descriptions of its activities and samples of recent publications can be accessed.