| 1 |
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
|
|
|
|
In: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.inria.fr/hal-02947251 ; KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.141-151, ⟨10.24963/kr.2020/15⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
|
|
|
|
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal.archives-ouvertes.fr/hal-01471256 ; Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
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
|
|
|
| 4 |
Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment
|
|
|
|
In: 12th annual International Workshop on Logic and Engineering of Natural Language Semantics ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01311120 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87 ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls12/index.html (2015)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell
|
|
|
|
In: Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; https://hal.inria.fr/hal-01099131 ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France ; http://jfla.inria.fr/2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
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
|
|
|
| 8 |
Category theory, logic and formal linguistics: some connections, old and new
|
|
|
|
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal.archives-ouvertes.fr/hal-00936338 ; Journal of Applied Logic, Elsevier, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
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
|
|
|
| 10 |
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
|
|
|
|
In: Mathematical Foundations of Computer Science 2013 ; Mathematical Foundations of Computer Science ; https://hal.archives-ouvertes.fr/hal-00948943 ; Mathematical Foundations of Computer Science, Aug 2013, Austria. pp.729-740, ⟨10.1007/978-3-642-40313-2_64⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A Generative Montagovian Lexicon for Polysemous Deverbal Nouns
|
|
|
|
In: 4th world congress on Universal Logic UNILOG ; 4th world congress on Universal Logic -- workshop on Logic and linguistics ; https://hal.archives-ouvertes.fr/hal-00760380 ; 4th world congress on Universal Logic -- workshop on Logic and linguistics, Apr 2013, Rio de Janeiro, Brazil. http://www.uni-log.org/ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779214 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: Conference of the Types Project - TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01152653 ; Conference of the Types Project - TYPES 2013, Apr 2013, Toulouse, France. pp.64-65 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
|
|
|
|
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics
|
|
|
|
In: TYPES: International Workshop on Types and Proofs for Programs ; https://hal.archives-ouvertes.fr/hal-01145821 ; TYPES: International Workshop on Types and Proofs for Programs, Apr 2013, Toulouse, France. pp.202-229 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
|
|
|
|
In: https://hal.inria.fr/inria-00607880 ; Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. France. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
On the system F as a glue language for natural-language compositional-semantics
|
|
|
|
In: https://hal.inria.fr/inria-00616704 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Krivine machines and higher-order schemes
|
|
|
|
In: https://hal.inria.fr/inria-00589407 ; [Research Report] 2011, pp.17 (2011)
|
|
BASE
|
|
Show details
|
|
|
|
|
