1 |
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
|
|
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
|
|
BASE
|
|
Show details
|
|
2 |
The Rhetorical Structure of Modus Tollens: An Exploration in Logic-Mining
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2020)
|
|
BASE
|
|
Show details
|
|
13 |
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
|
|
14 |
System description: The Tableau workbench
|
|
|
|
In: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) ; http://dx.doi.org/10.1016/j.entcs.2009.02.025 (2015)
|
|
BASE
|
|
Show details
|
|
19 |
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
|
|
|
|