• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (143)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (127)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (62)
    • [INFO.INFO-LG]Computer Science [cs] / Machine Learning [cs.LG] (52)
    • Computation and Language cs.CL (39)
    • FOS Computer and information sciences (39)
    • Logic in Computer Science cs.LO (39)
    • Unbestimmtheit (in der Sprache) (23)
    • Sprachlogik (22)
    • Sprachphilosophie (18)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (2)
    • 2021 (11)
    • 2020 (10)
    • 2019 (6)
    • 2018 (10)
    • 2017 (18)
    • 2016 (13)
    • 2015 (21)
    • 2014 (22)
    • 2013 (23)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...12 Hits 1 – 20 of 238 1 Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming Abdallah, Majd; Iovene, Valentin; Zanitti, Gaston... In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022) BASE Show details 2 Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks ... Cui, Ruixiang; Hershcovich, Daniel; Søgaard, Anders. - : arXiv, 2022 BASE Show details 3 How to swim in sinking sands : the sorites paradox and the nature and logic of vague language Bones, Inga. - Paderborn, Germany : Brill | mentis, 2021 BLLDB UB Frankfurt Linguistik Show details 4 On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories Babonnaud, William In: 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021 ; https://hal.archives-ouvertes.fr/hal-03468606 ; 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021, Jul 2021, Virtual, Netherlands (2021) BASE Show details 5 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 6 Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques. Catta, Davide. - : HAL CCSD, 2021 In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021) BASE Show details 7 Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques. Catta, Davide. - : HAL CCSD, 2021 In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021) BASE Show details 8 Vector Space Semantics for Lambek Calculus with Soft Subexponentials ... McPheat, Lachlan; Wazni, Hadi; Sadrzadeh, Mehrnoosh. - : arXiv, 2021 BASE Show details 9 multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning ... Saha, Swarnadeep; Yadav, Prateek; Bansal, Mohit. - : arXiv, 2021 BASE Show details 10 Talking Space: inference from spatial linguistic meanings ... Wang-Mascianica, Vincent; Coecke, Bob. - : arXiv, 2021 BASE Show details 11 Knowledge-driven Natural Language Understanding of English Text and its Applications ... Basu, Kinjal; Varanasi, Sarat; Shakerin, Farhad. - : arXiv, 2021 BASE Show details 12 Lambek pregroups are Frobenius spiders in preorders ... Pavlovic, Dusko. - : arXiv, 2021 BASE Show details 13 Processus rhétoriques et psychosociaux d'un « débat émotionnel » à l'occasion d'une indignation féministe Alaric Kohler In: Argumentum: Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric, Vol 19, Iss 2, Pp 175-204 (2021) (2021) BASE Show details 14 Logic, language, and mathematics : themes from the philosophy of Crispin Wright Miller, Alex (Herausgeber). - Oxford : Oxford University Press, 2020 BLLDB UB Frankfurt Linguistik Show details 15 Lexical selection, coercion, and record types Babonnaud, William; de Groote, Philippe In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020) BASE Show details 16 The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction Gastaldi, Juan,; Pellissier, Luc In: https://hal.archives-ouvertes.fr/hal-03064480 ; 2020 (2020) BASE Show details 17 Pomset logic: a logical and grammatical alternative to the Lambek calculus Retoré, Christian In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020) BASE Show details 18 Partial Orders, Residuation, and First-Order Linear Logic ... Moot, Richard. - : arXiv, 2020 BASE Show details 19 Graphs with Multiple Sources per Vertex ... van Harmelen, Martin; Groschwitz, Jonas. - : arXiv, 2020 BASE Show details 20 Categories of Semantic Concepts ... Hefford, James; Wang, Vincent; Wilson, Matthew. - : arXiv, 2020 BASE Show details Page: 1 2 3 4 5...12

Mobile view All Catalogues UB Frankfurt Linguistik 18 IDS Mannheim 0 OLC Linguistik 3 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 35 BDSL 2 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 2 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 200 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0