DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 29

1
Inquiry, Refutations and the Inconsistent
In: https://hal.inria.fr/hal-01094783 ; 2014 (2014)
BASE
Show details
2
Synchronizing Relations on Words
In: 31st International Symposium on Theoretical Aspects of Computer Science (STACS) ; https://hal.archives-ouvertes.fr/hal-01793633 ; 31st International Symposium on Theoretical Aspects of Computer Science (STACS), May 2014, Lyon, France (2014)
BASE
Show details
3
Ambiguity of $\omega$-Languages of Turing Machines
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
BASE
Show details
4
Homogenous and heterogeneous logical proportions
In: ISSN: 0955-792X ; EISSN: 1465-363X ; Journal of Logic and Computation ; https://hal.archives-ouvertes.fr/hal-01154243 ; Journal of Logic and Computation, Oxford University Press (OUP), 2014, Vol. 1 (n° 1), pp. 1-52 (2014)
BASE
Show details
5
Splitting Arabic Texts into Elementary Discourse Units
In: ISSN: 1530-0226 ; ACM Transactions on Asian Language Information Processing ; https://hal.archives-ouvertes.fr/hal-01120621 ; ACM Transactions on Asian Language Information Processing, Association for Computing Machinery, 2014, vol. 13 (n° 2), pp. 1-23. ⟨10.1145/2601401⟩ (2014)
BASE
Show details
6
Senso Comune as a Knowledge Base of Italian language: The Resource and its Development
In: Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014 ; First Italian Conference on Computational Linguistics - CLiC-it 2014 ; https://hal.archives-ouvertes.fr/hal-01134621 ; First Italian Conference on Computational Linguistics - CLiC-it 2014, Dec 2014, Pisa, Italy. pp. 93-97 (2014)
BASE
Show details
7
Selectional Restrictions, Types and Categories
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal.archives-ouvertes.fr/hal-01123735 ; Journal of Applied Logic, Elsevier, 2014, vol. 12 (n° 1), pp. 75-87. ⟨10.1016/j.jal.2013.08.002⟩ (2014)
BASE
Show details
8
OntoEnrich: A Platform for the Lexical Analysis of Ontologies
In: Knowledge Engineering and Knowledge Management ; 19th International Conference on Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events (EKAW 2014) ; https://hal.archives-ouvertes.fr/hal-01363345 ; 19th International Conference on Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events (EKAW 2014), Nov 2014, Linköping, Sweden. pp. 172-176 (2014)
BASE
Show details
9
Extraction non supervisée de relations sémantiques lexicales
In: Actes de congrès Traitement Automatique des Langues Naturelles ; Traitement Automatique des Langues Naturelles - TALN 2014 ; https://hal.archives-ouvertes.fr/hal-01135821 ; Traitement Automatique des Langues Naturelles - TALN 2014, Jul 2014, Marseille, France. pp. 244-255 (2014)
BASE
Show details
10
Enriching the "Senso Comune" Platform with Automatically Acquired Data
In: Proceedings of The International Conference of Language Resources and Evaluation Conference ; Language Resources and Evaluation Conference - LREC 2014 ; https://hal.archives-ouvertes.fr/hal-01138072 ; Language Resources and Evaluation Conference - LREC 2014, May 2014, Reykjavik, Iceland. pp. 2130-2137 (2014)
BASE
Show details
11
Aligning an Italian WordNet with a lexicographic dictionary: Coping with limited data
In: Proceedings of The Seventh Global WordNet Conference ; Global WordNet Conference - GWC 2014 ; https://hal.archives-ouvertes.fr/hal-01140354 ; Global WordNet Conference - GWC 2014, Jan 2014, Tartu, Estonia. pp. 290-298 (2014)
BASE
Show details
12
Distributional analysis of copredication: towards distinguishing systematic polysemy from coercion
In: CLiC-it 2014 and EVALITA 2014 Proceedings ; First Italian Conference on Computational Linguistics (CLiC-it) ; https://hal.archives-ouvertes.fr/hal-01154483 ; First Italian Conference on Computational Linguistics (CLiC-it), Dec 2014, Pisa, Italy. pp. 219-223 (2014)
BASE
Show details
13
Détection automatique de la structure organisationnelle de documents à partir de marqueurs visuels et lexicaux
In: Actes de la Conférence Traitement Automatique des Langues Naturelles ; Traitement Automatique des Langues Naturelles - 2014 ; https://hal.archives-ouvertes.fr/hal-01144178 ; Traitement Automatique des Langues Naturelles - 2014, Jul 2014, Marseille, France. pp. 340-351 (2014)
BASE
Show details
14
From Natural Language to RDF Graphs with Pregroups
In: 14th Workshop on Type Theory and Natural Language Semantics ; TTNLS: Type Theory and Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00992381 ; TTNLS: Type Theory and Natural Language Semantics, Apr 2014, Gothenburg, Sweden. pp.55-62, ⟨10.3115/v1/W14-1407⟩ ; http://eacl2014.org (2014)
BASE
Show details
15
Enriching ‘Senso Comune’ with Semantic Role Sets
In: Proceedings of the International Conference on Intelligent Systems and Agents ; 10th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA 2014) in conjunction with LREC 2014 ; https://hal.archives-ouvertes.fr/hal-01644157 ; 10th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA 2014) in conjunction with LREC 2014, May 2014, Reykjavik, Iceland. pp. 88-94 (2014)
BASE
Show details
16
Deverbal semantics and the Montagovian generative lexicon ΛTyn
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.archives-ouvertes.fr/hal-01120689 ; Journal of Logic, Language and Information, Springer Verlag, 2014, 23 (3), pp.347-366. ⟨10.1007/s10849-014-9187-y⟩ (2014)
BASE
Show details
17
Kleene Algebra with Converse
In: RAMiCS ; https://hal.archives-ouvertes.fr/hal-00938235 ; RAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. pp.101-118 (2014)
BASE
Show details
18
Formal verification in Coq of program properties involving the global state effect
In: JFLA 2014 - Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-00869230 ; JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17 (2014)
BASE
Show details
19
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
20
Aspecto-Temporal Meanings Analysed by Combinatory Logic
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.univ-brest.fr/hal-01119940 ; Journal of Logic, Language and Information, Springer Verlag, 2014, 23 (3), pp.253-274 ; http://link.springer.com/article/10.1007/s10849-014-9189-9 (2014)
BASE
Show details

Page: 1 2

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
29
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern