1 - 3 von 3Seitengröße: 20
Publikationen
2022
- 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 Fachzeitschrift › Artikel › Forschung › Peer-Review
2018
- 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 Fachzeitschrift › Artikel › Forschung › Peer-Review
1994
- 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 Fachzeitschrift › Artikel › Forschung › Peer-Review