-------- Original-Nachricht -------- Betreff: [computational.science] Call for Presentations --- ACA 2010 Special Session Datum: Thu, 20 May 2010 22:29:39 +0100 Von: Volker Sorge V.Sorge@cs.bham.ac.uk Antwort an: Volker Sorge V.Sorge@cs.bham.ac.uk Organisation: "ICCSA" An: Computational Science Mailing List computational.science@lists.iccsa.org
------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------
Announcement and Call for Presentations
ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications
Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania.
Webpages: http://events.cs.bham.ac.uk/aca10 (Special Session) http://aca2010.info/index.php/aca2010/aca2010 (Conference)
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.
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. V.Sorge@cs.bham.ac.uk Jacques Calmet, Universität Karlsruhe, Germany. calmet@ira.uka.de
--------------------------------------------------------------------- To unsubscribe, e-mail: computational.science-unsubscribe@lists.iccsa.org For additional commands, e-mail: computational.science-help@lists.iccsa.org