🚀 go-pugleaf

		       PROVISIONAL PROGRAMME OF AI'94  

	Seventh Australian Joint Conference on Artificial Intelligence

=======================================================================
21 - 25,  November, 1994

The University of New England, Armidale, NSW, Australia

For Technical Sessions Contact: 
	 Chengqi Zhang
	 Programme Committee Co-Chair
	 Email: ai94@fermat.une.edu.au
	 Tel:   (61-67) 73 2350 (or message 61-67 73 2298)
	 Fax:   (61-67) 73 3312 
	 
For Workshops or Tutorials Contact:
         Dickson Lukose
	 Organising Committee Chair
	 Email: ai94@fermat.une.edu.au
	 Tel:   (61-67) 73 2302 (or message 61-67 73 2298)
	 Fax:   (61-67) 73 3312 
=============================================================================

		OUTLINES of PROGRAMME

MONDAY, 21 November 1994 (TUTORIALS)
--------------------------------------------------------------------------
		Stream1   Stream2   Stream3   Stream4        WORKSHOP
--------------------------------------------------------------------------
 8.30- 9.30	REGISTRATION for TUTORIALS and WORKSHOPS
---------------------------------------------------------------------------
 9.30-10.30	Introduction to Artificial Intelligence
---------------------------------------------------------------------------
10.30-11.00		Morning Tea Break
---------------------------------------------------------------------------
11.00-12.30     NMR(t)    IDSS(t)    EC(t)    TFML(t)
---------------------------------------------------------------------------
12.30- 2.00		LUNCH BREAK
--------------------------------------------------------------------------
 2.00- 3.30     NMR(t)    IDSS(t)    EC(t)    TFML(t)	      ECW
--------------------------------------------------------------------------
 3.30- 4.00		Afternoon Tea Break
--------------------------------------------------------------------------
 4.00- 5.30	NMR(p)    IDSS(p)    EC(p)    TFML(t)	      ECW
==========================================================================

TUESDAY, 22 November 1994 

TUTORIALS
--------------------------------------------------------------------------
		Stream1   Stream2   Stream3   Stream4   Stream5 
--------------------------------------------------------------------------
 9.00-10.30	CBR(t)    FLFC(t)   HS(t)     ILDB(t)   KAM(t)
---------------------------------------------------------------------------
10.30-11.00		Morning Tea Break
---------------------------------------------------------------------------
11.00-12.30     CBR(t)    FLFC(t)   HS(t)     ILDB(t)   KAM(t)
---------------------------------------------------------------------------
12.30- 2.00		LUNCH BREAK
--------------------------------------------------------------------------
 2.00- 3.30     CBR(t)    FLFC(p)   HS(d)     ILDB(p)   KAM(d)
--------------------------------------------------------------------------
 3.30- 4.00		Afternoon Tea Break
--------------------------------------------------------------------------
 4.00- 5.30	CBR(p) 
--------------------------------------------------------------------------

WORKSHOPS
--------------------------------------------------------------------------
		Stream1   Stream2   Stream3   Stream4   Stream5 
--------------------------------------------------------------------------
 9.00-10.30	CS        ES        KBNR      NLP       ECW   
---------------------------------------------------------------------------
10.30-11.00		Morning Tea Break
---------------------------------------------------------------------------
11.00-12.30     CS        ES        KBNR      NLP       ECW 
---------------------------------------------------------------------------
12.30- 2.00		LUNCH BREAK
--------------------------------------------------------------------------
 2.00- 3.30     CS        ES        KBNR      NLP       ECW 
--------------------------------------------------------------------------
 3.30- 4.00		Afternoon Tea Break		      POSTGRADUATE
-----------------------------------------------------------   STUDENTS
 4.00- 5.30     CS        ES        KBNR      NLP       ECW   SESSION
--------------------------------------------------------------------------
 6.00- 7.30    WELCOME B.B.Q.
==========================================================================
 

WEDNESDAY, 23 November 1994 (TECHNICAL SESSIONS)
--------------------------------------------------------------------------
		Stream1  	Stream2  	Stream3  
--------------------------------------------------------------------------
 8.00- 9.00  	REGISTRATION for CONFERENCE  
--------------------------------------------------------------------------
 9.00- 9.30	OPENING and WELCOME 
-------------------------------------------------------------------------
 9.30-10.00                   "Intellimedia: Planning Language, Graphics and 
             INVITED SPEECH   Layout for Adaptive Information Presentation"	
10.00-10.30				Prof. W. Wahlster (DFKI) 
---------------------------------------------------------------------------
10.30-11.00		Morning Tea Break
---------------------------------------------------------------------------
11.00-12.30     NL(1)            ML(1)           KR(1)
---------------------------------------------------------------------------
12.30- 2.00		LUNCH BREAK
--------------------------------------------------------------------------
 2.00- 3.30     RE(1)            KBS&AIA(1)      NN(1)
--------------------------------------------------------------------------
 3.30- 4.00		Afternoon Tea Break
--------------------------------------------------------------------------
 4.00- 5.30     RE(2)            ML(2)           KR(2)
==========================================================================
 
THURSDAY, 24 November 1994 (TECHNICAL SESSIONS)
--------------------------------------------------------------------------
		Stream1  	Stream2  	Stream3  
--------------------------------------------------------------------------
 9.00- 9.30   			"The Present and Future of Distributed 
             INVITED SPEECH      Artificial Intelligence"
 9.30-10.00                		Prof. K. Sycara (CMU)
--------------------------------------------------------------------------
10.00-10.30		Morning Tea Break	
---------------------------------------------------------------------------
10.30-12.30     DAI(1)           KBS&AIA(2)     PLANNING
---------------------------------------------------------------------------
12.30- 2.00		LUNCH BREAK
--------------------------------------------------------------------------
 2.00- 3.30     NL(2)            ML(3)          Robotics
--------------------------------------------------------------------------
 3.30- 4.00		Afternoon Tea Break
--------------------------------------------------------------------------
 4.00- 5.00     RE(3)            ML(4)           NN(2)
--------------------------------------------------------------------------
 5.00- 6.30             POSTER SESSION
--------------------------------------------------------------------------
 7.00- ***		CONFERENCE DINNER
=========================================================================

FRIDAY, 25 November 1994 (TECHNICAL SESSIONS)
--------------------------------------------------------------------------
		Stream1  	Stream2  	Stream3  
--------------------------------------------------------------------------
 9.00- 9.30   INVITED SPEECH    "Sharing and Integrating Knowledge Bases"
 9.30-10.00                         Prof. J. F. Sowa (State Univ. of NY)
--------------------------------------------------------------------------
10.00-10.30		Morning Tea Break	
---------------------------------------------------------------------------
10.30-12.30     RE(4)           ML(5)           IA&Vision
---------------------------------------------------------------------------
12.30- 2.00		LUNCH BREAK
--------------------------------------------------------------------------
 2.00- 3.30     DAI(2)          KA              KR(3)
--------------------------------------------------------------------------
 3.30- 4.00	 	CLOSING	
=========================================================================


			THE DETAILED PROGRAMME

Monday, 21 November, 1994

REGISTRATION for TUTORIALS, WORKSHOPS 	8.30am - 9.30am

NB: Morning Tea:   10.30am - 11.00am
    Lunch:         12.30pm -  2.00pm
    Afternoon Tea:  3.30pm -  4.00pm 

TUTORIALS  (First Day)

________________________________________________________________________
Code  Length  Title                       Presenter(s)         time
------------------------------------------------------------------------
AI    1hr     Introduction to Artificial  Prof. James Alty     9.30-10.30
              Intelligence

NMR   3s      Nonmonotonic Reasoning      Dr. M-A Williams     11.00-5.30
                                          Dr. G. Antoniou

IDSS  3s      Building Intelligent        Dr. J. Zeleznikow    11.00-5.30
              Decision Support            Mr. Dan Hunter
              Systems

EC    3s      An Introduction to          Dr. X. Yao           11.00-5.30
              Evolutionary Computation    Prof. Z. Michalewicz

TFML  3s      Theoretical Foundations of  Dr. A. G. Hoffman    11.00-5.30
              Machine Learning            Dr. Shyam Kapur
                                          Dr. Arun Sharma
-------------------------------------------------------------------------

WORKSHOPS (First Day)

________________________________________________________________________
Code  Length  Title                       Contact              time
------------------------------------------------------------------------
ECW   2s      AI'94 Workshop on 	  Dr. X. Yao 	       2.00-5.30 
	      Evolutionary Computation 
==========================================================================

Tuesday, 22nd November

NB: Morning Tea:   10.30am - 11.00am
    Lunch:         12.30pm -  2.00pm
    Afternoon Tea:  3.30pm -  4.00pm 

TUTORIALS (Second Day)
___________________________________________________________________________
Code  Length  Title                       Presenter(s)         Time  
---------------------------------------------------------------------------
CBR   4s      Constraint-Based Reasoning  Dr. H. W. Guesgen    9.00-5.30

ILDB  3s      Intelligent Learning        Dr Xindong Wu        9.00-3.30
              Database Systems

FLFC  3s     Fundamentals of Fuzzy        Dr. A. Sekercioglu   9.00-3.30
             Logic and Fuzzy Logic        Mr. G. K. Egan
             Controllers

KAM   3s     Knowledge Acquisition        Dr. P. Compton       9.00-3.30
             and Maintenance with
             Ripple Down Rules

HS    3s     Hybrid (AI symbolic,        Dr. Nik K. Kasabov    9.00-3.30
             Connectionist, Fuzzy,
             Chaotic) Systems
---------------------------------------------------------------------------


WORKSHOPS (Second Day)

________________________________________________________________________
Code  Length  Title                       Contact              time
------------------------------------------------------------------------
CS    4s      1st Australian Conceptual	  Mr. Gerard Ellis     9.00-5.30
	      Structures Workshop

ES    4s      AI'94 Workshop on Expert    Dr. Eric Tsui        9.00-5.30
              Systems in Production use 

KBNR  4s      AI'94 Workshop on           Dr. John Weckert     9.00-5.30
	      Knowledge-Based Systems in 
	      Natural Resource Management

NLP   4s      2nd Australian Workshop on  Dr. Ingrid Zukerman  9.00-5.30
	      Natural Language Processing

ECW   4s      AI'94 Workshop on 	  Dr. X. Yao 	       9.00-5.30 
	      Evolutionary Computation 
-----------------------------------------------------------------------------

POSTGRADUATE STUDENTS SESSION

4.00pm - 5.30pm
-----------------------------------------------------------------------------

WELCOME B.B.Q. 6:00pm - 7:30pm 

REGISTRATION for CONFERENCE  4.00pm - 8.30pm 
============================================================================

Wednesday, 23 November, 1994

REGISTRATION for CONFERENCE  8.00am - 9.00am 

MORNING SESSION

OPENING and WELCOME 9:00am - 9:30am 

INVITED SPEECH 9:30am - 10:30am 

	"Intellimedia: Planning Language, Graphics and
        Layout for Adaptive Information Presentation"
    		Prof. W. Wahlster (DFKI)
	(Microsoft Institute Sponsored)

TEA BREAK 10:30am - 11:00am

11:00am - 12:30pm 

STREAM 1: Natural Language  NL(1)

Improving Speech Understanding through Integration of Prosody and Syntax
    A. J. Hunt

An Automated Grouping of Segments In a Line-Chart to Explain its Movement
    H. Nakajima and M. Oku

Analysing relative clauses of a semi-free word order language
    C. R. Shankar


STREAM 2: Machine Learning ML(1) 

Past Tense of Verbs and First-Order Learning
    J. R. Quinlan

Learning Structural Concept from 3-D Geometric Model of Objects
        G. Dong, M. Yachida and T. Yamaguchi

Empirical Function Attribute Construction in Classification Learning
        S. P. Yip and G. I. Webb


STREAM 3: Knowledge Representation KR(1)

Entrenchment Kinematics 101
        A. C. Nayak, N. Y. Foo, M. Pagnucco and A. Sattar

Algorithms for Iterative Belief Revision
        W. Wobcke

Constraints and Updates
        N. Foo and  Y. Zhang


LUNCH 12:30pm - 2:00pm 

AFTERNOON SESSION

2.00pm - 3.30pm


STREAM 1: Reasoning RE(1)

A Logical Foundation of Evidences
        T. G. Tang and N. Foo

Termination of Combination of Composable Term Rewriting Systems
        M. Kurihara and A. Ohuchi

Efficient Algorithms for Automated Reasoning in Knowledge Based Systems
        J. W. Guan and D. A. Bell


STREAM 2: Knowledge Based Systems and AI Applications KBS&AIA(1)

A Unified Model for Rule-Based Knowledge Systems
    J. K. Debenham

An Indexing Framework for Adaptive Problem Sequencing and Problem Simplification
    T. Hirashima, A. Kashihara and J. Toyoda

Four Issues that Distinguish a Rule-Based Control Shell from an Expert System
    P. Piggott and  P. McKerrow


STREAM 3: Neural Networks NN(1)

A General Design for Temporal Sequence Processing Using Any
             Arbitrary Associative Neural Network
    L. Wang

A Percptron Adaptation Algorithm for Neural Networks and Its Application
    X. H. Yu

Perception of Object Characteristics By The Interpretation
               of Ultrasonic Range Data
    N. L. Harper and P. J. McKerrow


TEA BREAK 3:30pm - 4:00pm

4.00pm - 5.30pm

STREAM 1: Reasoning RE(2)

On Reflexive Assumption-based Framework for Autoepistemic Logic
        Y. Aramkulchai and Y. J. Jiang

Default Reasoning as Partial Constraint Satisfaction
        A. K. Ghose, A. Sattar and R. Goebel

Adding Disjunction to Defeasible Logic
        D. Billington


STREAM 2: Machine Learning ML(2)

Intrinsic Classification by MML - the Snob Program
        C. S. Wallace and D. L. Dowe

An Inductive Principle for Learning Logical Definitions from Relations
        N. Y. Foo and T. G. Tang

A General Framework for Concept Formation
        G. Gibbon and N. Foo


STREAM 3: Knowledge Representation KR(2)

Primitive Events
        N. Foo and P. Peppas

On Combinatorial Possible Worlds
        C. Nowak and P. W. Eklund

Problem Map: A Hybrid Knowledge Representation Scheme
        D. Lukose


_______________________________________________________________________

THURSDAY, 24 November, 1994

MORNING SESSION

INVITED SPEECH 9:00am - 10:00am 

	"The Present and Future of Distributed Artificial Intelligence"
    		Prof. K. Sycara (CMU)

TEA BREAK 10:00am - 10:30am

10:30am - 12:30pm 

STREAM 1: Distributed Artificial Intelligence DAI(1)

Plan Reuse in Cooperative Distributed Problem Solving
    T. Sugawara

A Multi-agent Architecture for  Multimedia Presentation Planning
    Y. Han and I. Zukerman 

Synthesis of Solutions in Distributed Expert Systems
    M. Zhang and C. Zhang

Fundamental Approach to Dynamic Subgoal Regeneration of Autonomous
Agents Moving in A Lattice World
    T. Watanabe, T. Yamazaki and T. Mizuno


STREAM 2: Knowledge Based Systems and AI Applications KBS&AIA(2)

Documentation of Design and Structure in Expert Systems Rule Base
    P. Crowther, J. Hartnett and R. Williams

Chaining in Rule-Based Systems
    G. Fang and X. Wu

Quantitative Evaluation of Classification Performance Using Roc Analysis 
for a Neural Net Comparison with a Nearest Neighbour Algorithm
    P. A. Guignard and C. Chung

Efficient Probabilistic Inference through Index Expression Belief Networks
    P. D. Bruza and J. J. Ijdens 


STREAM 3: Planning and Scheduling 

Towards the Deductive Synthesis of Nonlinear Plans
    S. J. S. Cranefield 

An Information-theoretic Approach to Decision-making during Consultations
    B. Raskutti and I. Zukerman

On Load Balancing with Hyperplanes and Chromosomes
    F. Kirschnick

Using the BOXES Methodology as a Possible Stabilizer of Lorentz Chaos
    D. Russell



LUNCH 12:30 - 2:00


AFTERNOON SESSION

2:00 - 3:30

STREAM 1: Natural Languages NL(2)

Concept Learning from Japanese Copular Sentences Using Heuristics
    K. Araki and Y. Momouchi

A Probabilistic Model of Compound Nouns
    M. Lauer and M. Dras

A Relevance-Based Approach to Interpreting Contextualized Metaphors 
    A. Utsumi and M. Sugeno


STREAM 2: Machine Learning ML(3)

Generality is more significant than complexity: Toward an alternative 
to Occam's Razor
        G. I. Webb

Applying Inductive Logic Programming to Causal Qualitative Models 
in Neuroendocrinology
        A. Mahidadia, P. Compton and C. Sammut 

Learning Triangulated Causal Networks from Data
        B. Stewart


STREAM 3: Robotics 

Real-World Path Following for a Monocular Vision based Autonomous Mobile 
Robot in a 'Remote-Brain' Environment
    A. Lipton and S. Kagami

Motion Planning in an L-shaped Corridor
    N. Ahmed and A. Sowmya

Short-Lived Navigational Markers and Scheduling Patrolling Robots
    R. A. Russell and D. Thiel


TEA BREAK 3:30pm - 4:00pm

4:00pm - 5:00pm

STREAM 1: Reasoning RE(3)

Abductive Expansion: Abductive Inference and the Process of Belief Change
        M. Pagnucco, A. Nayak and N. Foo

Lemmas and Links in Analytic Tableau
        J. M. Coldwell and G. Wrightson


STREAM 2: Machine Learning ML(4)

Dynamic Memory Approaches to Qualitative Prediction
        W. Wang and J. S. Gero

The Application of PbD Methods to Real World Domains - Two Case Studies
        S. Munch, M. Sassin and S. Bocionek


STREAM 3: Neural Networks NN(2)

Concept Learning from Japanese Copular Sentences Using Heuristics
    K. Araki and Y. Momouchi

A Probabilistic Model of Compound Nouns
    M. Lauer and M. Dras

A Relevance-Based Approach to Interpreting Contextualized Metaphors
    A. Utsumi and M. Sugeno


5.00pm - 6.00pm

Poster Session

* CONFERENCE DINNER 7:00pm -  *

_______________________________________________________________________

FRIDAY, 19 November, 1993

MORNING SESSION 

INVITED SPEECH 9:00am - 10:00am

	"Sharing and Integrating Knowledge Bases"
    		Prof. J. F. Sowa (State Univ. of NY)


TEA BREAK 10:00am - 10:30am

10:30am - 12:30am

STREAM 1: Reasoning RE(4)

Some Proof Procedures and Their Application for Realizing Another Fuzzy Prolog
        H. Sakai

Qualitative Models for Large Scale Physical Systems
        R. Hewett

Integrating Qualitative Reasoning into Complex Quantitative Analysis: 
Introduction to a Real System
        Q. Zhao and T. Nishida

Convergence and the Classifier System
        S. Hedges and A. Hunter


STREAM 2: Machine Learning ML(5)

Learning of Inexact Rules By the FISH-NET Algorithm From Low Quality Data
        H. Dai and V. Ciesielski

Characteristics of Data Suitable for Learning with Connectionist 
and Symbolic Methods
        P. A. Collier and S. G. Waugh

Genetic Programming and Spatial Information
        P. A. Whigham


STREAM 3: Image Analysis and Vision

Image interpretation systems with context
    J. Aisbett and G. Gibbon

Scale and Rotation Invariant Texture Analysis Based on Structural Property
    R. K. Goyal, W. L. Goh, P. D. Mital and K. L. Chan

Can the sun's direction be estimated prior to the determination of shape?
    W. Chojnacki, M. J. Brooks and D. Gibbins

Model for Recognition and Correspondence Matching of Objects
    B. Bhavnagri


LUNCH 12:30pm - 2:00pm

AFTERNOON SESSION

2:00pm - 3:30pm

STREAM 1: Distributed Artificial Intelligence DAI(2)

An Adaptable and Dynamic Architecture for Distributed Problem Solving 
Based on the Blackboard Paradigm
    J. Neves, M. Santos and V. Alves

DISA: Distributed Resource Management Based on 
Problem Decomposition & Temporal Abstractions
    P. M. Berry, B. Y. Choueiry and L. Friha

Using Agents to Represent Organisational Context
    J. O'Neill and J. Clothier


STREAM 2: Knowledge Acquisition 

Extracting Rule Schemas from Rules, for an Intelligent Learning Database System
        G. Sutcliffe and X. Wu

Knowledge Acquisition by Use of Statistics
        C. Seibold

A precise Semantics for Vague Diagrams
        T. Menzies and P. Compton


STREAM 3: Knowledge Representation KR (3)

Toulmin Argument Structures as a Higher Level Abstraction for Hybrid Reasoning
        A. Stranieri, M. Gawler and J. Zeleznikow

A Visual Representation of Grounded Theory Construction
        H. K. Yuen and T. J. Richards


Closing 3:30pm - 4:00pm


_____________________________________________________________________

ACKNOWLEDGEMENTS

We gratefully acknowledge the support of the following organisations:

 Microsoft Institute (principal sponsor),
 IBM, Sun Microsystems, Australian Computer Society, CAMTECH Pty. Ltd.,
 Knowledge Engineering Group - Deakin University,
 Knowledge Systems Group, Department of Computer Science, University of Sydney,
 Expert Systems Group - Continuum Australia Limited,
 Key Centre for Knowledge Based Systems - RMIT, 
 Department of Mathematics, Statistics, and Computing Science (UNE), and
 Key Centre for Advanced Computing Sciences, University of Technology, Sydney.
___________________________________________________________________________