Dr. Martin Sticht

Wissenschaftlicher Mitarbeiter

Contact

Address:

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

Office:

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

Phone:

+49 (0) 951 863 2866

E-Mail:

Mail to Martin Sticht

Interests

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

Publications

• 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

Misc

• Diploma Thesis: The Design and Implementation of a Game-Theoretic Decision Procedure for the Constructive Description Logic cALC(1.5 MB)
• Soundness proof: A Game-Theoretic Interpretation for the Constructive Modal Logic CK(404.4 KB, 29 Seiten)