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
:@inproceedings{MaMoMoe2015, author={Karsten Martiny, Alexander Motzek, Ralf Möller}, title={{Formalizing Agents’ Beliefs for Cyber-Security Defense Strategy Planning}}, booktitle={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}, volume={369}, pages={15-25}, language={English}, month = {June}, year={2015}, address={Burgos, Spain}, isbn={978-3-319-19712-8}, crossref = {DBLP:conf/cisis-spain/2015}, doi = {http://dx.doi.org/10.1007/978-3-319-19713-5_2}, publisher={Springer International Publishing}, keywords={Adaptive defense of network infrastructure; Semantic information representation; Situational awareness; Epistemic logic} }
- 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