From: ais-prog@cs.bham.ac.uk (Aisb93 Prog)
Subject: AISB'93 Conference: Programme and Registration
Reply-To: P.M.Hickey@cs.bham.ac.uk
Organization: Cognitive Science, Birmingham, UK
Date: Thu, 28 Jan 1993 13:53:18 GMT

________________________________________________________________________
________________________________________________________________________

             CONFERENCE PROGRAMME and REGISTRATION INFORMATION

                               A I S B' 9 3

'P R O S P E C T S   F O R   A R T I F I C I A L   I N T E L L I G E N C E'

                    Cognitive Science Research Centre
                       The University of Birmingham
                       March 29th -- April 2nd 1993
________________________________________________________________________
________________________________________________________________________



                   MESSAGE FROM THE PROGRAMME CHAIR

The biennial conferences of the Society for the Study of Artificial
Intelligence and the Simulation of Behaviour are traditionally
"single-track" scientific meetings aiming to bring together all areas
of research in AI and computational cognitive science, and AISB'93 is
no exception. With the end of the century close at hand, it seemed
appropriate to choose a forward looking theme, so the five invited
speakers, all distinguished researchers in their own sub-fields, have
been asked to identify trends and project into the future, instead of
simply surveying past achievements. Some but not all of the submitted
papers also analyse prospects; the others report on work already done.

The referees and the selection committee used as a major criterion for
selection the requirement that papers should be of interest to a
general AI audience. All of the papers have in common a commitment to
a "design-based" approach to the study of intelligence, though some of
them focus mainly on requirements, some mainly on designs and some on
actual implementations, and of course there is wide variation not only
regarding the sub-domains of AI (such as vision, learning, language,
emotions) but also between the techniques used (such as symbolic
reasoning, neural net models, genetic algorithms), and also between
those who attempt to design intelligent agents using a top down
analysis of human-like intelligence and those who work bottom up from
primitive insect-like mechanisms. There is also international variety,
with papers from several European countries and further afield.

This variety of topics and approaches promises to make the conference
particularly lively, with plenty of scope for controversy. We have
therefore decided to allow a little more time than usual for each item
in the programme, so that questions and discussions can add to the
interest.

There will also be poster presentations, where some work that could
not be included in the formal proceedings can be presented, and it is
expected that there will be book displays by major AI publishers and
possibly some displays and demonstrations by vendors of AI software
and systems. The conference will be preceded by a programme of seven
tutorials and workshops for which separate registration is available.

Integral Solutions Limited have agreed to present a prize of AI
software, including Poplog, and a place on one of their training
courses, for the paper voted "best presented" by the audience.

For those involved in AI and Cognitive Science, the conference is a
primary opportunity to meet, discuss and learn about current work. For
those new to these fields, the conference is a chance to become
acquainted with them in pleasant surroundings and to meet the people
involved. For full-time students, large reductions in registration
fees are offered.

The location of the conference is one of the attractive halls of
residence in a pleasant lakeside setting at one end of the campus of
the University of Birmingham. This is not very far from the city
centre, so a visit to one of the local attractions of the centre, such
as the renowned Symphony Hall, will require a journey of only a few
minutes by taxi or train. Single room accommodation has been booked,
and the auditorium is in the same building as the bedrooms and dining
room, so that the conference will provide excellent opportunities for
informal mixing and discussions. The number of rooms available is
limited, so early booking is recommended.

We look forward to seeing you and hope you enjoy the conference.

Aaron Sloman.



                            ORGANISATION


Programme Chair:
    Aaron Sloman    (University of Birmingham)

Programme Committee:
    David Hogg      (University of Leeds)
    Glyn Humphreys  (University of Birmingham)
    Allan Ramsay    (University College Dublin)
    Derek Partridge (University of Exeter)

Local Organiser:
    Donald Peterson (University of Birmingham)

Administration:
    Petra Hickey    (University of Birmingham)


________________________________________________________________________

                         GENERAL INFORMATION
________________________________________________________________________


TIME 

The AISB'93 Conference will take place from Monday 29th March to
Friday 2nd April 1993.

The Tutorials and Workshops run on Monday 29th and Tuesday 30th March.
The main Technical Programme begins after lunch on Tuesday 30th March
and ends before lunch on Friday 2nd April.

VENUE

The venue for registration and all conference events is: 

	Lake Hall,
	The Vale,
	Church Road, 
	Edgbaston,
	Birmingham,
	B15 3SX. 

	Tel. +44-(0)21-454-0678 

TRANSPORT

Lake Hall is two and a half miles from Birmingham's city centre, and
is easily reached from New Street Station, and from Birmingham
International Airport. Full travel details will be sent on
registration.

LANGUAGE

The official language of the conference is English.

ACCOMMODATION

Single room accommodation has been reserved for conference delegates
in Lake Hall. Delegates preferring to stay at a hotel must book their
own accommodation, though names of nearby hotels are available on
request.

CAMPUS FACILITIES

The University Campus nearby contains branches of Lloyds and Barclays
banks, Dillons University Bookshop, Stanford and Man Stationers, a
men's hairdresser, and the Barber Institute of Fine Arts.

PARKING

There is ample free parking in the vicinity of Lake Hall.


________________________________________________________________________

                          TECHNICAL PROGRAMME

        (The order is provisional. Invited talks are asterisked)
________________________________________________________________________



                           MONDAY MARCH 29TH

Workshops and Tutorials (see below)

                    TUESDAY MARCH 30TH (Morning)

Workshops and Tutorials (see below)

                    TUESDAY MARCH 30TH (Afternoon)

14.00 Introduction

14.15 * Kurt Van Lehn (Pittsburg)
--- Prospects for modelling human learning (e.g. college physics)

15.30 Husbands, Harvey, Cliff
--- An evolutionary approach to AI

16.00 TEA & COFFEE 

16.30 Edmund Furse
--- Escaping from the box

17.00 Thomas Vogel
--- Learning biped robot obstacle crossing

17.30 Antunes, Moniz, Azevedo 
--- RB+ the dynamic estimation of the opponent's strength

18.00 SHERRY RECEPTION

18.45 DINNER 


                          WEDNESDAY 31ST MARCH

09.00 * Ian Sommerville (Lancaster)
--- Prospects for AI in systems design

10.15 Oh, Azzelarabe, Sommerville, French
--- Incorporating a cooperative design model in a computer aided
design improvement system

10.45 TEA & COFFEE

11.15 Stuart Watt
--- Fractal behaviour analysis

11.45 Valente, Breuker, Bredewg
--- Integrating modeling approaches in the commonKADS library

12.15 Cawsey, Galliers, Reece, Jones
--- Revising beliefs and intentions: a unified framework for agent interaction

12.45 LUNCH

14.15 * Allan Ramsay (Dublin)
--- Prospects for natural language processing by machine

15.30 Lin, Fawcett, Davies
--- Genedis: the discourse generator in communal

16.00 TEA & COFFEE

16.30 Miwa, Simon
--- Production system modelling to represent individual differences:
tradeoff between simplicity and accuracy in simulation of behaviour

17.00 Freksa, Zimmerman
--- Enhancing spatial reasoning by the concept of motion

17.30 POSTER SESSION

18.45 DINNER 

 
                          THURSDAY 1ST APRIL

09.00 * Glyn Humphreys (Birmingham)
---  Prospects for connectionism - science and engineering

10.15 Rodrigues, Lee
--- Nouvelle AI and perceptual control theory

10.45 TEA & COFFEE

11.15 Vogel, Popwich, Cercone
--- Logic-based inheritance reasoning

11.45 Beatriz Lopez
--- Reactive planning through the integration of a case-based system
and a rule-based system

12.15 James Stone
--- Computer vision: what is the object?

12.45 LUNCH

14.15 SESSION ON EMOTIONS AND MOTIVATION

Moffatt, Phaf, Frijda
--- Analysis of a model of emotions

Beaudoin, Sloman
--- A computational exploration of the attention control theory of
motivator processing and emotion

15.30 Bruce Katz
--- Musical resolution and musical pleasure

16.00 TEA & COFFEE

16.30 Reichgelt, Shadbolt et al.
--- EXPLAIN: on implementing more effective tutoring systems

17.00 POSTER SESSION

18.45 CONFERENCE DINNER



                    FRIDAY 2ND APRIL (Morning)

09.00 * David Hogg (Leeds)
--- Prospects for computer vision

10.15 Elio, Watanabe
--- Simulating the interactive effects of domain knowledge and category
structure within a constructive induction system

10.45 TEA & COFFEE

11.15 Dalbosco, Armando
--- MRG an integrated multifunctional reasoning system

11.45 Bibby, Reichgelt
--- Modelling multiple uses of the same representation in SOAR1

12.15 Sam Steel
--- A connection between decision theory and program logic

12.45 Closing Session and award of Prize. 

13.00 LUNCH 



________________________________________________________________________

Workshop 1:	Connectionism, Cognition and a New AI

Organiser:	Dr Noel Sharkey  (Exeter)

Committee:	Andy Clark (Sussex)
		Glyn Humphreys (Birmingham)
		Kim Plunkett (Oxford)
		Chris Thornton (Sussex)

Time:		Monday 29th pm & Tuesday 30th March (all day)

Note:		This workshop overlaps with the events in the main
                Technical Programme on the afternoon of Tuesday 30th.
________________________________________________________________________


A number of recent developments in Connectionist Research have strong
implications for the future of AI and the study of Cognition. Among
the most important are developments in Learning, Representation, and
Productivity (or Generalisation). The aim of the workshop will be to
focus on how these developments may change the way we look at AI and
the study of Cognition.

Some provisional topics are: Connectionist representation,
Generalisation and Transfer of Knowledge, Learning Machines and models
of human development, Symbolic Learning versus Connectionist learning,
Advantages of Connectionist/Symbolic hybrids, Modelling Cognitive
Neuropsychology, Connectionist modelling of Creativity and music (or
other arts).

ENQUIRIES and SUBMISSIONS (500 word abstract) 
Dr. Noel Sharkey
Centre for Connection Science
Dept. Computer Science
University of Exeter
Exeter EX4 4PT
Devon U.K.          

Email: noel@uk.ac.exeter.dcs



________________________________________________________________________

Workshop 2:   Qualitative and Causal Reasoning

Organiser:    Dr Tony Cohn (Leeds, U.K.)

Committee:    Mark Lee (Aberystwth)
              Chris Price (Aberystwth)
              Chris Preist (Hewlett Packard Labs, Bristol)

Time: Monday 29th March (morning and afternoon) + Tuesday 30th March
      						  (morning)
________________________________________________________________________


This workshop is intended to follow on from the series of DKBS (Deep
Knowledge Based Systems) workshops which were originally initiated
under the Alvey programme, and this will be the 8th in the series.
The format of the one and a half day workshop will consist mainly of
presentations, with ample time for discussion.  It is hoped to have an
invited talk in addition.  

The scope of the workshop includes: 
 * Task-level reasoning (e.g., design, diagnosis, training, etc.)
 * Ontologies (e.g., space, time, fluids, etc.)
 * Explanation, causality and teleology
 * Mathematical formalization of QR
 * Management of multiple models (formalization, architecture, studies)
 * Model building tools
 * Integration with other techniques (e.g., dynamics, uncertainty, etc.)
 * Methodologies for selecting/classifying QR methods
 * Practical applications of QR, or Model Based Reasoning etc.

ENQUIRIES AND SUBMISSIONS (4 copies, max 5000 words)
Tony Cohn,
Division of AI,
School of Computer Studies,
University of Leeds,
LEEDS, LS2  9JT, ENGLAND.

UUCP:    ...!ukc!leeds!agc
JANET:  agc@uk.ac.leeds.scs         
INTERNET: agc@scs.leeds.ac.uk
BITNET: agc%uk.ac.leeds.scs@UKACRL
PHONE:  +44 (0)532 335482           
FAX:  +44 (0)532 335468


________________________________________________________________________

Workshop 3:	AISB POST-GRADUATE STUDENT WORKSHOP

Organiser:	Dr Hyacinth Nwana
		University of Keele, UK.


Time:		Monday 29th (all day) + Tuesday 30th March (morning)
________________________________________________________________________


Many postgraduate students become academically isolated as a result of
working in specialised domains within fairly small departments.  This
workshop is aimed at providing a forum for graduate students in AI to
present and discuss their ideas with other students in related areas. In
addition there will invited presentations from a number of prominent
researchers in AI.  A small number of group discussions is planned,
including study for and completion of theses, life after a doctorate,
paper refereeing and how to make use of your supervisor.

All attendees are expected to present an introduction to their
research in a poster session on the first day's morning.  In addition
a couple of attendees will be given the opportunity to present short
papers.

Confirmed tutors so far include:
Dr John Self (Lancaster) -  'Why do supervisors supervise?'
Dr Steve Easterbrook (Sussex) - 'How to write a thesis'
Dr Elizabeth Churchill (Nottingham) - Title to be confirmed.
Dr Peter Hancox (Birmingham) - Title to be confirmed.

ENQUIRIES and SUBMISSIONS 

Dr. Hyacinth S. Nwana,
Computer Science Dept.
Keele University, Newcastle,
Staffs ST5 5BG,
ENGLAND.

JANET: nwanahs@uk.ac.keele.cs
other: nwanahs@cs.keele.ac.uk
tel: +44 (0)782 583413
fax: +44 (0)782 713082


________________________________________________________________________

Workshop 4: 	Motivation, Emotions and Attention

Organiser:	Tim Read, 
		University of Birmingham

Time: 		Friday 2nd April 2.30 - 5pm 
________________________________________________________________________


An informal workshop will be held after lunch on Friday 2nd April
enabling further discussion of issues raised in the Thursday afternoon
session on motivation and emotions, and possibly additional
presentations. There will be no charge, though numbers will be limited
by available space. For more information contact

The study of emotion encounters many difficulties, among them the
looseness of emotional terminology in everyday speech. A theory of
emotion should supersede this terminology, and should connect with
such issues as motivation, control of attention, resource limitations
architectural parallelism and underlying biological mechanisms.

Computation provides useful analogies in generating an information
processing account of emotion, and computer modelling is a rigorous
and constructive aid in developing theories of affect.

It makes sense for researchers within this field to collaborate, and
the aim of the workshop is to facilitate cross-fertilisation of ideas,
sharing of experience, and healthy discussion.

ENQUIRIES and SUBMISSIONS

Tim Read
School of Computer Science,
The University of Birmingham,
Edgbaston,
Birmingham
B15 2TT, England

Email   T.M.Read@cs.bham.ac.uk
Phone: +44-(0)21-414-4766       
Fax:   +44-(0)21-414-4281


________________________________________________________________________

Tutorial 1: 	Collaborative Human-Computer Systems:
		Towards an Integrated Theory of Coordination

		Dr Stefan Kirn
		University of Muenster, Germany

Time: 		Monday 29th March (morning)
________________________________________________________________________


Intelligent support of human experts' intellectual work is one of the
most competitive edges of computer technology today. Important
advances have been made in the fields of computer networking, AI
(e.g., KADS, CBR, Distributed AI), integrated design frameworks (the
European JESSI project), nonstandard databases (e.g., databases for
teamwork support), computer supported cooperative work, and
organizational theory. The time is ripe for developing integrated
human computer collaborative systems to significantly enhance the
problem solving capabilities of human experts. Perhaps one of the most
interesting challenges here is the development of an integrated theory
of human computer coordination. Such a theory will help to link humans
and computers together in order to let them collaboratively work on
complex "nonstandard" problems.  It is the aim of the tutorial to put
the loose ends of the above mentioned disciplines together thus
arguing towards the development of an integrated theory of human
computer coordination. Only undergraduate-level knowledge in at least
one of the following fields is assumed: AI, database/information
systems, organisational theory and CSCW.

Dr Stefan Kirn is senior researcher and project leader at the
Institute of Business and Information Systems of the Westfaelische
Wilhelms-University of Muenster. He has more than 30 major
publications in international journals and conferences, primarily in
the areas of DAI, Cooperative Information Systems, CSCW and
Computer-Aided Software Engineering.


________________________________________________________________________

Tutorial 2:	The Motivation, Meaning and Use of Constraints

		Dr Mark Wallace
		European Computer-Industry Research Centre
		Munchen, Germany.

Time: 		Monday 29th March (afternoon)
________________________________________________________________________


This tutorial explains how constraints contribute to clear, clean,
efficient programs.  We study constraints as specification tools, as
formal tools, and as implementation tools.  Finally we examine the use
of constraints in search and optimisation problems.  As the tutorial
unfolds, we will explain the three different notions of constraints:
constraints as built-in relations, with built-in solvers; constraints
as active agents, communicating with a store; and propagation
constraints.  We will also explain how these notions are related, and
moreover how the different types of constraints can all be combined in
a single program.  For programming examples, the logic programming
framework will be used.

It will be aimed at postgraduates, researchers and teachers of AI, who
would like to know what constraints are, and what they are for.  Also
anyone interested in declarative programming, seeking a solution to the
problem of efficiency, will benefit from the tutorial.  An understanding
of formal logic will be assumed, and some familiarity with logic
programming will be necessary to appreciate the programming examples.

Dr Mark Wallace leads the Constraints Reasoning Team at ECRC (the
European Computer-Industry Research Centre), Munich.  He introduced
"Negation by Constraints" at SLP'87. He has recently presented papers at
IJCAI'92, FGCS'92 and JFPL'92. Recent tutorial presentations include a
short course on Deductive and Object-Oriented Knowledge Bases at the
Technical University of Munich, and "Constraint Logic Programming - An
Informal Introduction", written with the CORE team at ECRC for the Logic
Programming Summer School, '92.



________________________________________________________________________

Tutorial 3:	A Little Turing and Goedel for Specialists in AI

		Prof. Alexis Manaster Ramer
		Wayne State University, USA.

Time: 		Monday 29th March (morning + afternoon)
________________________________________________________________________


Currently debated issues in the foundations of AI go directly back to
technical work of people like Turing and Godel on the power and limits
of formal systems and computing devices.  Yet neither the relevant
results nor the intellectual climate in which they arose are widely
discussed in the AI community (for example, how many know that Godel
himself believed that the human mind was not subject to the limits set
by his theorems on formal systems?).  The purpose of this tutorial is
to develop a clear picture of the fundamental results and their
implications as seen at the time they were obtained and at the present
time. We will primarily refer to the work of Godel, Turing, Chomsky,
Hinttika, Langendoen and Postal, Searle, and Penrose.  Some background
knowledge is assumed: some programming, some AI and some discrete
mathematics.

Dr Alexis Manaster Ramer is professor of Computer Science at Wayne
State University. He has over 100 publications and presentations in
linguistics, computational linguistics, and foundations of CS and AI.
A few years ago, he taught a short course on the theory of computation
for the Natural Language Processing group at the IBM T.J.Watson
Research Center (Hawthorne, NY, USA) and this past summer taught a
one-week advanced course on mathematics of language at the European
Summer School in Logic, Language, and Information (Colchester, UK).


________________________________________________________________________

                             OTHER MEETINGS
________________________________________________________________________


LAGB CONFERENCE.

Shortly before AISB'93, the Linguistics Association of Great Britain
(LAGB) will hold its Spring Meeting at the University of Birmingham
from 22-24th March, 1993. For more information, contact Dr.  William
Edmondson: postal address as below; phone +44-(0)21-414-4773; email
EDMONDSONWH@vax1.bham.ac.uk

JCI CONFERENCE

The Joint Council Initiative in Cognitive Science and Human Computer
Interaction will hold its Annual Meeting on Monday 29th March 1993 in
the same buildings as AISB'93 (in parallel with the AISB'93 workshops
and tutorials). The theme will be "Understanding and Supporting
Acquisition of Cognitive Skills". For more information, contact
Elizabeth Pollitzer, Department of Computing, Imperial College, 180,
Queens Gate, London SW7 2BZ, U.K.; phone +44-(0)71-581-8024; email
eep@doc.ic.ac.uk.

________________________________________________________________________

                           REGISTRATION  NOTES

                 Main Programme, Workshops and Tutorials
________________________________________________________________________


ADDRESS (for registrations and general enquiries)

	AISB'93,
	School of Computer Science,
	The University of Birmingham,
	Edgbaston,
	Birmingham, B15 2TT,
	U.K.
	
	Email:    aisb93-prog@cs.bham.ac.uk
	Phone:    +44-(0)21-414-3711        
	Fax:    +44-(0)21-414-4281

PAYMENT 

Payment should be made by cheque or money order payable to `The
University of Birmingham', drawn in pounds sterling on a UK clearing
bank. Payment should be sent together with the Registration Form to
the above address. It is not possible to register by email.

WORKSHOPS

Please note that before registering for a workshop you should contact
its organiser directly concerning availability and submissions.

CONFIRMATION

Confirmation of booking, a receipt, and a map with travel details
will be sent on receipt of this application form.

LATE REGISTRATIONS

Registrations postmarked after 10th March count as late
registrations.

CANCELLATIONS

In the event of cancellation, an 75% refund of the total cost will be
made provided that written notice is received by the Local Organiser
by 10th March 1993. After that date refunds cannot be made, although
substitutions are possible.

AISB MEMBERSHIP

Delegates wishing to join AISB (thus avoiding the non-AISB-member
supplement) should contact: AISB Administration, Cognitive and
Computing Sciences, University of Sussex, Brighton BN1 9QH, U.K.;
phone: +44-(0)273 678379; fax: +44-(0)273 678188; email:
aisb@cogs.susx.ac.uk

DISCLAIMER

The University and the Conference Organisers accept no responsibility
for injury to persons attending the Conference, nor for loss of or
damage to their property. The Conference Organisers reserve the right
to change the details given in this document without notice.
______________________________________________________________________

         R E G I S T R A T I O N   F O R M   ----   A I S B' 9 3
______________________________________________________________________

Figures in parentheses are for full-time students (send photo copy of ID).

                         ACCOMMODATION and FOOD

          28th    29th    30th    31st    1st     sub-totals

lunch             5.50    5.50    5.50    5.50    ______

dinner            7.50    7.50    7.50    20.00   ______

bed &     23.00   23.00   23.00   23.00   23.00   ______
breakfast
                                          total   ______
vegetarians please tick  _____

               TECHNICAL PROGRAMME, WORKSHOPS and TUTORIALS

technical programme             175 (40)        _____

non-AISB members add            30              _____

late registration add           35              _____

Nwana workshop                  50              _____

Sharkey workshop                60 (30)	        _____

Cohn workshop                   60 (30)	        _____

Read workshop                   0               _____

Manaster Ramer tutorial         110 (55)        _____

Wallace tutorial                75 (30)         _____

Kirn tutorial                   75 (30)         _____

                                        total   _____       Pounds

                          PERSONAL DETAILS
                                                             Full time
Name             ___________________________________________ student? Y/N

Address          ___________________________________________

                 ___________________________________________

                 ___________________________________________

                 ___________________________________________

Phone            _________________________  Fax  ___________

Email            ___________________________________________

I wish to register for the events indicated, and enclose a cheque in
pounds sterling, drawn on a U.K. clearing bank and payable to the
`University of Birmingham' for .....

Signed           _________________________  Date ___________