BEIERLE, Christoph; SPANG, Aron; HALDIMANN, Jonas. A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. The International FLAIRS Conference Proceedings, [S. l.], v. 37, n. 1, 2024. DOI: 10.32473/flairs.37.1.135330. Disponível em: https://journals.flvc.org/FLAIRS/article/view/135330. Acesso em: 30 jan. 2025.