Programme

Monday 3rd April, 1995

[all day]       WORKSHOPS AND TUTORIAL PROGRAMME

Tuesday 4th April, 1995

[all day]       WORKSHOPS AND TUTORIAL PROGRAMME

6.00-9.00       REGISTRATION RECEPTION, HALIFAX HALL,
                UNIVERSITY OF SHEFFIELD

Wednesday 5th April, 1995

08:00-on        REGISTRATION

09:00           Chair opening address:
                Paul Mc Kevitt, Conference Chair/Local Organisation
                (University of Sheffield)

09:10           HOD opening address:
                Colin Smythe, Head of Department of Computer Science
                (University of Sheffield)

09:20           Programme Chair opening address:
                John Hallam, Programme Chair
                (University of Edinburgh)


09:30-10:30	Invited Talk -- Professor Malik Ghallab,
		LAAS-CNRS, Toulouse, France.

10:30-11:00	Break

11:00-12:45	3 Papers

	"An Introduction to Dynamic Symbol Systems",
	Herbert Jaeger, Faculty of Technology,
	University of Bielefeld, Germany.

	"Reactive Systems in Physical Environments",
	Simin Nadjm-Tehrani, Department of Computer and
	Information Science, Linkoping University, Sweden.

	"From Numerical Observations to Propositional
	Representations: A Cognitive Methodology to
	Structure Hybrid Spatial Knowledge in the WIRE
	project", Mario Borillo, IRIT Toulouse and Herve
	Pensec, SOGERMA-SOCEA, Groupe Aerospatiale, Merignac, France.

12:45-14:15	Lunch

14:15-16:00	3 Papers

	"Decisions, decisions:  Knowledge goals in planning",
	Louise Pryor, Department of Artificial Intelligence,
	University of Edinburgh, Scotland.

	"Knowing how:  a semantic approach", Sam Steel, 		
	Department of Computer Science, University of 
	Essex, England.

	"A Meta-Level Framework for Exploring Conflicts
	in Multiple Knowledge Bases", Mandy Haggith, 
	Department of Artificial Intelligence, University
	of Edinburgh, Scotland.

16:00-16:30	Break

16:30-17:50	2 Papers

	"Unsatisfied Variables in Local Search", Ian Gent,
	Department of Artificial Intelligence, University
	of Edinburgh and Toby Walsh, Mechanized Reasoning
	Group, IRST, Genoa, Italy.

	"An Attempt to Map the Performance of a Range
	of Algorithm and Heuristic Combinations",
	Edward P.K. Tsang, James E. Borrett and Alvin
	C.M. Kwan, Department of Computer Science,
	University of Essex, England.

20:00	        CONFERENCE RECEPTION, SHEFFIELD KELHAM ISLAND INDUSTRIAL
                MUSEUM (WITH DON RIVER LIVE STEAM ENGINE)

Thursday 6th April, 1995

09:15-10:15	Invited Talk -- Professor John Mayhew, 
		AIVRU, University of Sheffield, England.

10:15-10:45	Break

10:45-12:30	3 Papers

	"The SOMASS System:  a Hybrid Symbolic and
	Behaviour-based System to Plan and Execute
	Assemblies by Robot", Chris Malcolm, Department
	of Artificial Intelligence, University of
	Edinburgh, Scotland.

	"Multiple Agent Systems for Configuration Design",
	Stuart Watt, Zdenek Zdrahal, Knowledge Media
	Institute, Open University & Mike Brayshaw, 
	School of Computer Science, University of Birmingham, England.

	"Symbolic and Continuous Proceses in the Automatic
	Selection of Actions", R Cooper, Tim Shallice &
	Jonathan Farringdan, Department of Psychology,
	University College, London, England.

12:30-14:00	Lunch

14:00-15:00	Invited Talk -- Professor Noel Sharkey,
		Department of Computer Science, University
		of Sheffield, England.

15:00-15:20	Break

15:20-16:30	2 Papers

	"A Neural Network Decision-Support Tool for the       	
	Diagnosis of Breast Cancer", Joseph Downs,
	Robert F Harrison, Department of Automatic Control &
	Systems Engineering, University of Sheffield and 
	Simon S Cross, Department of Pathology, University
	of Sheffield Medical School, England.

	"RULEX & CEBP Networks As the Basis for a Rule Refinement
	System", R Andrews & Shlomo Geva, Neurocomputing Research 
	Centre, Queensland University, Australia.

16:30-16:50	Break

16:50-18:00	2 Papers

	"A Heuristic for General Rule Extraction from a 		
	Multilayer Perceptron", Zhe Ma & Robert F Harrison, 
	Department of Automatic Control & Systems Engineering,
	University of Sheffield & R. Lee Kennedy, Department
	of Medicine, University of Edinburgh, Scotland.

	"An Adaptive State Machine For Use In Unsupervised Parallel
	Learning Systems", Christopher J Holgate & Thomas J W Clarke,
	Neural Systems Engineering Group, Imperial College, England.


20:00	        CONFERENCE BANQUET, HALIFAX HALL
21:00           After dinner speech by DISTINGUISHED SEASONED AI RESEARCHER

Friday 7th April, 1995

09:15-10:15	Invited Talk -- Professor Graeme Hirst
		Department of Computer Science,
		University of Toronto, Canada
		
10:15-10:45	Break

10:45-12:30	3 Papers

	"Towards Learning Semantics of Spontaneous
	Dialog Utterances in a Hybrid Framework",
	Volker Weber and Stefan Wermter, Computer
	Science Department, University of Hamburg, Germany.

	"Knowledge Acquisition Using Metaphors", Asoka S 
	Karunananda, Hyacinth S Nwana & Pearl Brereton, 
	Department of Computer Science, University of
	Keele, England.

	"Grounding DTMs:  An Interview Tool for Acquiring
	Meta-Strategic Teaching Knowledge", Nigel Major
	and Kieron O Hara, Department of Psychology, 
	University of Nottingham, England.

12:30-14:00	Lunch

14:00-15:00	Invited Talk -- Professor Alex Gammerman, 
		Dept of Computer Science, Royal Holloway and
		New Bedford College, University of London, England.

15:00-15:20	Break

15:20-16:30	2 Papers

	"Towards Hybrid Nonmonotonic Reasoning Systems",
	James P Delgrande, School of Computer Science,
	Simon Fraser University, Canada & Torsten H Schaub,
	IRISA, Rennes, France.

	"Why Some Hybrid Solutions aren't Really Solutions
	(and Why Others aren't Really Hybrid)", Bradley Franks,
	Department of Psychology, London School of Economics &
	Richard Cooper, Department of Psychology, University
	College, London, England.

16:30-17:00	Conference ends.