Subject: Final CFp: PricAI WS on inducing complex representations(May 31)
From: [email-masked] (Srinivas Padmanabhuni)
Date: 16 May 1996 06:59:00 GMT
Newsgroups: comp.ai

CALL FOR PAPERS/PARTICIPATION WORKSHOP ON INDUCING COMPLEX REPRESENTATIONS

    Home Page: http://www.cs.ualberta.ca/~srinivas/cfp.html
   
  August 26, 1996, Cairns, Queensland, Australia
  
   to be held in conjunction with the The Fourth Pacific Rim
   International Conference on Artificial Intelligence (PRICAI-96)
   
          SUBMISSION DEADLINE EXTENDED TO MAY 31ST 1996
IMPORTANT DATES:

     Deadline for submission: May 31, 1996
     Notification of authors: Jun  15, 1996
     Final version due:  July 5, 1996
     Workshop: August 26, 1996

CONTACT PERSON: 

Srinivas Padmanabhuni
Department of Computing Science
619 GSB, University of ALberta
Edmonton, Canada, T6G 2H1.

Email: [email-masked]

       
  FOCUS:

The past few years have witnessed the development of several
complex inductive paradigms where the underlying knowledge
representation is more complex than that of the conventional
propositional concept-learning systems and hence potentially
more useful in real-life applications. Much of this activity
has focussed on the induction of logic programs or Horn
clause theories, giving rise to the area of Inductive Logic
Programming (ILP). More recently, there has been growing
interest in the problem of inducing theories in a variety of
distinct but related formalisms. These include
constraint-based representations, including constraint logic
programs (this is often referred to as the problem of
Inductive Constraint Logic Programming or ICLP), nonmonotonic
theories, spatial representations and diagrammatic
representations, to name but a few. This workshop seeks to
bring together researchers from all of these areas, to identify
commonalities in the methods utilized and to encourage
cross-fertilization of ideas.

Specifically, the areas of interest for this workshop include,
but are not limited to:

    * Inductive Logic Programming.

Much of the research on inducing complex representations has been
motivated by and is based on
results from the ILP area. New ILP results are thus of interest
to this workshop, specially results that may eventually apply
to other inductive paradigms as well.

    *Inductive Constraint Logic Programming.

Topics of interest include:
(1). Constraint induction: Much needs to be done in defining
techniques for inducing constraints in the well-known constraint
domains. Of interest as well is the issue of integrating
domain-specific constraint induction methods to obtain techniques
for inducing constraint logic programs which operate on multiple
domains.
(2). Adaptation of ILP techniques to ICLP.
(3). Definition of semantics for inducing constraint logic programs.
(4). Learnability results for knowledge represented in the form of
constraint logic programs.
(5). Studies on the utility of constraint induction algorithms in
speedup learning for constraint solving.
(6). Applications of constraint induction (e.g. robot
motion , spatial reasoning ) and reports of working ICLP systems.

    * Inducing nonmonotonic representations.

 Frameworks for inducing non-monotonic representations need to be addressed.
Recent studies have focussed on inducing logic programs with different notions
of
negation. Much remains to be done to clarify the role of frameworks
for inducing non-monotonic logic programs and other  non-monotonic
representations.

    * Inducing spatial representations.
    
    * Inducing diagrammatic representations.
    
  ORGANIZING COMMITTEE:

Koichi Furukawa (Keio University, Japan) Co-chair
(Email: [email-masked])
Randy Goebel (University of Alberta, Canada) Co-chair
(Email: [email-masked])
Fumio Mizoguchi (Science University of Tokyo, Japan)
(Email: [email-masked])
Srinivas Padmanabhuni (University of Alberta, Canada)
(Email: [email-masked])
Aditya Ghose (University of Sydney, Australia)
(Email: [email-masked])

  SUBMISSION DETAILS:

Authors should submit either full papers (up to 12 pages) or
extended abstracts (3 to 5 pages). Electronic submission in
the form of postscript files is preferred.  In cases where
this is impossible please send 4 copies to:

Aditya K. Ghose
Knowledge Systems Group
Basser Department of Computer Science
University of Sydney
Sydney NSW 2006 Australia

Email: [email-masked]

Or to:

Srinivas Padmanabhuni
Department of Computing Science
619 GSB, University of ALberta
Edmonton, Canada, T6G 2H1.

Email: [email-masked] 

Persons wishing to participate but not present a paper should
submit a brief statement of interest describing their focus
and background.

  IMPORTANT DATES:

     Deadline for submission: May 31, 1996
     Notification of authors: Jun  15, 1996
     Final version due:  July 5, 1996
     Workshop: August 26, 1996

  PROCEEDINGS:

The workshop will have an informal proceedings, to be made
available to the participants at the event. If sufficiently
many quality papers are submitted, it is anticipated that a
collection of selected papers will be published as a book
and/or in a journal.

  REGISTRATION:

The workshop registration fee is Aus. $ 60.00. The late registration fees
after 19th July is  Aus. $100.00 .  Every workshop
participant must also be registered for the main conference.
At least one author of each accepted paper must register for
the workshop.