<div class="csl-bib-body">
<div class="csl-entry">Aldini, A., Ciabattoni, A., Pichler, D., & Tagliaferri, M. (2025). Support + Belief = Decision Trust. In U. Schmid & Roman Kuznets (Eds.), <i>Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings</i> (pp. 3–22). Springer. https://doi.org/10.1007/978-3-031-91736-3_1</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/221600
-
dc.description.abstract
We present SBTrust, a logical framework designed to formalize decision trust. Our logic integrates a doxastic modality with a novel non-monotonic conditional operator that establishes a positive support relation between statements and is closely related to a known dyadic deontic modality. For SBTrust, we provide semantics, proof theory and complexity results, as well as motivating examples. Compared to existing approaches, our framework seamlessly accommodates the integration of multiple factors in the emergence of trust.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture notes in computer science
-
dc.subject
Beliefs
en
dc.subject
Decision trust
en
dc.subject
Deontic logic
en
dc.subject
Non-monotonic conditional
en
dc.title
Support + Belief = Decision Trust
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
University of Urbino, Italy
-
dc.contributor.affiliation
University of Urbino, Italy
-
dc.contributor.editoraffiliation
Czech Academy of Sciences, Institute of Computer Science, Czechia
-
dc.relation.isbn
978-3-031-91736-3
-
dc.relation.doi
10.1007/978-3-031-91736-3
-
dc.relation.issn
0302-9743
-
dc.description.startpage
3
-
dc.description.endpage
22
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings
-
tuw.container.volume
15671
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.publisher.doi
10.1007/978-3-031-91736-3_1
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0000-0002-7250-5011
-
tuw.author.orcid
0000-0001-6947-8772
-
tuw.author.orcid
0009-0003-1790-2983
-
tuw.author.orcid
0000-0003-3875-0512
-
tuw.editor.orcid
0000-0001-9831-8583
-
tuw.event.name
32nd International Colloquium On Structural Information and Communication Complexity (SIROCCO 2025)
en
tuw.event.startdate
02-06-2025
-
tuw.event.enddate
04-06-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Delphi
-
tuw.event.country
GR
-
tuw.event.presenter
Aldini, Alessandro
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
crisitem.author.dept
University of Urbino, Italy
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
