From: ijcai@cs.uni-sb.de (Erica Melis *IJCAI Workshop*)
Newsgroups: news.announce.conferences
Subject: IJCAI Workshop
Date: 24 Dec 92 01:00:32 GMT
Expires: Mon, 1 Mar 1993 08:00:00 GMT
Organization: Computer Science, University of the Saarland, Germany


        ****   CALL FOR PAPERS AND PARTICIPATION   ****


                      IJCAI-93 Workshop on
       "Principles of Hybrid Representation and Reasoning"
            August 28, 29, or 30, Chambery, France


Topic: The one-day workshop will focus on issues  common  to  the
integration  of  deductive  and  representation-based  reasoning.
Several areas of AI have independently developed  techniques  for
incorporating  reasoning  based  on various semantically oriented
representations into  more  traditional  deductive  systems.  The
resulting  heterogenous systems are called Hybrid Reasoners. Some
specific activities making use of  Hybrid  Reasoning  are  model-
based methods in theorem proving, the manipulation of diagrams as
a means of inference, and analogical reasoning based  on  typical
examples.  This  development  has  been  paralleled  in Cognitive
Psychology, where recent research has investigated reasoning with
examples  and perceptually-based representations, as well as more
explicit, rule-based, inference.  This workshop provides a  forum
for  researchers  in diverse areas investigating hybrid reasoning
and representation.  One of our principal  aims  is  to  discover
what  is common to the different approaches, and to lay the foun-
dations for a theory of hybrid systems.  Issues we expect to  ad-
dress include (but are not limited to):

- What are the reasons/the criteria for using hybrid systems  and
  semantic representations?
- What is the information content of hybrid representations?
- What is an appropriate semantics of hybrid systems?
- Are there appropriate concepts for hybrid  systems  similar  to
  soundness and completeness?
- Are hybrid systems more efficient  computationally  than  their
  deductive counterparts?
- How can semantically-represented  information  be  incorporated
  into more traditional deductive systems?
- What forms of representation and processes operating  on repre-
  sentations are potentially useful  for intelligent agents: what
  are  their advantages  and disadvantages  relative to different
  contexts and purposes, and to what extent can or should they be
  mixed?

It should be noted that we are placing  emphasis  on  representa-
tions  that  have an explicit semantical interpretation.  This is
in contrast to the neural network  community,  in  which  "hybrid
systems" refer to combinations of symbolic and neural representa-
tions.  Although there are connections between these  approaches,
we  will  focus  the workshop on "semantical" hybrid systems, and
exclude research in the neural network area.

The workshop will be open to researchers from the disciplines  of
Artificial Intelligence and Cognitive Science.  Participants will
be selected on the basis of submitted abstracts (10 page maximum,
12pt).  Abstracts describing current work in the area are accept-
able, but we especially  encourage  position  papers  that  state
strong  opinions on the topics above.  Abstracts may be submitted
by email in the form of one standard LaTeX  file  preferably,  or
four  hard  copies may be sent to the workshop chair (see below).
Papers must contain author's name(s), full  address,  email,  and
phone number.  The final papers will be published in the workshop
proceedings.  To facilitate  a  productive  workshop,  attendance
will  be  restricted.  Those interested in participating, but not
wishing to submit an abstract, should  submit  a  short  research
statement and bibliography.


Each WS  attendee must have  registered for the main IJCAI confe-
rence. S/He  will pay an  additional (low)  300 FF fee for the WS
(about US$60).

Schedule: papers received:       March 1st, 1993
	  notice of acceptance:  April 1st, 1993
	  final papers received: June  1st, 1993

Organization and Program Committee:

J.Halpern,      IBM Almaden Research Center
M.Kerber,       Universitaet des Saarlandes, FB Informatik
K.Konolige,     Artificial Intelligence Center, SRI International
E.Melis,        Universitaet des Saarlandes, FB Informatik
K.Myers,        Artificial Intelligence Center, SRI International
J.Siekmann,     DFKI Saarbruecken
A.Sloman,       University Birmingham School of Computer Science
M.Vardi,        IBM Almaden Research Center

Chair: Erica Melis, Universitaet des Saarlandes, FB Informatik,
       D-W-6600 Saarbruecken 11, Germany
       email:ijcai@cs.uni-sb.de