Publications/Manuscripts of Dominik Dietrich

2010 | |

[6] | OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems , Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 389-423, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi] |

2008 | |

[5] | Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity , In Teaching Mathematics and Computer Science, volume 6, number 2, pp. 325-343, 2008. [bibtex] [pdf] |

[4] | Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega , In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi] |

2007 | |

[3] | Towards Computer-Assisted Proof Tutoring , In JEM Workshop on identifying and supporting (scientific) communities in education and research, 2007. ((Mildly reviewed)) [bibtex] [pdf] |

[2] | Deep Inference for Automated Proof Tutoring? , In KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings (Joachim Hertzberg, Michael Beetz, Roman Englert, eds.), Springer, volume 4667, pp. 435-439, 2007. [bibtex] [pdf] [doi] |

2006 | |

[1] | A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity , In Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Michael Kohlhase, ed.), Springer, LNCS, volume 3863, pp. 126-142, 2006. [bibtex] [pdf] [doi] |

Powered by bibtexbrowser