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
    DOI BibTeX
  • 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
    Website BibTeX
nach oben

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
    BibTeX
  • 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
    BibTeX
  • 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
    DOI BibTeX
  • 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
    BibTeX
nach oben

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
    BibTeX
nach oben

Publikationen @ TUHH