Dr. Martin Sticht

Wissenschaftlicher Mitarbeiter



Otto-Friedrich-Universität Bamberg
Fakultät für Wirtschaftsinformatik und Angewandte Informatik
Professur für Grundlagen der Informatik
D-96045 Bamberg


An der Weberei 5
Zimmer WE5/05.039
D-96047 Bamberg


+49 (0) 951 863 2866


Mail to Martin Sticht


  • Modal Logic
  • Game-Theories
  • Dialogical Logic
  • Agent Communication
  • Machine Learning


  • Martin Sticht: Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling.
    Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016, CEUR-WS.org, online http://ceur-ws.org/Vol-1645/paper_20.pdf
  • Ute Schmid, Lukas Berle, Michael Munz, Klaus Stein and Martin Sticht: 'How similar is what I get to what I want -- Matchmaking for Mobility Support', in Gilles, H. ; Prade, R. (editors) : Computational Approaches to Analogical Reasoning -- Current Trends.
    . :
    Springer, 2014, (Springer Studies in Computational Intelligence Bd. 548), S. 263--287.
  • Michael Munz, Klaus Stein, Martin Sticht and Ute Schmid: 'Matchmaking: How similar is what I want to what I get?', in SAMAI, Similarity and Analogy-based Methods in AI, 2012. Proceedings. 1st International Workshop, Monpellier, France