• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (418)
    • Institut de recherche en informatique de Toulouse (IRIT) (72)
    • Université Fédérale Toulouse Midi-Pyrénées (72)
    • Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) (72)
    • Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) (72)
    • Université Toulouse 1 Capitole (UT1) (72)
    • Hintikka, Jaakko (66)
    • Retoré, Christian (65)
    • Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1) (64)
    • Laboratoire Bordelais de Recherche en Informatique (LaBRI) (62)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Print (6.439)
    • Online (2.730)
    • Microfilm (16)
    • Miscellaneous (1)
  • 
    Type:
    
    • Article (7.119)
    • Book (1.733)
    • Miscellaneous (289)
    • Website (26)
    • Journal (19)
  • 
    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 6...460 Hits 21 – 40 of 9.186 21 Risk Evaluation: Brief Review and Innovation Model Based on Fuzzy Logic and MCDM Stevan Djenadic; Milos Tanasijevic; Predrag Jovancic; Dragan Ignjatovic; Dejan Petrovic; Ugljesa Bugaric In: Mathematics; Volume 10; Issue 5; Pages: 811 (2022) BASE Show details 22 An Improved Binomial Distribution-Based Trust Management Algorithm for Remote Patient Monitoring in WBANs Sunny Singh; Muskaan Chawla; Devendra Prasad; Divya Anand; Abdullah Alharbi; Wael Alosaimi In: Sustainability; Volume 14; Issue 4; Pages: 2141 (2022) BASE Show details 23 Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) ... Boker, Udi. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022 BASE Show details 24 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 25 Formalization of AMR Inference via Hybrid Logic Tableaux ... Goldner, Eli Tecumseh. - : Brandeis University, 2022 BASE Show details 26 Misunderstanding, misperception and mistakes : the logic of the Grail in Old French Arthurian romance and Thomas Malory’s Tale of the Sankgreal Baldon, Martha. - 2022 BASE Show details 27 From subjective to the absolute: Dialectical Logic as a conductor of the spirit in Hegel ; Do subjetivo ao absoluto: a lógica-dialética enquanto condutora do espírito em Hegel Salles Jung, João Henrique In: Aufklärung; Vol. 9 No. esp (2022): Philosophy of Religion by Hegel and Feuerbach; p.83-94 ; Aufklärung: revista de filosofia; v. 9 n. esp (2022): Filosofia da Religião em Hegel e Feuerbach; p.83-94 ; 2318-9428 (2022) BASE Show details 28 Imperfecta Ratio: posible conflicts on Hegel’s logic on his lecture of Genesis 3 ; Imperfecta Ratio: possíveis conflitos lógico-hegelianos na leitura de Gênesis 3 Carpes, Ataliba In: Aufklärung; Vol. 9 No. esp (2022): Philosophy of Religion by Hegel and Feuerbach; p.55-68 ; Aufklärung: revista de filosofia; v. 9 n. esp (2022): Filosofia da Religião em Hegel e Feuerbach; p.55-68 ; 2318-9428 (2022) BASE Show details 29 A Model Theoretic Perspective on Phonological Feature Systems Nelson, Scott In: Proceedings of the Society for Computation in Linguistics (2022) BASE Show details 30 Inferring Inferences: Relational Propositions for Argument Mining Potter, Andrew In: Proceedings of the Society for Computation in Linguistics (2022) BASE Show details 31 Properties and propositions : the metaphysics of higher-order logic Trueman, Robert. - Cambridge, United Kingdom : Cambridge University Press, 2021 BLLDB UB Frankfurt Linguistik Show details 32 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 33 Retour à l'analyse logique Delbart, Anne-Rosine (Verfasser eines Vorworts); Wilmet, Marc. - Paris : Classiques Garnier, 2021 BLLDB UB Frankfurt Linguistik Show details 34 A logical model for the ontology alignment repair game van den Berg, Line; Atencia, Manuel; Euzenat, Jérôme In: ISSN: 1387-2532 ; EISSN: 1573-7454 ; Autonomous Agents and Multi-Agent Systems ; https://hal.archives-ouvertes.fr/hal-03426142 ; Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2021, 35 (2), pp.1-32. ⟨10.1007/s10458-021-09508-8⟩ (2021) BASE Show details 35 Grounding, Quantifiers, and Paradoxes Genco, Francesco,; Poggiolesi, Francesca; Rossi, Lorenzo In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021) BASE Show details 36 Representation of Explanations of Possibilistic Inference Decisions BAAJ, Ismaïl; Poli, Jean-Philippe; Ouerdane, Wassila... In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty ; ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty ; https://hal-cea.archives-ouvertes.fr/cea-03406884 ; ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty, Sep 2021, Prague, Czech Republic. pp.513-527, ⟨10.1007/978-3-030-86772-0_37⟩ (2021) BASE Show details 37 Demo Paper: Coqlex, an approach to generate verified lexers Ouedraogo, Wendlasida; Ilik, Danko; Straßburger, Lutz In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021) BASE Show details 38 Superposition for Lambda-Free Higher-Order Logic Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon... In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩ (2021) BASE Show details 39 Multiplicative Linear Logic from Logic Programs and Tilings Eng, Boris; Seiller, Thomas In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021) BASE Show details 40 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details Page: 1 2 3 4 5 6...460

Mobile view All Catalogues UB Frankfurt Linguistik 1.165 IDS Mannheim 73 OLC Linguistik 466 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 16 Leibniz-Centre General Linguistics (ZAS) 28 Bibliographies BLLDB 6.241 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 23 MPI for Psycholinguistics 128 Linked Open Data catalogues Annohub 0 Online resources Link directory 26 Journal directory 0 Database directory 2 Dictionary directory 0 Open access documents BASE 2.534 Linguistik-Repository 6 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0