Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, Matti (Principal Investigator)

Projekt: Forskningsprojekt

Status	Slutfört
Gällande start-/slutdatum	01/01/2020 → 31/12/2022

Vetenskapsgrenar

113 Data- och informationsvetenskap

10 Konferensbidrag
1 Artikel

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Linsbichler, T., Maratea, M., Niskanen, A., Wallner, J. P. & Woltran, S., juni 2022, I: Artificial Intelligence. 307, 40 s., 103697.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
Incremental Maximum Satisfiability
Niskanen, A., Berg, J. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 14:1-14:19 19 s. (LIPIcs; vol. 236).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil
MaxSAT-Based Bi-Objective Boolean Optimization
Jabs, C. J., Berg, J., Niskanen, A. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 12:1-12:23 23 s. (LIPIcs; vol. 236).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil