<div class="csl-bib-body">
<div class="csl-entry">Freiman, R., & Bernreiter, M. (2022, September 27). <i>Truth and Preferences - A Game Approach for Qualitative Choice Logics</i> [Conference Presentation]. 13th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2022), Wien, Austria. https://doi.org/10.34726/3764</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/175611
-
dc.identifier.uri
https://doi.org/10.34726/3764
-
dc.description.abstract
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 additional connective called ordered disjunction. Firstly, we demonstrate that game semantics can capture existing degree-based semantics for QCL in a natural way. Secondly, we show that game semantics can be leveraged to derive new semantics for the language of QCL. In particular, we present a new semantics that makes use of GTS negation and, by doing so, avoids problems with negation in existing QCL-semantics.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Games
en
dc.subject
Preference Modelling and Preference-Based Reasoning
en
dc.subject
Choice Logics
en
dc.title
Truth and Preferences - A Game Approach for Qualitative Choice Logics
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/3764
-
dc.relation.grantno
P32684-N
-
dc.type.category
Conference Presentation
-
tuw.project.title
Von semantischen Spielen zu Kalkülen – und retour
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
50
-
tuw.researchTopic.value
50
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.author.orcid
0000-0001-8251-4272
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
13th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2022)
en
tuw.event.startdate
29-07-2022
-
tuw.event.enddate
29-07-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Wien
-
tuw.event.country
AT
-
tuw.event.presenter
Bernreiter, Michael
-
dc.relation.ispreviousversionof
https://doi.org/10.48550/arXiv.2209.12777
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.languageiso639-1
en
-
item.openairetype
conference paper not in proceedings
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0001-8251-4272
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
