From ai94@fermat.une.edu.au Wed Oct 26 18:07:51 EDT 1994 Article: 24788 of comp.ai Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!europa.eng.gtefsd.com!newsxfer.itd.umich.edu!caen!msuinfo!harbinger.cc.monash.edu.au!news.cs.su.oz.au!metro!grivel.une.edu.au!fermat.une.edu.au!ai94 From: ai94@fermat.une.edu.au (Artificial Intelligence Conference 1994) Newsgroups: comp.ai,aus.ai,aus.computers.ai,une.general,une.courses.cs382 Subject: AI'94: Provisional Programme Followup-To: poster Date: 24 Oct 1994 02:49:51 GMT Organization: University of New England, NSW, Australia Lines: 802 Message-ID: <38f7cf$3qv@grivel.une.edu.au> NNTP-Posting-Host: fermat.une.edu.au Keywords: Seventh Australian Joint Conference on Artificial Intelligence (AI'94) Updated on 21 October 1994 ***************************************************************************** PROVISIONAL PROGRAMME OF AI'94 (Second Edition) Seventh Australian Joint Conference on Artificial Intelligence "Sowing the Seeds for the Future" 21st - 25th November 1994 University of New England Armidale, N.S.W. AUSTRALIA ============================================================================= 21 - 25, November, 1994 The University of New England, Armidale, NSW, Australia Queries For Technical Sessions Please 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 Queries For Workshops or Tutorials Please 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 Queries For Postgraduate Students Session Please Contact: ========================================================= John Debenham Programme Committee Co-Chair Email: debenham@socs.uts.edu.au AI'94 Contact People in Sydney: =============================== Name Email Address Phone ---- ------------- ----- A/Prof. Norman Foo norman@cs.su.oz.au (61-2) 692 3423 Dr. Eric Tsui eric@cs.su.oz.au (61-2) 228 1152 Dr. Paul Compton compton@popserver.cse.unsw.edu.au (61-2) 385 3934 Dr. Claude Sammut claude@cse.unsw.edu.au (61-2) 385 3933 Prof. John Debenham debenham@socs.uts.edu.au (61-2) 330 1837 ============================================================================= 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 -------------------------------------------------------------------------- 9.00-10.30 CS KBNR NLP ECW --------------------------------------------------------------------------- 10.30-11.00 Morning Tea Break --------------------------------------------------------------------------- 11.00-12.30 CS KBNR NLP ECW --------------------------------------------------------------------------- 12.30- 2.00 LUNCH BREAK -------------------------------------------------------------------------- 2.00- 3.30 CS KBNR NLP ECW -------------------------------------------------------------------------- 3.30- 4.00 Afternoon Tea Break POSTGRADUATE --------------------------------------------------- STUDENTS 4.00- 5.30 CS 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. Ivan Bratko 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, 1994 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, Dr. L. C. Jain Chaotic) Systems --------------------------------------------------------------------------- WORKSHOPS (Second Day) ________________________________________________________________________ Code Length Title Contact time ------------------------------------------------------------------------ CS 4s 1st Australian Conceptual Mr. Gerard Ellis 9.00-5.30 Structures Workshop 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 Chair: Prof. John Debenham --------------------------- 3.30pm - 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 Chair: Dr. Chengqi Zhang ------------------------ Prof. Bruce Thom, Vice-Chancellor, The University of New England Prof. Vance Gledhill, Director of Microsoft Institute for Advanced Software Technology INVITED SPEECH 9:30am - 10:30am Chair: Prof. John Debenham -------------------------- "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) Chair: Dr. Robert Dale ---------------------- 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) Chair: Prof. Christopher S. Wallace ----------------------------------- 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) Chair: Prof. Randy Goebel ----------------------- 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) Chair: Dr. John Zeleznikow -------------------------- 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) Chair: A/Prof. Paul Compton --------------------------- 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) Chair: Dr. Xin Yao ------------------ 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) Chair: Dr. Wayne Wobcke ----------------------- 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) Chair: Dr. Xindong Wu --------------------- 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) Chair: Prof. Rodney Topor ------------------------- 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 Chair: Dr. Chengqi Zhang ------------------------- "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) Chair: Dr. Jennie Clothier --------------------------- 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) Chair: Dr. Eric Tsui -------------------- 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 Chair: Prof. Robin Stanton -------------------------- 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) Chair: Dr. David Russell ------------------------ 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) Chair: Prof. Ross Quinlan ------------------------- 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 Chair: Prof. Ray Jarvis ----------------------- 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) Chair: Dr. Peter Eklund ----------------------- 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) Chair: Dr. Honghua Dai ---------------------- 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) Chair: Dr. Nik Kasabov ---------------------- A Modular Neural Network System for the Automatic Normalisation of Human Faces J. Crowley Symbolic Connectionism in Tiers: A Strategy of Discourse Comprehension S. W.K. Chan and J. Franklin 5.00pm - 6.00pm Poster Session * CONFERENCE DINNER 7:00pm - * _______________________________________________________________________ FRIDAY, 25 November, 1994 MORNING SESSION INVITED SPEECH 9:00am - 10:00am Chair: Dr. Dickson Lukose ------------------------- "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) Chair: A/Prof. Norman Foo ------------------------- 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) Chair: Dr. Geoffrey Webb ------------------------ Exploring A Framework for Instance Based Learning and Naive Bayesian Classifiers K. M. Ting and R. M. Cameron-Jones 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 Chair: Dr. Janet Aisbett ------------------------ 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) Chair: Dr. Toshiharu Sugawara ----------------------------- 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 Chair: Phil Collier ------------------- 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) CHair: Dr. Stephen Hood ----------------------- 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 A Generic Distributed Method for Cognitive Modelling S. Leman, S. Giroux and P. Marcenac 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, The Key Centre for Advanced Computing Sciences - UTS, and Department of Mathematics, Statistics, and Computing Science (UNE). ___________________________________________________________________________