2 citations · 4 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
Robert Freiman, Michael Bernreiter
In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an…
cs.LO2021
Choice Logics and Their Computational Properties
Michael Bernreiter, Jan Maly, Stefan Woltran
Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, ana…