Dr.-Ing. Karsten Martiny

- Wissenschaftlicher Mitarbeiter -
Institut für Informationssysteme
Universität zu Lübeck
Ratzeburger Allee 160 ( Gebäude 64 - 2.OG )
D-23562 Lübeck
Forschungsinteressen
Ich beschäftige mich mit formalen Repräsentationen von probabilistischem Glauben und Wissen in Multiagenten-Systemen. Details zu meiner Forschung finden sich unter PDT Logic
Publikationen
2016
- Karsten Martiny, Ralf Möller: Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic
in: KI - Künstliche Intelligenz, 2016, p.1-9 - Karsten Martiny, Ralf Möller: PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
in: J. Artif. Intell. Res. (JAIR), 2016, Vol.57, p.39-112
2015
- Karsten Martiny, Ralf Möller: Abduction in PDT Logic
in: , AI 2015: Advances in Artificial Intelligence, 2015, Pfahringer, Bernhard, Renz, Jochen, Springer International Publishing - Karsten Martiny, Ralf Möller: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
IFIS, Universität zu Lübeck, 2015, Technical Report - Karsten Martiny, Alexander Motzek, Ralf Möller: Formalizing Agents’ Beliefs for Cyber-Security Defense Strategy Planning
in: International Joint Conference - CISIS 15 and ICEUTE 15, 8th International Conference on Computational Intelligence in Security for Information Systems / 6th International Conference on European Transnational Education, 2015, June, Springer International Publishing, Burgos, Spain, Vol.369, p.15-25 - Karsten Martiny, Ralf Möller: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
in: Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), 2015, January 10 - 12, Lisbon, Portugal
2014
- Karsten Martiny, Ralf Möller: PDT Logic for Stream Reasoning in Multi-agent Systems
in: Proceedings of the 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014), 2014, December 7 - 11, Gammarth, La Marsa, Tunisia
Publikationen @ TUHH
- Karsten Martiny. Unsupervised Discovery of Significant Candlestick Patterns for Forecasting Security Price Movements, Proceedings of the 4th International Conference on Knowledge Discovery and Information Retrieval (KDIR 2012)
- Karsten Martiny. An Investigation of Machine-Learning Approaches for a Technical Analysis of Financial Markets, Diplomarbeit