Christian Köll | LoDEx Research Project https://www.ruhr-uni-bochum.de/lodex/author/christian-koll/ Christian Köll Wowchemy (https://wowchemy.com)en-usSun, 26 Jul 2026 00:00:00 +0000 https://www.ruhr-uni-bochum.de/lodex/media/icon_hud18b118ec34245591648419faa812519_32196_512x512_fill_lanczos_center_3.png Christian Köll https://www.ruhr-uni-bochum.de/lodex/author/christian-koll/ SMT-Based Deontic Reasoning for Åqvist Logics https://www.ruhr-uni-bochum.de/lodex/publication/koell-ciabattoni-rozplokhas-ijcar-2026/ Sun, 26 Jul 2026 00:00:00 +0000 https://www.ruhr-uni-bochum.de/lodex/publication/koell-ciabattoni-rozplokhas-ijcar-2026/