Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
On the Complexity and Properties of Preferential Propositional Dependence Logic
Kai Sauerwald, Arne Meier, Juha Kontinen
This paper considers the complexity and properties of KLM-style preferential reasoning in the setting of propositional logic with team semantics and dependence atoms, also known as…
cs.AI2024
A Primer for Preferential Non-Monotonic Propositional Team Logics
Kai Sauerwald, Juha Kontinen
This paper considers KLM-style preferential non-monotonic reasoning in the setting of propositional team semantics. We show that team-based propositional logics naturally give rise…