Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Hits 1 – 12 of 12

1	A Semantic Characterization for ASP Base Revision
	Garcia, Laurent; Lefèvre, Claire; Stéphan, Igor...
	In: ISSN: 1076-9757 ; Journal of Artificial Intelligence Research ; https://hal-amu.archives-ouvertes.fr/hal-02392942 ; Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 66, pp.989 - 1029 (2019)
	BASE
	Show details

2	A computational account of virtual travelers in the Montagovian generative lexicon
	Lefeuvre-Halftermeyer, Anaïs; Moot, Richard; Retoré, Christian
	In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019)
	BASE
	Show details

3	Towards Higher-Order Abstract Syntax in Cedille (Work in Progress)
	Stump, Aaron
	In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152417 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada (2019)
	BASE
	Show details

4	Mechanized metatheory revisited
	Miller, Dale
	In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019)
	BASE
	Show details

5	Decidable XPath Fragments in the Real World
	Baelde, David; Lick, Anthony; Schmitz, Sylvain
	In: 38th ACM Symposium on Principles of Database Systems (PODS'19) ; https://hal.inria.fr/hal-01852475 ; 38th ACM Symposium on Principles of Database Systems (PODS'19), 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩ (2019)
	BASE
	Show details

6	Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire
	Haralambous, Yannis
	In: ISSN: 1142-2785 ; EISSN: 1760-4826 ; Quadrature ; https://hal.archives-ouvertes.fr/hal-02009937 ; Quadrature, EDP Sciences, 2019, 113, pp.22--34 ; https://www.quadrature.info/produit/numero-113/ (2019)
	BASE
	Show details

7	Boolean Algebras from Trace Automata
	Mansard, Alexandre
	In: Leibniz International Proceedings in Informatics (LIPIcs) ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) ; https://hal.univ-reunion.fr/hal-03009734 ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, India. pp.48:1-48:15, ⟨10.4230/LIPIcs.FSTTCS.2019.48⟩ (2019)
	BASE
	Show details

8	Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz
	Piccolomini d'Aragona, Antonio. - : HAL CCSD, 2019
	In: https://hal.archives-ouvertes.fr/tel-02482320 ; Logic [math.LO]. Aix-Marseille Université (AMU); Sapienza University of Rome, 2019. English (2019)
	BASE
	Show details

9	ISNLP on AI for Education - Exploratory action 2019 : Exploratory experiments combining Information Systems and Natural Language Processing
	Foret, Annie
	In: Cominlabs days ; https://hal.inria.fr/hal-02462991 ; Cominlabs days, Nov 2019, Rennes, France (2019)
	BASE
	Show details

10	On Categorial Grammatical Inference and Logical Information Systems
	Foret, Annie; Béchet, Denis
	In: Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing, Volume 860 ; https://hal.inria.fr/hal-02462675 ; Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing, Volume 860, pp.125-153, 2019, ⟨10.1007/978-3-030-30077-7_6⟩ (2019)
	Abstract: International audience ; In this chapter, learning is viewed as a symbolic issue in an unsupervised setting,from raw or from structured data, for some variants of Lambek grammars and of categorial dependency grammars. For these frameworks, the authors present different type connectives and structures, some limitations, and some algorithms. On the experimental side, categorial grammar has potentials as a particular case of Logical Information System.
	Keyword: [INFO.EIAH]Computer Science [cs]/Technology for Human Learning; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]; [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing; [SCCO.LING]Cognitive science/Linguistics
	URL: https://hal.inria.fr/hal-02462675 https://doi.org/10.1007/978-3-030-30077-7_6
	BASE
	Hide details

11	Conceptual analysis of an argumentation: using argumentation schemes and the Toulmin model
	Garnier, Marie; Saint Dizier, Patrick
	In: 3rd European Conference on Argumentation - ECA 2019 ; https://hal.archives-ouvertes.fr/hal-03012575 ; 3rd European Conference on Argumentation - ECA 2019, Jun 2019, Groningen, Netherlands. pp.(electronic medium) ; http://ecargument.org/ (2019)
	BASE
	Show details

12	Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs
	Gerard, Ulysse. - : HAL CCSD, 2019
	In: https://hal.archives-ouvertes.fr/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩ (2019)
	BASE
	Show details

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern