Page: 1 2 3 4 5 6 7 8... 16
| 61 |
Analyzing and Visualizing Translation Patterns of Wikidata Properties
|
|
|
|
In: Conference and Labs of the Evaluation Forum (CLEF) ; https://hal.archives-ouvertes.fr/hal-02273684 ; Conference and Labs of the Evaluation Forum (CLEF), Sep 2018, Avignon, France. pp.128-134, ⟨10.1007/978-3-319-98932-7_12⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 62 |
New Progress in Continuation-Based Dynamic Logic
|
|
|
|
In: LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-01939664 ; LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden ; http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 63 |
Software Tool Support for Modular Reasoning in Modal Logics of Actions
|
|
|
|
In: 9th International Conference on Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-01836507 ; 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
|
| 64 |
Game of Grounds
|
|
|
|
In: PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves" ; https://hal.archives-ouvertes.fr/hal-01804445 ; PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves", May 2018, Montpellier, France (2018)
|
|
BASE
|
|
Show details
|
|
|
| 65 |
Grounds in Ludics
|
|
|
|
In: FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics” ; https://hal.archives-ouvertes.fr/hal-01804443 ; FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics”, May 2018, Mussomeli, Italy (2018)
|
|
BASE
|
|
Show details
|
|
|
| 66 |
Introduction: inferences and proofs
|
|
|
|
In: ISSN: 0167-7411 ; EISSN: 1572-8749 ; Topoi ; https://hal.archives-ouvertes.fr/hal-01761751 ; Topoi, Springer Verlag, 2018 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 67 |
Breton-français et numérique, projet LangNum-br-fr (phase conception)
|
|
|
|
In: Conférence Langues et numérique 2018 ; https://hal.inria.fr/hal-01959451 ; Conférence Langues et numérique 2018, Jul 2018, Paris, France (2018)
|
|
BASE
|
|
Show details
|
|
|
| 68 |
A partial calculus for Dag Prawitz's theory of grounds and a decidability issue
|
|
|
|
In: Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities ; https://hal.archives-ouvertes.fr/hal-01757823 ; Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities, 2018, 978-3-319-72577-2 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 69 |
Investigating Argument Relatedness by Means of Frames
|
|
|
|
In: 16th ARGDIAP (Argumentation, Dialogue, Perssuiasion) conference: “Argumentation and Corpus Linguistics” - ARGDIAP 2018 ; https://hal.archives-ouvertes.fr/hal-03033967 ; 16th ARGDIAP (Argumentation, Dialogue, Perssuiasion) conference: “Argumentation and Corpus Linguistics” - ARGDIAP 2018, ArgDiaP association, a Polish nationwide initiative, Sep 2018, Varsovie, Poland. pp.(electronic medium) ; http://waw2018.argdiap.pl/argdiap-conference/ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 70 |
Analyzing the Fundamental Liveness Property of the Chord Protocol
|
|
|
|
In: Formal Methods in Computer-Aided Design ; https://hal.archives-ouvertes.fr/hal-01862755 ; Formal Methods in Computer-Aided Design, Oct 2018, Austin, United States ; https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 71 |
An interpretation of system F through bar recursion
|
|
|
|
In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 ; https://hal.archives-ouvertes.fr/hal-01766883 ; 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005066⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 72 |
A Two-Level Approach to Generate Synthetic Argumentation Reports
|
|
|
|
In: 17th Workshop on Computational Models of Natural Argumentation (CMNA@ICAIL 2017) ; https://hal.archives-ouvertes.fr/hal-02603764 ; 17th Workshop on Computational Models of Natural Argumentation (CMNA@ICAIL 2017), Jun 2017, Londres, United Kingdom (2017)
|
|
BASE
|
|
Show details
|
|
|
| 73 |
Unsupervised relation extraction from scientific texts using self-organizing maps
|
|
|
|
In: Actes du 1er Atelier sur l' Extraction et la Modélisation de Connaissances à partir de textes scientifiques, plateforme PFIA 2017 ; 1er Atelier sur l' Extraction et la Modélisation de Connaissances à partir de textes scientifiques, associé à PFIA 2017 (EMC-Sci 2017) ; https://hal.archives-ouvertes.fr/hal-01913664 ; 1er Atelier sur l' Extraction et la Modélisation de Connaissances à partir de textes scientifiques, associé à PFIA 2017 (EMC-Sci 2017), Jul 2017, Caen, France. pp.25-32 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 74 |
A Distant Learning Approach for Extracting Hypernym Relations from Wikipedia Disambiguation Pages
|
|
|
|
In: Procedia Computer Science - Vol. 112 - 2017 ; 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017) ; https://hal.archives-ouvertes.fr/hal-01919073 ; 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017), Sep 2017, Marseille, France. pp.1764-1773 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 75 |
An outline of type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01802968 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 76 |
Special issue on type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01803758 ; France. Journal of Language Modelling, 5 (2 ), 2017 ; http://jlm.ipipan.waw.pl/index.php/JLM/issue/view/16 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 77 |
Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
|
|
|
|
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal.archives-ouvertes.fr/hal-01471256 ; Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 78 |
Linear logic as a logical framework
|
|
|
|
In: Proceedings of Structures and Deduction (SD) 2017 ; https://hal.archives-ouvertes.fr/hal-01615664 ; Proceedings of Structures and Deduction (SD) 2017, Sep 2017, Oxford, United Kingdom (2017)
|
|
BASE
|
|
Show details
|
|
|
| 79 |
Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques
|
|
|
|
In: Journées d'Intelligence Artificielle Fondamentale ; https://hal.sorbonne-universite.fr/hal-01564673 ; Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France (2017)
|
|
BASE
|
|
Show details
|
|
|
| 80 |
A Generic Framework for Symbolic Execution: a Coinductive Approach
|
|
|
|
In: ISSN: 0747-7171 ; EISSN: 1095-855X ; Journal of Symbolic Computation ; https://hal.inria.fr/hal-01238696 ; Journal of Symbolic Computation, Elsevier, 2017, 80, pp.125-163. ⟨10.1016/j.jsc.2016.07.012⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
Page: 1 2 3 4 5 6 7 8... 16 |
|
