1 |
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
|
|
3 |
Dynamic Separation Logic and its Use in Education ... : Динамическая логика разделений и ее использование в образовании ...
|
|
Makarov, E.M.. - : Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала "Лига интернет-медиа", 2020
|
|
BASE
|
|
Show details
|
|
4 |
Fifteen Case Studies on Types of Linguistic Modalities ; Quinze études de cas sur les modalités linguistiques
|
|
|
|
In: ISSN: 2262-5992 ; Epilogos ; https://hal-normandie-univ.archives-ouvertes.fr/hal-02458401 ; Catherine Filippi-Deswelle (dir.). Rouen, France. Epilogos, 310 p., 2019, Epilogos 6, 978-2-919501-07-6 ; http://eriac.univ-rouen.fr/category/publications/publications-electroniques/epilogos/quinze-etudes-de-cas-sur-les-modalites-linguistiques/ (2019)
|
|
BASE
|
|
Show details
|
|
6 |
Determiners and dynamic generalised quantifiers ; Déterminants et quantificateurs généralisés dynamiques
|
|
|
|
In: TALN 2017 - Traitement Automatique des Langues Naturelles ; https://hal.archives-ouvertes.fr/hal-01651749 ; TALN 2017 - Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93 (2017)
|
|
BASE
|
|
Show details
|
|
7 |
Independence Friendly Dynamic Semantics: Integrating Exceptional Scope, Anaphora and their Interactions
|
|
|
|
In: DeVries, Karl. (2016). Independence Friendly Dynamic Semantics: Integrating Exceptional Scope, Anaphora and their Interactions. UC Santa Cruz: Linguistics. Retrieved from: http://www.escholarship.org/uc/item/3qx1k4kc (2016)
|
|
BASE
|
|
Show details
|
|
9 |
Using formal logic to represent sign language phonetics in semi-automatic annotation tasks
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01334041 ; Document and Text Processing. Université Paul Sabatier - Toulouse III, 2015. English. ⟨NNT : 2015TOU30308⟩ (2015)
|
|
BASE
|
|
Show details
|
|
13 |
Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic
|
|
|
|
In: Workshop Proceedings - 6th Workshop on the Representation and Processing of Sign Languages: Beyond the Manual Channel ; The 9th edition of the Language Resources and Evaluation Conference - LREC 2014 ; https://hal.archives-ouvertes.fr/hal-01135588 ; The 9th edition of the Language Resources and Evaluation Conference - LREC 2014, May 2014, Reykjavik, Iceland. pp. 29-36 (2014)
|
|
BASE
|
|
Show details
|
|
14 |
Belief merging in Dynamic Logic of Propositional Assignments
|
|
|
|
In: International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014 ; https://hal.archives-ouvertes.fr/hal-01146747 ; International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 (2014)
|
|
BASE
|
|
Show details
|
|
15 |
Accessibility of Referents in Discourse Semantics ; Accessibilité des référents en sémantique du discours
|
|
|
|
In: https://hal.inria.fr/tel-01750993 ; Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩ (2014)
|
|
BASE
|
|
Show details
|
|
16 |
Accessibilité des référents en sémantique du discours ; Accessibility of Referents in Discourse Semantics
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Dependent indefinites and their post-suppositions
|
|
|
|
In: Semantics and Pragmatics, Vol 7, Iss 0, Pp 1-58 (2014) (2014)
|
|
BASE
|
|
Show details
|
|
19 |
Sign language lexical recognition with Propositional Dynamic Logic
|
|
|
|
In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics conference ; 51st Annual Meeting of the Association for Computational Linguistics (ACL) ; https://hal.archives-ouvertes.fr/hal-01193094 ; 51st Annual Meeting of the Association for Computational Linguistics (ACL), Aug 2013, Sofia, Bulgaria. pp. 328-333 (2013)
|
|
BASE
|
|
Show details
|
|
20 |
The Dynamics of Sense and Implicature
|
|
|
|
In: http://rave.ohiolink.edu/etdc/view?acc_num=osu1377010890 (2013)
|
|
BASE
|
|
Show details
|
|
|
|