Meetings and Seminars

 

The Intelligent Systems Group normally meets once a month. We also host speakers from outside from time to time.

Joint ISG/CSIRO Discussion group on Entropy and Self-organisation in Multi-Agent Systems

The main goal of the joint ISG/CSIRO discussion meetings is to encourage cross-fertilisation of research ideas and expertise between the ISG members and CSIRO ICT researchers with a view to building collaboration.

Further details on the discussion group and schedule of meetings are available here.

Meetings & Seminars

Date
Speaker
Talk
March 8, 2013  Prof Torsten Schaub, University of Potsdam, Germany  Answer Set Solving in Practice  
February 8, 2013  Professor Dr Georg Peters, Munich University of Applied Sciences, Munich, Germany & Australian Catholic University  A Rough Analysis of IT Business Values  
March 2, 2012  Professor Dr Georg Peters, Munich University of Applied Sciences, Munich, Germany  Granular Box Regression  
February 13, 2009  Dr Lee Flax, ISG  Application of Boolean algebra of sets of sentences in formal modeling of certain cognitive processes.  
November 21, 2008  Dr Lee Flax, ISG  A Logic Based Algebra for Cognitive Modelling  
November 7, 2008  Dr Lee Flax, ISG  Three Uses of The Boolean Algebra of Sentences 
October 24, 2008  Armin Hezart, ISG, PhD Student  Formal foundations for Tacit Knowledge: Elicitation, Representation and Reasoning (Part II) 
October 10, 2008  Armin Hezart, ISG, PhD Student  Formal foundations for Tacit Knowledge: Elicitation, Representation and Reasoning (Part I) 
September 12, 2008  Dr Peter Busch, ISG  Formal Categorization of Tacit Knowledge 
August 22, 2008  Dr Peter Busch, ISG  Tacit Knowledge and Its Potential 'Flows': A Case Study 
August 8, 2008  Ali Orhan Aydın, PhD student, ISG  The Reactive-Causal Architecture: Combining Intentional Notion and Theories of Needs 
November 19, 2007  Professor David Makinson, King's College, London  Propositional relevance through letter-sharing 
August 13, 2007  Dr Lee Flax, ISG  Agent Reasoning under bounded resources 
June 29, 2007  Dr Chuchang Liu, DSTO  Security Policies -- Formalisation, Implementation and Correctness Analysis 
November 24, 2006  Lt. Col Bill Nace,Asian Office of Aerospace Research and Development, Tokyo, Japan  Facilitating Research Collaborations in Asia and Australia 
November 17, 2006  Greg O'Keefe, Automated Reasoning Group (ANU)  Dynamic logic for consistency checking in UML 
August 4, 2005   Professor David Makinson, King's College, London  Friendliness for Logicians 
June 26, 2003  Dr. Dongmo Zhang, University of Western Sydney  Negotiation: from Game Theory to Logic 
June 20, 2003  Dr. Debbie Richards, Macquarie University  Composing Web Services Using an Agent Factory 
May 23, 2003  A/Prof. Yan Zhang, University of Western Sydney  Knowledge Updating and Systems Modification 
May 16, 2003 Dr. Mikhail Prokopenko, CSIRO  Self-Organising Sensor Networks in Ageless Aerospace Vehicles 
April 11, 2003 Dr. Thomas Meyer, NICTA (UNSW node)  A logic of negotiation 
March 28, 2003 Dr. Eric Martin, UNSW  An Introduction to Parametric Logic 
March 11, 2003 Prof. Bernhard Nebel, Universitat Freiburg, Germany  Cooperative Sensing and Acting in Robotic Soccer 

The location is room E6A 357 (usually). Please contact us if you would like to give a talk or collaborate.