From honeydew.srv.cs.cmu.edu!rochester!rutgers!gatech!europa.eng.gtefsd.com!uunet!munnari.oz.au!bruce.cs.monash.edu.au!trlluna!titan!medici!wwen Tue Sep 21 13:54:33 EDT 1993 Article: 18876 of comp.ai Xref: honeydew.srv.cs.cmu.edu comp.ai.edu:1324 comp.ai:18876 comp.databases:29200 Path: honeydew.srv.cs.cmu.edu!rochester!rutgers!gatech!europa.eng.gtefsd.com!uunet!munnari.oz.au!bruce.cs.monash.edu.au!trlluna!titan!medici!wwen From: wwen@medici.trl.OZ.AU (Wilson X. Wen) Newsgroups: aus.general,aus.ai,comp.ai.edu,comp.ai,comp.databases Subject: AI'93 Tutorial I Message-ID: <1993Sep20.021239.22789@trl.oz.au> Date: 20 Sep 93 02:12:39 GMT Sender: root@trl.oz.au (System PRIVILEGED Account) Organization: Telecom Research Labs, Melbourne, Australia Lines: 531 AI'93 TUTORIAL PROGRAM ~~~~~~~~~~~~~~~~~~~~~~ 6th Australian Joint Conference On Artificial Intelligence TUTORIAL 1 TITLE: "DEDUCTIVE DATABASES AND APPLICATIONS" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ PRESENTERS: Professor Kotagiri Rammamohanarao Dr. James Harland Computer Science Department, The University of Melbourne VENUE: Grand Hyatt, Melbourne TIME: Tuesday, 16 November, 9:00-12:20 Deductive databases use logic programming technology to extend the capabilities of relational databases by providing support for recursive views and non-atomic data. This means that the information stored in a deductive database can be more flexible and general than in a relational database, as relations may also be defined implicitly by means of rules. When a query is made to such a database, answers are retrieved not only in the traditional relational manner, but also by inference from the rules of the database. This extra expressiveness simplifies the development of complex applications, particularly as there is typically no need to embed the database within a host language. The deductive framework also has the advantage of presenting the user with a single unified interface for all database concepts, as well as allowing greater scope for global optimisation than is possible in a relational system. In this tutorial we give an introduction to deductive database systems, and describe the main features of such systems. The Aditi deductive database system, which has been developed at the University of Melbourne, will also be briefly described. PRESENTERS' BACKGROUNDS: Professor Kotagiri Ramamohanarao received his Ph.D. from Monash University in 1980, and joined the Department of Computer Science at the University of Melbourne in the same year. Prof. Kotagiri leads the Machine Intelligence Project in the area of logic programming and deductive databases, and he is also the Research Director of the Co-Operative Research Centre for Intelligent Decision Systems. His other research interests include extended relational database systems, parallel processing and computer architecture. Professor Kotagiri has been a program committee member and an invited speaker at several international conferences. Dr. James Harland is currently, a Research Fellow in the Department of Computer Science at the University of Melbourne, working in the area of deductive databases and logic programming for the Machine Intelligence Project. He received his B.Sc.(Hons) degree from the University of Melbourne in 1985, and his Ph.D. from the University of Edinburgh in 1991. His other research interests include specification and verification, proof theory, linear logic and automated theorem proving. PREREQUISITE KNOWLEDGE: No priori knowledge of the area is assumed, but knowledge of Prolog and/or database systems would be an advantage. ENQUIRIES TO: Dr. Wilson X. Wen AI'93 Tutorial Coordinator AI Systems Telecom Research Laboratories P. O. Box 249 Clayton, Victoria 3168 Australia Email: w.wen@trl.oz.au Phone: (03)253-6273 REGISTRATION: See AI'93 Registration Form below: ============================================================================== 1993 AUSTRALIAN JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE AI'93 REGISTRATION BROCHURE GRAND HYATT HOTEL MELBOURNE, VICTORIA 16-19 NOVEMBER, 1993 An invitation to participate... On behalf of the organising committee, we are very pleased to invite you to attend AI'93, to be held in Melbourne from November 16th to 19th. The Australia AI conference has grown in stature over the years, and now attracts a growing proportion of papers from throughout the world. This year we have received over 135 papers for consideration, with around 45% coming from overseas. The conference programme features three world-renowned experts in very different fields of expertise. Earl Sacerdoti is known for both his pioneering work in AI, and for his work on technology transfer. Mary O'Kane is renowned for her work in speech recognition. Our third speaker, Chris Wallace, is a pre-eminent authority in machine learning. So you can be guaranteed a wide variety of invited talks. There is an extensive workshop programme, a wide range of tutorials, and active technical sessions. AI as a technology has not been without its problems. But there is a growing presence of real applications in operation, and a gradual understanding of the significance of the field, which is reflected in the conference programme. It is also perhaps one of the great research challenges, so we should not be surprised at the controversy that continues to surround AI. We look forward to meeting with you and joining in a successful conference. Conference Co-chairs Dr. Andrew Jennings Dr. Huan Liu Committee Dr. Ingrid Zukerman (Treasurer) Dr. Simon Goss Dr. Vic Ciesielski Tutorials Co-ordinator Dr. Wilson X. Wen Workshops Co-ordinator Chris Leckie Programme Committee Chris Rowles (Co-chair) Assoc. Professor Norman Foo (Co-chair) Dr. Huan Liu Dr. Ingrid Zukerman Prof. Terry Caelli Dr. Janet Aisbett Dr. Claude Sammut Prof. Mike Brooks Prof. Rod Girle Prof. John Gero Dr. Adam Kowalczyk Dr. Anand Rao Programme Three streams of workshops and two streams of tutorials will be conducted on Tuesday the 16th November 1993. Each day will begin with an invited speech. There will be three concurrent sessions with tea breaks. AI'93 will be also highlighted by a poster session. Technical Programme (Topics of interest include:) * Machine Learning and Knowledge Acquisition * Knowledge-based Systems * Cognitive Modeling * Knowledge Representation * Robotics and Vision * Qualitative Reasoning * Distributed AI * Automated Reasoning (scheduling, planning) * Neural Networks and Genetic Algorithms * Natural Language Social Programme Tuesday 16th November -- 6.30pm to 8.00pm WELCOME COCKTAIL PARTY at The Hyatt Thurs. 18th November -- 7.00pm to 12.00am CONFERENCE DINNER -- Dinner with a surprise Tutorials -- Tuesday 16th November (Registration fee $130.00, includes Lunch) 1. Dr. James Harland, Professor Kotagiri Ramamohanarao Computer Science Department, The University of Melbourne "DEDUCTIVE DATABASES AND APPLICATIONS" 2. Associate Professor Mary Lou Maher, Professor John Gero Key Centre of Design Computing, The University of Sydney "APPLICATION OF AI IN DESIGN" 3. Dr. Hong Yan (Senior Lecturer) Department of Electrical Engineering, The University of Sydney "IMAGE PROCESSING AND CHARACTER RECOGNITION TECHNIQUES" 4. Dr. Anand S. Rao (Senior Research Scientist) AAII (Australian Artificial Intelligence Institute) "AGENT-ORIENTED PROGRAMMING" Workshops (Registration fee $30, no Lunch) Please note: your participation in a specific workshop must have been approved by the workshop organisers. 1. Evolutionary Computation and its Applications Contact: Dr. Xin Yao Email: xin@csadfa.cs.adfa.oz.au 2. Natural Language Processing Contact: Muriel de Beler Email: m.de-beler@trl.oz.au 3. Hybrid Systems and their Application Contact: Dr. Rye Senjen Email: r.senjen@trl.oz.au 4. Machine Learning: Recent Progress and Future Directions Contact: Dr. Sabrina Sestito Email: sestito@latcsl.lat.oz.au 5. AI in the Natural World Contact: Dr. Bob McKay Email: rim@csadfa.cs.adfa.oz.au 6. Belief Revision: Bridging the Gap between Theory and Practice Contact: Dr. Abdul Sattar Email: sattar@cit.gu.edu.au General Information ====================== The Australian Computer Society has accredited the AI'93 programme with 16 Practising Computer Professional (PCP) points. The programme has also been designed to meet the requirements for a 'structured training programme' as provided under the Training Guarantee (Administration) Act 1990. Supporting documentation is available to employers. ************************************ Conference Registration ************************************ There are several options for registration at the conference. FULL REGISTRATION includes entry to all sessions, conference proceedings in a satchel, morning and afternoon teas, cocktail party and gala dinner. STUDENT REGISTRATION is available to full-time students at tertiary institutions. It includes entry to all sessions, conference proceedings in a satchel, morning and afternoon teas. Student registration does NOT include the cocktail party and gala dinner. For student registration we require certification of full-time student status, signed by a faculty member. DAY REGISTRATION includes entry to all sessions, morning and afternoon teas on the one day. Accommodation Mures Convention Management has booked a range of accommodation in Melbourne, including the conference venue, at conference discount rates. Full details are contained in this brochure. A deposit of $80.00 is required with all bookings. Should you fail to arrive without prior notification your deposit will be forfeited. Confirmation of Bookings Registration forms and fees will be acknowledged and accommodation bookings confirmed, as they are received. Please check the confirmation letter and advise of any changes immediately. Cancellation Policy Cancellation must be notified in writing to the conference secretariat. Cancellations received before 29 October will not incur a cancellation fee. Cancellations received after this date will be subject to a cancellation fee of $200 and a copy of the proceedings would be mailed. Registration and Information Desk The Registration desk will be located in the Foyer of the Hyatt Meeting Room area and will be open on Tuesday 8.00 a.m. to 9.30 a.m. for Tutorials and Workshops and in the afternoon from 4.00 p.m. to 8.00p.m., then daily Wednesday, Thursday and Friday from 8.30 a.m. to 6.00 p.m. Accompanying Persons/Partners Tour & Post Conference Tours Details of day tours to be held during the conference and afterwards are available on request from the Secretariat and the Registration Desk. As Melbourne is famous for its shopping, there is a discount shopping tour they can join. Climate Melbourne has four distinct seasons and the climate at this time of the year should be mild days and cool evenings. For outings it is a good idea to have a light jacket. The average temperature range in November is 10 to 22C. Ansett Australia Airlines Mures Travel and Ansett Australia are pleased to have been chosen as the Official Agent and Airline for this conference. To ensure that Ansett continue their valuable support to our conference committee, it is essential that you make your travel arrangements through Mures Travel or your nearest Ansett Airlines Office quoting the conference name with your reference number. Ansett have arranged special conference fares for delegates attending (seats are limited and conditions do apply). Reference Number: MC 09069 These tickets are a flexible airfare and are 45% and 35% cheaper than the normal economy air ticket. Please complete Registration Form for your preferred travel arrangements. ********************************** Accommodation ********************************** GRAND HYATT HOTEL (1) This exclusive 5 star Hotel has everything you could possibly want--from the airport limousine, tennis court and gymnasium to the indoor heated swimming pool. And of course this is the conference venue. Superior Room $195.00 Single Twin or Double HOTEL SWANSTON (2) Rising above Swanston Street, one of Melbourne's main thoroughfares, a deluxe establishment right in the heart of Melbourne's shopping and business district, two blocks from the Hyatt. First class facilities with each suite tastefully furnished and full of lifes comforts. Room $121.00 Single Twin or Double NOVOTEL MELBOURNE ON COLLINS (3) Situated a short walking distance from the conference venue, Novotel offers first class comfort and value, excellent facilities and boasts the Southern Hemisphere's largest atrium. Superior Rooms $139.00 Single Twin or Double Deluxe Rooms $165.00 Single Twin or Double JOHN SPENCER HOTEL (4) The Country Hotel right in the heart of Melbourne, a short tram ride to the Hyatt, providing comfortable accommodation at a budget price. Business Class $66.00 Single Twin or Double (own facilities) Economy Rooms $27.00 Single or Twin (share facilities) VICTORIA HOTEL (5) The Victoria Hotel is an older, elegant hotel in the heart of the City within walking distance of the conference venue. The hotel has recently been refurbished. All rooms have private facilities. Business Class $60.00 Single, $80.00 Double or Twin Standard $42.00 Single, $64.00 Double or Twin Budget $38.00 Single, $50.00 Double or Twin (CUT HERE) - - - --------------------------------------------------------------------- Registration Returning Form for AI'93 ===================================== Artificial Intelligence 16th-19th November 1993 Title ................................... (Surname) (Given name) Preferred name on lapel badge: ................................. Institution/Company............................................. Address ........................................................ ........................................................ ......................Postcode Phone Bus. ( )................. Home ( )..................... Fax ( ).................... Electronic mail................... Registration Fees Delegate Early Bird (Before 1/9/93) $460.00 $.......... Delegate Late Fee (After 1/9/93) $560.00 $............ Student Fee (attach certificate) $250.00 $............. Day Registration $220.00 $............. Extra Welcome Tickets ......... X $30.00 = $ Extra Dinner Tickets........... X $70.00 = $ Accommodation Deposit $80.00 $................ Extra copies of proceedings $85.00 $ ................ Tutorial Fee (indicate below).. X $130.00 = $ Workshop Fee (indicate below).. X $30.00 = $ TOTAL ___________ (in Australian Dollars) Cheques should be made payable to AI'93 or Please charge my credit card Mastercard __ Bankcard __ Visa __ Cardnumber ---------------- Signature of cardholder:........................... Expiry date: ...................................... Registration and Inquiries All registrations and inquiries to be directed to the Conference Secretariat. Delegates are asked to complete the enclosed Registration Form and forward together with payment for fees and accommodation deposit to: AI '93 MURES CONVENTION MANAGEMENT Victoria Dock Hobart Tasmania 7000 AUSTRALIA Telephone (002) 312121 Fax (002) 344464 (international) (+6102)312121 (+6102) 344464 Tutorials 1.___ 2.___ 3.___ 4.___ Workshops (Please note that your participation in a specific workshop must have been approved by the organisers) 1..............4............... 2..............5............... 3..............6............... Accommodation To obtain group discount rates all accommodation must be booked through Mures Convention Management. Accommodation deposit of ($80.00) must be included with each booking and balance paid direct to the hotel on departure. Single __ Twin __ Double __ Name of extra persons.................................... I wish to share with .................................... Day In: ../../... Date Out: ../../... Please indicate 1st, 2nd and 3rd preferences: __ Grand Hyatt Hotel __ John Spencer __ Hotel Swanston __ Victoria Hotel __ Novotel Melbourne Airline Package Option: (call Mures Conventions for more flight information) or Please book me on flights at.. .....on day return at .................... on day or second choice at...................... on day return at .............. .on day otherwise please advise of flights you are on by completing the following. Airlines I will be arriving on .. Airlines Flight No............... Date .. / ... / Programme Inquiries to- Chris Rowles, P.O. Box 249, TELECOM RESEARCH LAB. CLAYTON 3168, AUSTRALIA Telephone (03) 2536244 Fax (03) 2536173 c.rowles@trl.oz.au Further Information on Touring Tours are available to Healesville, Sovereign Hill, Philip Island, Dandenongs and Great Ocean Road. Melbourne is also famous for its shopping so there are discounted shopping tours. I would like further information on touring Victoria. Please advise interests ...................... ..............................................