Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Call for Presentations --- ACA 2010 Special Session
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-05-20 (21:29)
From: Volker Sorge <V.Sorge@c...>
Subject: Call for Presentations --- ACA 2010 Special Session

      [ We apologise if you receive multiple copies ]

          Announcement and Call for Presentations

               ACA 2010 Special Session
    Computer Algebra in Knowledge Based Applications

Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania.

Webpages:              (Special Session)  (Conference)


Symbolic Computation techniques are playing a significant role outside
its traditional application areas in Computer Algebra. Over recent
decades they have been successfully employed in several areas of
traditional artificial intelligent systems such as automated
reasoning, constraint solving or interactive tutoring. Conversely
intelligent and knowledge based techniques have made their way into
main stream symbolic computation such as the integration of equational
reasoning into Computer Algebra systems. In this session we will be
interested in a variety of application of symbolic computation in
knowledge based artificial intelligence systems and vice versa of
incorporation of AI techniques and mathematical knowledge into
computer algebra. We will also be interested in representation issues
arising from these combinations as well as in the role played by
ontologies in linking symbolic computation and AI as illustrated by
Wolfram|Alpha.  The scope of the session therefore includes the
following topics:

 -- System combinations and integrations
 -- Knowledge acquisition and representation
 -- Application areas

Call for Contributions:

  If you are interested in giving a presentation at this session,
  please email an abstract to one of the organisers. Presentations
  will be up to 30 min in length, including time for discussion.

  Deadline: The tentative deadline for submissions is May 21st, 2010.

  Publication: Selected contributions will be considered for
     inclusion in a special issue of the Journal of Mathematics and
     Artificial Intelligence.

Session Organisers:

   Volker Sorge, University of Birmingham, UK.
   Jacques Calmet, Universität Karlsruhe, Germany.