Formal MAGIC 2013 - International Workshop on Formalizing Mechanisms for Artificial General Intelligence and Cognition (Formal MAGIC)

The “Formal MAGIC” workshop discusses the formalization of the most important cognitive mechanisms and human abilities that have already been shown in literature to play essential roles in computational models of artificial (general) intelligence, using available techniques like learning or reasoning.
Cognitive mechanisms and human capacities, in particular those related to general intelligence, have a wide range of possibilities that attracts the interest of audience from various (sub)areas in artificial intelligence and cognitive science. Of special concern to the discussions and presentations during this workshop are the human capacities, such as (1) doing abstractions (generalizations or specializations), (2) creating similarity- and analogy-based decisions, (3) performing conceptual blending, (4) creating imaginative images and alternatives to reality, (5) coherently integrating cognition, or (6) bridging the gaps between well-known cognitive mechanisms, but the workshop is also open to contributions and treatments of other closely-related capacities.
This workshop seeks initiative contributions that particularly help in demonstrating, formalizing, or implementing the aforementioned capacities (or the related ones) using probabilistic, symbolic, or logic-based approaches. Theoretical characterizations and representation of the essential parts thereof are also very welcome (e.g. characterizing cognitive models and architectures, representing concepts for computing cognition, modeling creative capacities in artificial models… etc.). The list is not by any means intended to be exhaustive; the intention is rather to mention the famous mechanisms that already showed importance in the literature of computing cognition, and for which a mature stream of (theoretical and/or practical) research is already established.
Organizers: Ahmed M. H. Abdel-Fattah and Kai-Uwe Kühnberger (both from University of Osnabrück, Germany).
All papers should be submitted in accordance to the AGI-13 formatting style. Papers must be in English, should not exceed 5 pages. Papers must be submitted in PDF to ahabdelfatta-AT-uni-osnabrueck.de.
For more information, visit the workshop webpage at http://cogsci.uni-osnabrueck.de/~formalmagic/