Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/209721
-
Titel: 
Reasoning About Group Polarization: From Semantic Games to Sequent Systems
en
Zitat: 
Freiman, R., Olarte, C., Pimentel, E., & Fermüller, C. (2024). Reasoning About Group Polarization: From Semantic Games to Sequent Systems. In N. Bjørner, M. J. H. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 70–87). EasyChair. https://doi.org/10.29007/WPTZ
-
Verlags-DOI: 
10.29007/WPTZ
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Freiman, Robert 
Olarte, Carlos 
Pimentel, Elaine 
Fermüller, Christian 
-
Organisations­einheit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Erschienen in: 
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning 
-
Band: 
100
-
Datum (veröffentlicht): 
26-Mai-2024
-
Veranstaltungs­name: 
25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024) 
en
Veranstaltungs­zeitraum: 
26-Mai-2024 - 31-Mai-2024
-
Veranstaltungs­ort: 
Port Louis, Mauritius
-
Umfang: 
18
-
Verlag: 
EasyChair
-
Peer Reviewed: 
Ja
-
Keywords: 
game semantics; proof theory; Group Polarization
en
Forschungs­schwerpunkte: 
Computer Science Foundations: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

117
aufgerufen am 27.01.2025

Download(s)

11
aufgerufen am 27.01.2025

Google ScholarTM

Check