DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...46
Hits 1 – 20 of 913

1
Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming
In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022)
BASE
Show details
2
The contextual logic
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
BASE
Show details
3
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
BASE
Show details
4
Game of Grounds
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
5
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
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
6
Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks ...
BASE
Show details
7
On Reinforcement Learning, Effect Handlers, and the State Monad ...
BASE
Show details
8
Formal Metatheory of Second-Order Abstract Syntax ...
BASE
Show details
9
A logical model for the ontology alignment repair game
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
10
Representation of Explanations of Possibilistic Inference Decisions
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
11
Demo Paper: Coqlex, an approach to generate verified lexers
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
12
Superposition for Lambda-Free Higher-Order Logic
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
13
Multiplicative Linear Logic from Logic Programs and Tilings
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
BASE
Show details
14
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
15
Verification of Program Transformations with Inductive Refinement Types
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
BASE
Show details
16
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
17
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
18
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
19
Parametric updates in parametric timed automata
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021)
BASE
Show details
20
Modelling predicates in propositional syntax ; Modélisation de prédicats dans la syntaxe propositionnelle
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2021 (2021)
BASE
Show details

Page: 1 2 3 4 5...46

Catalogues
0
0
0
0
0
0
1
Bibliographies
1
0
0
0
0
0
0
0
4
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
907
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern