„compositional semantics“

Suchergebnisse

80 Treffer

• Compositionality and Concepts in Linguistics and Psychology
  Hampton, James ; Winter, Yoad 2017 Springer International Publishing
• How do prepositional phrases fit into compositional syntax and semantics?
  WUNDERLICH, DIETER
• An Expressive Trace Logic for Recursive Programs
  Gurov, Dilian ; Hähnle, Reiner 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Boon or Burden? The Role of Compositional Meaning in Figurative Language Processing and Acquisition
  Dimitrova-Vulchanova, Mila ; Milburn, Evelyn ; Vulchanov, Valentin ; Baggio, Giosuè
• Divide and Congruence III: Stability & Divergence
  Fokkink, Willem J. ; van Glabbeek, Rob ; Luttik, Bas 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The pluralization palette: unveiling semantic clusters in English nominal pluralization through distributional semantics
  Shafaei-Bajestan, Elnaz ; Moradipour-Tari, Masoumeh ; Uhrig, Peter ; Baayen, R. Harald 2024 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Typed Compositional Quantum Computation with Lenses
  Garrigue, Jacques ; Saikawa, Takafumi 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Direct Foundations for Compositional Programming (Artifact)
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.
• Compositional Correctness and Completeness for Symbolic Partial Order Reduction
  Kløvstad, Åsmund Aqissiaq Arild ; Kamburjan, Eduard ; Johnsen, Einar Broch 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structural Operational Semantics for Heterogeneously Typed Coalgebras
  König, Harald ; Wolter, Uwe ; Kräuter, Tim 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Direct Foundations for Compositional Programming
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Open Algebraic Path Problem
  Master, Jade 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Precongruence Formats with Lookahead through Modal Decomposition
  Fokkink, Wan ; van Glabbeek, Rob J. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Custom Hypergraph Categories via Generalized Relations
  Marsden, Dan ; Genovese, Fabrizio 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Compiler Verification for a Multi-Language World
  Ahmed, Amal 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators
  Gebler, Daniel ; Tini, Simone 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Compilers for a Multi-Language World
  Ahmed, Amal 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A new approach to the semantics of model diagrams
  Granström, Johan G. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Compositional Typed Higher-Order Logic with Definitions
  Dasseville, Ingmar ; van der Hallen, Matthias ; Bogaerts, Bart ; Janssens, Gerda ; Denecker, Marc 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462)
  Kamp, Hans ; Lenci, Alessandro ; Pustejovsky, James