Loading [MathJax]/extensions/tex2jax.js

Annals of Mathematics and Artificial Intelligence

Publikationen

  1. 2022

  2. Veröffentlicht

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., März 2022, in: Annals of Mathematics and Artificial Intelligence. 90, 2-3, S. 271-296 26 S.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  3. 2018

  4. Veröffentlicht

    Approximation and dependence via multiteam semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., Aug. 2018, in: Annals of Mathematics and Artificial Intelligence. 83, 3-4, S. 297-320 24 S.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  5. 1994

  6. Extern

    Formalizing the repair process - extended report

    Friedrich, G., Gottlob, G. & Nejdl, W., März 1994, in: Annals of Mathematics and Artificial Intelligence. 11, 1-4, S. 187-201 15 S.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review