Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 5 of 9.

Erica Melis
Why Proof Planning for Maths Education and How?
In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. …
Giorgi Goguadze; Alberto González Palomo; Erica Melis
Interactivity of Exercises in ActiveMath
In: In Proceedings of the 13th International Conference on Computers in Education (ICCE 2005). International Conference on Computers in Education …
Andreas Meier; Erica Melis; Martin Pollet
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 105-120, Elsevier, 12/2004.
Andreas Meier; Erica Melis
Meta Reasoning in Multiple-Strategy Proof Planning
In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …
Erica Melis; Andreas Meier; Martin Pollet
Adaptive Access to a Proof Planner
In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). …
Jürgen Zimmer; Erica Melis
Constraint Solving for Proof Planning
In: Journal of Automated Reasoning (JAR), Vol. 33, No. 1, Pages 51-88, 7/2004.
Andreas Meier; Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning
In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint …
Erica Melis; Carsten Ullrich
Gender-Biased Adaptations in Educational Adaptive Hypermedia
In: P. de Bra; W. Nejdl (Hrsg.). Proceedings of the third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems. …
Erica Melis; Carsten Ullrich
Gender-Biased Adaptations in Educational Adaptive Hypermedia
SEKI Technical Report, Vol. SR-04-05, 2004.
Erica Melis; Jörg Siekmann
ActiveMath: An Intelligent Tutoring System for Mathematics
In: L. Rutkowski; Jörg Siekmann; R. Tadeusiewicz; L.A. Zadeh (Hrsg.). Seventh International Conference 'Artificial Intelligence and Soft Computing' …