Meetings & 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
|
| 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.
[Back to top]
