• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (455)
    • Print (1)
  • 
    Type
  • 
    BLLDB-Access:
    • free (456)
    • subject to license (0)

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...23 Hits 1 – 20 of 456 1 Apodictic discourse and the Cauchy-Bunyakovsky-Schwarz inequality ; Discours apodictique et inégalité de Cauchy-Bunyakovsky-Schwarz Kichenassamy, Satyanad In: ISSN: 0970-0307 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics ; https://hal.archives-ouvertes.fr/hal-03643571 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics, Prints Publications Pvt., In press (2022) BASE Show details 2 Towards an international lexicon Mesiti, Carmel; Artigue, Michèle; Grau, Valeska... In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03625972 ; ZDM, Springer Verlag, 2022, ⟨10.1007/s11858-022-01349-3⟩ (2022) BASE Show details 3 Hitchcock, F. L., 1941, The Distribution of a Product from Several Sources to Numerous Localities. Version bilingue et commentée Hitchcock, Frank,; Beauguitte, Laurent; Beauguitte, Pierre In: https://hal.archives-ouvertes.fr/hal-03565874 ; 2022 (2022) BASE Show details 4 The contextual logic Kohler, Arnaud In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022) Abstract: The propositional logic Lp is the smallest syntax that formalizes Aristotle's three principles. It is commonly accepted that it is insufficient to capture human reasoning. Many formalisms have been proposed to extend the modeling capabilities of formal languages. The most common approach is to extend or to impoverish the syntax of Lp. We propose, with the contextual logic Lc, to take a different path. It consists in automatically integrating into the set of atomic propositions of the language silent propositions, which we call thoughts. By identifying the formulae, they bring to the formalism a reflexive reasoning capacity. We use it to define a semantic interpretation function of models, which captures the notions of inconsistency and predicate. The contribution of Lc to the family of non-classical formalisms is that it models fallibilistic reasoning (an intelligent agent has no certainty and believes what seems justifiable to him) and perspectivist reasoning (his beliefs are obtained by summing up the beliefs he has from several disjoint perspectives). We illustrate the behavioral properties of the contextual logic by developing at length an example of application. It allows us to present how to use it in the framework of Symbolic Artificial Intelligence. ; La logique propositionnelle Lp est la plus petite syntaxe qui formalise les trois principes d'Aristote. Il est communément admis qu'elle est insuffisante pour capturer le raisonnement humain. De nombreux formalismes ont été proposés pour étendre les capacités de modélisation des langages formels. L’approche la plus souvent étudiée consiste à étendre ou à appauvrir la syntaxe de Lp. Nous proposons, avec la logique contextuelle Lc, d'emprunter une voie différente. Elle consiste à intégrer automatiquement dans l'ensemble des propositions atomiques du langage des propositions silencieuses, que nous appelons des pensées. En identifiant les formules, elles apportent au formalisme une capacité de raisonnement réflexif. Nous l'utilisons pour définir une fonction d’interprétation sémantique sur les modèles, qui capture les notions d'inconsistance et de prédicat. L’apport de Lc à la famille des formalismes non-classiques est qu'elle modélise le raisonnement faillibiliste (un agent intelligent n'a aucune certitude et croit ce qui lui semble justifiable) et le raisonnement perspectiviste (ses croyances sont obtenues en additionnant les croyances qu'il a de plusieurs perspectives disjointes). Nous illustrons les propriétés comportementales de la logique contextuelle en développant longuement un exemple d'application. Il nous permet de présenter comment l'utiliser dans le cadre de l'Intelligence Artificielle Symbolique. Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [SCCO.COMP]Cognitive science/Computer science; [SHS.PHIL]Humanities and Social Sciences/Philosophy URL: https://hal.archives-ouvertes.fr/hal-03195162 https://hal.archives-ouvertes.fr/hal-03195162v4/document https://hal.archives-ouvertes.fr/hal-03195162v4/file/The%20contextual%20logic.pdf BASE Hide details 5 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 6 Evolution and trade-off dynamics of functional load Round, Erich; Dockum, Rikker; Ryder, Robin In: ISSN: 1099-4300 ; Entropy ; https://hal.archives-ouvertes.fr/hal-03630585 ; Entropy, MDPI, 2022, ⟨10.3390/e24040507⟩ (2022) BASE Show details 7 Usages du Dictionnaire Électronique des Synonymes (DES) du CRISCO : focus sur les mots inexistants Chardon, Laurette In: ISSN: 2607-0987 ; Le carnet de la MRSH ; https://halshs.archives-ouvertes.fr/halshs-03606075 ; 2022 (2022) BASE Show details 8 Dialogical Logic Mcconaughey, Zoe; Clerbout, Nicolas In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022) BASE Show details 9 Game of Grounds Piccolomini d'Aragona, Antonio; Catta, Davide; d’Aragona, Antonio Piccolomini In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022) BASE Show details 10 Logiciel de calculs statistiques pour des données linguistiques Demagny, Annie-Claude; INANE, Ahmed Mehdi In: https://hal.archives-ouvertes.fr/hal-03631733 ; 2022, ⟨swh:1:dir:f3daa115d74f59485bc7249c1ab40dcb5f4af412;origin=https://hal.archives-ouvertes.fr/hal-03631733;visit=swh:1:snp:913acafcd2699ecc9ef1f05543532e454b11b328;anchor=swh:1:rel:d520c0e78ee4276ff8af500da81d99f8f5e4a301;path=/⟩ (2022) BASE Show details 11 Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds Piccolomini d'Aragona, Antonio; d’Aragona, Antonio Piccolomini In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022) BASE Show details 12 Semiotic analysis of the scientific measurement of a quantity ; Analyse sémiotique de la mesure scientifique d'une grandeur Herreman, Alain In: La Sémiotique et ses horizons ; https://hal.archives-ouvertes.fr/hal-03556362 ; La Sémiotique et ses horizons, 2022 (2022) BASE Show details 13 Plurilinguisme et enseignement des mathématiques ; Plurilinguisme et enseignement des mathématiques: Mise en perspectives des Journées Plurimaths 2020 Hache, Christophe; Mendonça Dias, Catherine. - : HAL CCSD, 2022. : Éditions Lambert-Lucas, 2022 In: https://hal.archives-ouvertes.fr/hal-03553842 ; Éditions Lambert-Lucas, 2022 (2022) BASE Show details 14 A novel source-filter stochastic model for voice production Cataldo, Edson; Monteiro, L.; Soize, Christian In: ISSN: 0892-1997 ; Journal of Voice ; https://hal-upec-upem.archives-ouvertes.fr/hal-03179837 ; Journal of Voice, Elsevier, 2021, In Press, pp.1-11. ⟨10.1016/j.jvoice.2020.11.015⟩ (2021) BASE Show details 15 Designing meta-resources for mathematics teachers in the context of curriculum reforms: the case of digital technology use and student autonomy in France Gueudet, Ghislaine; Pepin, Birgit; Lebaud, Marie-Pierre In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03378201 ; ZDM, Springer Verlag, 2021, ⟨10.1007/s11858-021-01299-2⟩ (2021) BASE Show details 16 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 17 Argumentation of Prospective Mathematics Teachers in Fraction Tasks Mediated by an Online Assessment System With Automatic Feedback Gaona, Jorge; Menares, Romina In: Eurasia Journal of Mathematics, Science and Technology Education ; https://hal.archives-ouvertes.fr/hal-03538861 ; Eurasia Journal of Mathematics, Science and Technology Education, 2021, 17 (12), pp.em2055. ⟨10.29333/ejmste/11425⟩ (2021) BASE Show details 18 A precise bare simulation approach to the minimization of some distances. Foundations Broniatowski, Michel; Stummer, Wolfgang In: https://hal.archives-ouvertes.fr/hal-03278232 ; 2021 (2021) BASE Show details 19 Constrained control of gene-flow models Mazari, Idriss; Ruiz-Balet, Domènec; Zuazua, Enrique In: https://hal.archives-ouvertes.fr/hal-02373668 ; 2021 (2021) BASE Show details 20 Abundance of rational points ; Abondance de points rationnels Demeio, Julian Lawrence. - : HAL CCSD, 2021 In: https://tel.archives-ouvertes.fr/tel-03514052 ; Algebraic Geometry [math.AG]. Université Paris-Saclay; Scuola normale superiore (Pise, Italie), 2021. English. ⟨NNT : 2021UPASM049⟩ (2021) BASE Show details Page: 1 2 3 4 5...23

Mobile view All Catalogues UB Frankfurt Linguistik 0 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 1 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 455 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0