Special Session on Computer Algebra in Knowledge Based Application


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

Session Organisers:
    Volker Sorge, University of Birmingham, UK.      V.Sorge@cs.bham.ac.uk  
    Jacques Calmet, Universit├Ąt Karlsruhe, Germany.      calmet@ira.uka.de


Overview:

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. The tentative deadline for
   submissions is May 21st, 2010. Selected contributions will be considered for
   inclusion in a special issue of the Annals of Mathematics and Artificial
   Intelligence.

Webpages: 

http://events.cs.bham.ac.uk/aca10              (Special Session)
http://aca2010.info/index.php/aca2010/aca2010  (Conference)