• Refine your search:
  • 
    Keyword:
    
    • FOS Computer and information sciences (19)
    • Logic in Computer Science cs.LO (19)
    • Logic (12)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (11)
    • Artificial Intelligence cs.AI (9)
    • fuzzy logic (8)
    • Computation and Language cs.CL (6)
    • BC Logic (5)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (5)
    • [SHS.PHIL]Humanities and Social Sciences / Philosophy (5)
    •   more
  • 
    Creator / Publisher:
    
    • Aguilera, Mariela (3)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM) (3)
    • Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X) (3)
    • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) (3)
    • Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) (3)
    • Aix Marseille Université (AMU)-Sciences Po Aix - Institut d'études politiques d'Aix-en-Provence (IEP Aix-en-Provence)-Centre National de la Recherche Scientifique (CNRS) (2)
    • Barukčić, Ilija (2)
    • Belkis Sánchez Martínez (2)
    • Bienvenu, Meghyn (2)
    • Bourgaux, Camille (2)
    •   more
  • 
    Year:
    
    • 2020 (105)
  • 
    Medium:
    
    • Online (99)
    • Print (6)
  • 
    Type
  • 
    BLLDB-Access:
    • free (105)
    • subject to license (42)

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 6 Hits 1 – 20 of 105 1 Language, logic, and mathematics in Schopenhauer Lemanski, Jens (Herausgeber). - Cham : Springer International Publishing, 2020. Cham : Birkhäuser, 2020 BLLDB UB Frankfurt Linguistik Show details 2 Linguistic pragmatism and weather reporting Collins, John. - Oxford : Oxford University Press, 2020 BLLDB UB Frankfurt Linguistik Show details 3 Das irreführende x : Überlegungen zu Paradoxa in symbolischer Sprache und andere Essays zur Logik Dreyer, Peter. - Schondorf : Edition Blaes, 2020 BLLDB UB Frankfurt Linguistik Show details 4 Quine, structure, and ontology Janssen-Lauret, Frederique (Herausgeber). - Oxford, United Kingdom : Oxford University Press, 2020 BLLDB UB Frankfurt Linguistik Show details 5 Probabilistic knowledge Moss, Sarah. - Oxford, United Kingdom : Oxford University Press, 2020 BLLDB UB Frankfurt Linguistik Show details 6 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 7 Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation Bienvenu, Meghyn; Bourgaux, Camille In: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.inria.fr/hal-02947251 ; KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.141-151, ⟨10.24963/kr.2020/15⟩ (2020) BASE Show details 8 Content Selection for Effective Counter-Argument Generation Hidey, Christopher. - 2020 BASE Show details 9 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 10 Le fā’ al-sababiyya vu par Raḍī l-Dīn al-Astarābāḏī : logique et pragmatique Larcher, Pierre In: ISSN: 0570-5398 ; EISSN: 1570-0585 ; Arabica ; https://halshs.archives-ouvertes.fr/halshs-03087269 ; Arabica, Brill Academic Publishers, 2020, 67 (5-6), pp.593-610. ⟨10.1163/15700585-12341571⟩ (2020) BASE Show details 11 Concurrent Game Semantics: Easy as Pi Castellan, Simon; Stefanesco, Léo; Yoshida, Nobuko In: https://hal.inria.fr/hal-03128187 ; [Research Report] Inria. 2020 (2020) BASE Show details 12 A Language Agnostic Approach to Modeling Requirements: Specification and Verification Alidra, Abdelghani; Beugnard, Antoine; Godfroy, Hubert... In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020) BASE Show details 13 Logical Constants between Inference and Reference - An Essay in the Philosophy of Logic Speitel, Sebastian Georg Werner. - : eScholarship, University of California, 2020 BASE Show details 14 Quantification and Higher-Order Modal Logic Lauro, Greg. - : eScholarship, University of California, 2020 BASE Show details 15 Mathematical works of Vladimir A. Uspensky: a commentary (Enlgish and Russian texts) ; Математические работы Владимира Андреевича Успенского: комментарии (английский и русский текст) Shen, Alexander In: Vladimir A. Uspensky. Non-mathematical works collection (Russian version) ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688 ; Vladimir A. Uspensky. Non-mathematical works collection (Russian version), 2020, 978-5-94282-675-8 (2020) BASE Show details 16 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 17 Combining spatial data layers using fuzzy inference systems: application to an agronomic case study Guillaume, Serge; Bates, Terry; Lablee, Jean-Luc... In: 6th International Conference on Geographical Information Systems Theory, Applications and Management ; https://hal.inrae.fr/hal-02942751 ; 6th International Conference on Geographical Information Systems Theory, Applications and Management, May 2020, Prague, Czech Republic. pp.62-71, ⟨10.5220/0009356000620071⟩ (2020) BASE Show details 18 CRITIQUE OF IMPURE REASON ; CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning Bartlett, Steven James. - : HAL CCSD, 2020. : Studies in Theory and Behavior, 2020 In: https://hal.archives-ouvertes.fr/hal-02923307 ; Studies in Theory and Behavior, 2020, ⟨10.5281/zenodo.5458352⟩ (2020) BASE Show details 19 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 20 Half-truths and the Liar Egré, Paul In: Modes of Truth: The Unified Approach to Truth, Modality, and Paradox ; https://hal.archives-ouvertes.fr/hal-03090924 ; Carlo Nicolai, Johannes Stern. Modes of Truth: The Unified Approach to Truth, Modality, and Paradox, Routledge Studies in Contemporary Philosophy, In press (2020) BASE Show details Page: 1 2 3 4 5 6

Mobile view All Catalogues UB Frankfurt Linguistik 6 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 6 BDSL 0 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 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 99 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0