<div class="csl-bib-body">
<div class="csl-entry">Bernreiter, M., & Freiman, R. (2022). <i>Truth and Preferences - A Game Approach for Qualitative Choice Logic</i> [Conference Presentation]. M-PREF 2022 - 13th Multidisciplinary Workshop on Advances in Preference Handling, Wien, Austria. https://doi.org/10.48550/arXiv.2209.12777</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/153107
-
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 ex-
isting 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.
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.subject
game-theoretic semantics (GTS)
en
dc.subject
Qualitative Choice Logic (QCL)
en
dc.subject
logic
en
dc.subject
degree-based semantics
en
dc.subject
negation
en
dc.title
Truth and Preferences - A Game Approach for Qualitative Choice Logic
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
P32830-N
-
dc.relation.grantno
ICT19-065
-
dc.type.category
Conference Presentation
-
tuw.project.title
Hybrid Parameterized Problem Solving in Practice
-
tuw.project.title
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.linking
https://sites.google.com/view/m-pref2022/program
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.48550/arXiv.2209.12777
-
tuw.author.orcid
0000-0001-8251-4272
-
tuw.event.name
M-PREF 2022 - 13th Multidisciplinary Workshop on Advances in Preference Handling
en
tuw.event.startdate
23-07-2022
-
tuw.event.enddate
23-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
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairetype
Presentation
-
item.openairetype
Vortrag
-
item.grantfulltext
restricted
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
crisitem.project.grantno
P32830-N
-
crisitem.project.grantno
ICT19-065
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence