Loading [MathJax]/extensions/tex2jax.js

Annals of Mathematics and Artificial Intelligence

1 - 3 out of 3Page size: 20
Order:

Publications

  1. 2022

  2. Published

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., Mar 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 2-3, p. 271-296 26 p.

    Research output: Contribution to journal › Article › Research › peer review

  3. 2018

  4. Published

    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, p. 297-320 24 p.

    Research output: Contribution to journal › Article › Research › peer review

  5. 1994

  6. External

    Formalizing the repair process - extended report

    Friedrich, G., Gottlob, G. & Nejdl, W., Mar 1994, In: Annals of Mathematics and Artificial Intelligence. 11, 1-4, p. 187-201 15 p.

    Research output: Contribution to journal › Article › Research › peer review