1 |
Superposition for Lambda-Free Higher-Order Logic
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Parametric updates in parametric timed automata
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories
|
|
|
|
In: 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021 ; https://hal.archives-ouvertes.fr/hal-03468606 ; 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021, Jul 2021, Virtual, Netherlands (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Covariant Subtyping Applied to Semantic Predicate Calculi
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
6 |
An inquisitive account of wh-questions through event semantics
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03541222 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Lexical selection, coercion, and record types
|
|
|
|
In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020)
|
|
BASE
|
|
Show details
|
|
8 |
Superposition for Lambda-Free Higher-Order Logic
|
|
|
|
In: IJCAR 2018 - 9th International Joint Conference on Automated Reasoning ; https://hal.inria.fr/hal-01904595 ; IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Non-size increasing Graph Rewriting for Natural Language Processing
|
|
|
|
In: ISSN: 0960-1295 ; EISSN: 1469-8072 ; Mathematical Structures in Computer Science ; https://hal.inria.fr/hal-00921038 ; Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (08), pp.1451 - 1484. ⟨10.1017/S0960129518000178⟩ (2018)
|
|
BASE
|
|
Show details
|
|
10 |
New Progress in Continuation-Based Dynamic Logic
|
|
|
|
In: LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-01939664 ; LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden ; http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428 (2018)
|
|
BASE
|
|
Show details
|
|
11 |
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
|
|
12 |
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
|
|
13 |
Abstract Categorial Parsing as Linear Logic Programming
|
|
|
|
In: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015) ; https://hal.archives-ouvertes.fr/hal-01188632 ; Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25 (2015)
|
|
BASE
|
|
Show details
|
|
14 |
Inquiry, Refutations and the Inconsistent
|
|
|
|
In: https://hal.inria.fr/hal-01094783 ; 2014 (2014)
|
|
BASE
|
|
Show details
|
|
15 |
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01071642 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94 ; http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf (2014)
|
|
BASE
|
|
Show details
|
|
16 |
A Note on Intensionalization
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-00909207 ; Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. ⟨10.1007/s10849-013-9173-9⟩ ; http://link.springer.com/article/10.1007/s10849-013-9173-9 (2013)
|
|
BASE
|
|
Show details
|
|
17 |
Non-simplifying Graph Rewriting Termination
|
|
|
|
In: TERMGRAPH ; https://hal.inria.fr/hal-00921053 ; TERMGRAPH, Mar 2013, Rome, Italy. pp.4-16 ; http://termgraph2013.imag.fr/pages/TERMGRAPH2013Proceedings.pdf (2013)
|
|
BASE
|
|
Show details
|
|
18 |
Integration of Multiple Constraints in ACG
|
|
|
|
In: Logic and Engineering of Natural Language Semantics 10 ; https://hal.archives-ouvertes.fr/hal-00869748 ; Logic and Engineering of Natural Language Semantics 10, Oct 2013, Kanagawa, Japan. pp.1-14 (2013)
|
|
BASE
|
|
Show details
|
|
19 |
Accessibility for Plurals in Continuation Semantics
|
|
|
|
In: New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers. ; https://hal.archives-ouvertes.fr/hal-00762203 ; Motomura Yoichi; Butler Alastair; Bekki Daisuke. New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers., 7856, Springer International Publishing, pp.53-68, 2013, Lecture Notes in Computer Science, 978-3-642-39931-2. ⟨10.1007/978-3-642-39931-2_5⟩ ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls9/index.html (2013)
|
|
BASE
|
|
Show details
|
|
20 |
Logical modelization of language and Abstract Categorial Grammars ; Modélisation logique de la langue et Grammaires Catégorielles Abstraites
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00921040 ; Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français (2013)
|
|
BASE
|
|
Show details
|
|
|
|