Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5...16

Hits 1 – 20 of 306

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	The contextual logic
	Kohler, Arnaud
	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
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
	BASE
	Show details

4	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

5	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

6	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

7	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

8	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

9	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

10	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

11	Verification of Program Transformations with Inductive Refinement Types
	Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,...
	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

12	Stellar Resolution: Multiplicatives - for the linear logician, through examples
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

13	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

14	Stellar Resolution: Multiplicatives - for the linear logician, through examples
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

15	Parametric updates in parametric timed automata
	André, Étienne; Lime, Didier; Ramparison, Mathias
	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

16	Modelling predicates in propositional syntax ; Modélisation de prédicats dans la syntaxe propositionnelle
	Kohler, Arnaud
	In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2021 (2021)
	BASE
	Show details

17	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

18	WDProp: Web Application to Analyse Multilingual Aspects of Wikidata Properties
	Samuel, John
	In: OpenSym 2021: 17th International Symposium on Open Collaboration ; https://hal.archives-ouvertes.fr/hal-03621622 ; OpenSym 2021: 17th International Symposium on Open Collaboration, Sep 2021, Online, Spain. pp.1-12, ⟨10.1145/3479986.3479996⟩ (2021)
	Abstract: International audience ; Compared to Wikipedia, Wikidata is a single domain website with the possibility to view the information in multiple languages. Translation plays a significant role in Wikidata. Unlike Wikidata items, Wikidata properties are influenced less by translation bots and require a meaningful amount of human effort. The study of Wikidata property creation and translation is, therefore, very essential. Since the inception of Wikipedia, several research works have focused on the information flow among different language Wikipedias. The attention has now shifted to the way information on Wikidata is created and translated. The focus of this article is the Wikidata properties. WDProp is a web application created to understand and obtain an integrated view on the various multilingual aspects of Wikidata properties, from their proposition to their use on multiple domains. CCS Concepts: Software and its engineering → Software libraries and repositories; Information systems → Collaborative and social computing systems and tools; Open source software; Data mining.
	Keyword: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-WB]Computer Science [cs]/Web; Collaboration; Multilingual Development; Wikidata; Wikidata Properties
	URL: https://doi.org/10.1145/3479986.3479996 https://hal.archives-ouvertes.fr/hal-03621622 https://hal.archives-ouvertes.fr/hal-03621622/document https://hal.archives-ouvertes.fr/hal-03621622/file/main.pdf
	BASE
	Hide details

19	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

20	Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
	Piccolomini d'Aragona, Antonio
	In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03319247 ; Journal of Philosophical Logic, Springer Verlag, 2021, ⟨10.1007/s10992-021-09621-9⟩ (2021)
	BASE
	Show details

Page: 1 2 3 4 5...16

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern