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