Research of the AI group in the Cognitive Science institute includes topics in Analogical Reasoning, Logic Programming, Formal Semantics.
Below you find a list of specific research interests. For further information, please visit the projects and the individual home pages.
Predictive analogies in qualitative physics, heuristic-driven theory projection
|Algebraic Methods in AI||
Category Theory, closure spaces, channels, topologies, universal algebra, Coalgebras
|Logic Programming and Constraints||
PROLOG and PROLOG extensions for CLP
Mapping-Tools for Cooperative Work and Learning, distributed learning,
|Media-based Learning Environments||
Ontology generation and adaptation, extraction of semantic information from syntactic data.
Learning logical theories and complex data structures with neural networks.
Reducing cognitive diversity to a few principles in order to achieve human-level intelligence.