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
  :

  @Article{Martiny2016,
  author={Karsten Martiny and Ralf M{\"o}ller},
  title={{Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic}},
  journal={KI - K{\"u}nstliche Intelligenz},
  year={2016},
  pages={1--9},
  abstract={We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents' beliefs through probability intervals and incorporates an explicit notion of time. In this work, we give an overview of recent contributions on PDT Logic. After describing the syntax and semantics of this formalism, we show that two alternative representation forms are available to model problems in PDT Logic. Furthermore, we outline how abductive reasoning can be performed in PDT Logic and how this formalism can be extended to infinite time frames.},
  issn={1610-1987},
  doi={http://link.springer.com/article/10.1007/s13218-016-0455-7}
  }

• 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