Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, Matti (Principal Investigator)

Project: Research project

Status	Finished
Effective start/end date	01/01/2020 → 31/12/2022

Fields of Science

113 Computer and information sciences

10 Conference contribution
1 Article

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., Jun 2022, In: Artificial Intelligence. 307, 40 p., 103697.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 14:1-14:19 19 p. (LIPIcs; vol. 236).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 12:1-12:23 23 p. (LIPIcs; vol. 236).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File