• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (12)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (4)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (4)
    • [INFO.INFO-IR]Computer Science [cs] / Information Retrieval [cs.IR] (3)
    • [INFO.INFO-TT]Computer Science [cs] / Document and Text Processing (3)
    • [SCCO.LING]Cognitive science / Linguistics (3)
    • ACM: F.: Theory of Computation / F.3: LOGICS AND MEANINGS OF PROGRAMS / F.3.1: Specifying and Verifying and Reasoning about Programs (2)
    • [INFO.EIAH]Computer Science [cs] / Technology for Human Learning (2)
    • [INFO.INFO-LG]Computer Science [cs] / Machine Learning [cs.LG] (2)
    • ACM: F.: Theory of Computation / F.3: LOGICS AND MEANINGS OF PROGRAMS / F.3.1: Specifying and Verifying and Reasoning about Programs / F.3.1.3: Mechanical verification (1)
    •   more
  • 
    Creator / Publisher:
    
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT) (3)
    • Foret, Annie (2)
    • GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) (2)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (2)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (2)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (2)
    • Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1) (2)
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (2)
    • Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) (2)
    • Semantics, Logics, Information Systems for Data-User Interaction ( SemLIS) (2)
    •   more
  • 
    Year:
    
    • 2019 (12)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' 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) BASE Show 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

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 12 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0