Weighted Propositional Configuration Logic over De Morgan Algebras

Leonidas Efstathiadis. Weighted Propositional Configuration Logic over De Morgan Algebras. In Dimitrios Poulakis, George Rahonis, editors, Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings. Volume 13706 of Lecture Notes in Computer Science, pages 81-100, Springer, 2022. [doi]

Abstract

Abstract is missing.