Page: 1 2 3 4 5 6 7 8 9... 16
| 81 |
Le coquillage dans le CoLiS-mateur ; : Formalizing a shell-like programming language ; Le coquillage dans le CoLiS-mateur: Formalisation d'un langage de programmation de type shell
|
|
|
|
In: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-01432034 ; JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France (2017)
|
|
BASE
|
|
Show details
|
|
|
| 82 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 83 |
From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803717 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
|
| 84 |
Collaborative Approach to Developing a Multilingual Ontology: A Case Study of Wikidata
|
|
|
|
In: Metadata and Semantic Research (MTSR) ; https://hal.archives-ouvertes.fr/hal-02273689 ; Metadata and Semantic Research (MTSR), Nov 2017, Tallinn, Estonia. pp.167-172, ⟨10.1007/978-3-319-70863-8_16⟩ ; http://www.mtsr-conf.org/2017/archived/index.html (2017)
|
|
BASE
|
|
Show details
|
|
|
| 85 |
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
|
| 86 |
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
|
|
|
| 87 |
Even Dag Prawitz turned to grounds. But why?
|
|
|
|
In: Ninth European Conference of Analytic Philosophy ; https://hal.archives-ouvertes.fr/hal-01662555 ; Ninth European Conference of Analytic Philosophy, Université de Munich, Aug 2017, Munich, Germany (2017)
|
|
BASE
|
|
Show details
|
|
|
| 88 |
Generalized Quantifiers and Dynamicity — preliminary results —
|
|
|
|
In: QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017 ; https://hal.archives-ouvertes.fr/hal-01651668 ; QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France (2017)
|
|
BASE
|
|
Show details
|
|
|
| 89 |
Extraction de relations d'hyperonymie à partir de Wikipédia
|
|
|
|
In: Actes de la conférence conjointe JEP-TALN-RECITAL 2016 : volume3 RECITAL ; 18èmes Rencontres des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, partie de la conférence conjointe JEP-TALN-RECITAL 2016 ; https://hal.archives-ouvertes.fr/hal-01873749 ; 18èmes Rencontres des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, partie de la conférence conjointe JEP-TALN-RECITAL 2016, Jul 2016, Paris, France. pp. 40-51 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 90 |
Error typology and remediation strategies for requirements written in English by non-native speakers
|
|
|
|
In: Proceedings of the 10th International Conference on Language Resources and Evaluation ; 10th International Conference on Language Resources and Evaluation (LREC 2016) ; https://hal.archives-ouvertes.fr/hal-01445142 ; 10th International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Porotroz, Slovenia. pp. 190-197 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 91 |
Improving the Use of English in Requirements
|
|
|
|
In: Requirements Engineering Magazine ; https://hal.archives-ouvertes.fr/hal-01446902 ; Requirements Engineering Magazine, 2016, vol. 6 (n° 3), pp. 1-14 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 92 |
Argument Mining: The bottleneck of knowledge and language resources
|
|
|
|
In: Proceedings of the 10th International Conference on Language Resources and Evaluation ; 10th International Conference on Language Resources and Evaluation (LREC 2016) ; https://hal.archives-ouvertes.fr/hal-01436203 ; 10th International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Portoroz, Slovenia. pp. 983-990 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 93 |
Challenges of argument mining: generating an argument synthesis based on the Qualia structure
|
|
|
|
In: Proceedings of the 9th International Natural Language Generation conference ; 9th International Conference on Natural Language Generation (INLG 2016) ; https://hal.archives-ouvertes.fr/hal-01436199 ; 9th International Conference on Natural Language Generation (INLG 2016), Sep 2016, Edinburgh, United Kingdom. pp. 79-83 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 94 |
LELIO: an auto-adaptative system to acquire domain lexical knowledge in technical texts
|
|
|
|
In: Proceedings of the 10th International Conference on Language Resources and Evaluation ; 10th International Conference on Language Resources and Evaluation (LREC 2016) ; https://hal.archives-ouvertes.fr/hal-01445141 ; 10th International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Portoroz, Slovenia. pp. 1339-1345 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 95 |
A Supervised Approach for Enriching the Relational Structure of Frame Semantics in FrameNet
|
|
|
|
In: Proceedings of COLING 2016 ; 26th International Conference on Computational Linguistics (COLING 2016) ; https://hal.archives-ouvertes.fr/hal-01709130 ; 26th International Conference on Computational Linguistics (COLING 2016), Dec 2016, Osaka, Japan. pp. 3542-3552 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 96 |
Simple K-star Categorial Dependency Grammars and their Inference
|
|
|
|
In: The 13th International Conference on Grammatical Inference (ICGI) ; https://hal.archives-ouvertes.fr/hal-01363393 ; The 13th International Conference on Grammatical Inference (ICGI), Oct 2016, Delft, Netherlands ; http://icgi2016.tudelft.nl/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 97 |
A formal exploration of Nominal Kleene Algebra
|
|
|
|
In: MFCS ; https://hal.archives-ouvertes.fr/hal-01307532 ; MFCS, Aug 2016, Cracovie, Poland. ⟨10.4230/LIPIcs.MFCS.2016.22⟩ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 98 |
Relational Grounded Language Learning
|
|
|
|
In: ECAI: European Conference on Artificial Intelligence ; https://hal.archives-ouvertes.fr/hal-01386945 ; ECAI: European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.1764-1765 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 99 |
Focused and Synthetic Nested Sequents (Extended Technical Report)
|
|
|
|
In: https://hal.inria.fr/hal-01251722 ; [Research Report] Inria. 2016 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 100 |
First-order definability of rational transductions: An algebraic approach
|
|
|
|
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) ; 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) ; https://hal.archives-ouvertes.fr/hal-01308509 ; 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.387--396, ⟨10.1145/2933575.2934520⟩ ; http://lics.rwth-aachen.de/lics16/ (2016)
|
|
BASE
|
|
Show details
|
|
|
Page: 1 2 3 4 5 6 7 8 9... 16 |
|
