„Game Semantics“

Suchergebnisse

1.000+ Treffer

• Recommendation information diffusion in social networks considering user influence and semantics
  Margaris, Dionisis ; Vassilakis, Costas ; Georgiadis, Panagiotis
• Ludics, dialogue and interaction – PRELUDE project - 2006 - 2009 ; revised selected papers
  Lecomte, Alain ; Tronçon, Samuel 2011 Springer
• Infinite-Valued Least Model and Game Semantics for Formula-Based and Normal Logic Programs
  Lüdecke, Rainer 2012 Verlag Dr. Hut
• Moving pictures of thought II: Graphs, games, and pragmaticism's proof
  Pietarinen, Ahti-Veikko
• Theoretical Computer Science – 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
  Díaz, Josep ; Lanese, Ivan ; Sangiorgi, Davide 2014 Springer Berlin Heidelberg
• Logic, Language, and Computation – 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
  Bezhanishvili, Nick ; Löbner, Sebastian ; Schwabe, Kerstin ; Spada, Luca 2011 Springer Berlin Heidelberg
• Foundations of Software Science and Computational Structures – 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Hofmann, Martin 2011 Springer Berlin Heidelberg
• Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Sassone, Vladimiro 2005 Springer Berlin Heidelberg
• Ehrenfeucht-Fraïssé Games in Semiring Semantics
  Brinke, Sophie ; Grädel, Erich ; Mrkonjic, Lovro 2024 Universitätsbibliothek der RWTH Aachen
• Kripke Semantics for Intersection Formulas
  Dudenhefner, Andrej ; Urzyczyn, Paweł 2021 Saarländische Universitäts- und Landesbibliothek
• Guarded Hybrid Team Logics
  Tritschler, Marius 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Natural language understanding in argumentative dialogue systems
  Shigehalli, Pavan Rajashekhar 2020 Universität Ulm
• Peter Gärdenfors: The Geometry of Meaning: Semantics Based on Conceptual Spaces – MIT Press, Cambridge, MA, 2014, 360 pp, $37.00, ISBN 9780262026789
  Mishra, Ramesh Kumar
• Tristan der Spieler – Das Ballspiel in der ‘Tristan’-Fortsetzung Heinrichs von Freiberg im Kontext der mittelalterlichen Spiele-Semantik
  Reich, Björn
• Johan van Benthem on Logic and Information Dynamics
  2014 Springer International Publishing
• Models of Strategic Reasoning – Logics, Games, and Communities
  Benthem, Johan ˜vanœ ; Gosh, Sujata ; Verbrugge, Rineke 2015 Springer International Publishing
• Epistemology, Knowledge and the Impact of Interaction
  Redmond, Juan 2016 Springer International Publishing
• Graphical Models for Security – Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
  Mauw, Sjouke ; Kordy, Barbara ; Jajodia, Sushil 2016 Springer International Publishing
• Wittgenstein’s Investigations – Awakening the Imagination
  Savickey, Beth 2017 Springer International Publishing
• Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
  Artemov, Sergej N. ; Nerode, Anil 2015 Springer International Publishing