[loginf] CfP KI'03 Workshop "Algebraic Models of Reasoning"
schmid at informatik.uni-osnabrueck.de
Fri Mar 28 09:33:44 CET 2003
----- ANNOUNCEMENT AND CALL FOR PAPERS -----
[The usual apologies for multiple copies apply: we are sending the
announcement both to personal e-mail addresses and to mailing lists.
Please distribute this e-mail to all interested people, in particular
your PhD students.]
"Algebraic Models of Reasoning"
A Workshop at the KI 2003, Hamburg, September 15th - 18th, 2003
Organizers: Helmar Gust, Kai-Uwe Kuehnberger, Claus Rollinger, Ute Schmid
In many areas of reasoning - such as analogical, inductive, case-based, or
qualitative reasoning - rule-based/procedural approaches are dominating the
field. Alternatively, algebraic approaches can be used. Such approaches focus
on structural representations and provide a powerful and formally sound
foundation for inference algorithms. Examples are the use of anti-unification
in analogy and induction, coalgebraic models for analogical reasoning, and
relational algebras for qualitative reasoning.
The aim of the workshop is to bring together researchers from different areas
of reasoning who develop and apply algebraic methods: existing formalisms
shall be compared and evaluated, open problems shall be identified, transfer
to other areas and application perspectives shall be discussed. Special focus
will be on possible contributions of algebraic approaches to model cognitive
aspects of reasoning. Some promising work in this direction exists in the
domain of analogical reasoning.
Additionally to AI researchers working on algebraic methods, the workshop
should be of interest to students and researchers interested in the subject
fields named above and in relations between AI and cognition. An introductory
talk will be presented giving an overview of the different approaches of
algebraic methods intended to provide a common basis for the participants of
this workshop. The workshop will be organized in cooperation with two special
interest groups of the GI Fachbereich KI, namely the special interest groups
"Knowledge Representation and Reasoning" and "Cognition".
We invite electronic submissions of papers (formats: PostScript, PDF). The
papers should not exceed 10 A4, single-spaced Springer LNCS style pages.
Accepted papers will be published in the Publications of the Institute of
Cognitive Science, Osnabrueck (ISSN:1610-5389), on the workshop homepage, and
on the workshop CD.
Submission must be sent electronically to: kkuehnbe at uos.de
Kai-Uwe Kuehnberger, Institute of Cognitive Science, University of Osnabrueck
DEADLINE FOR SUBMISSIONS: 18.04.2003
NOTIFICATION OF ACCEPTANCE: 02.06.2003
Further information can be found on the Workshop homepage:
More information about the loginf