41 |
Mechanized metatheory revisited
|
|
|
|
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
|
|
42 |
Decidable XPath Fragments in the Real World
|
|
|
|
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
|
|
43 |
Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire
|
|
|
|
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
|
|
44 |
Boolean Algebras from Trace Automata
|
|
|
|
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
|
|
45 |
Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz
|
|
|
|
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
|
|
46 |
ISNLP on AI for Education - Exploratory action 2019 : Exploratory experiments combining Information Systems and Natural Language Processing
|
|
|
|
In: Cominlabs days ; https://hal.inria.fr/hal-02462991 ; Cominlabs days, Nov 2019, Rennes, France (2019)
|
|
BASE
|
|
Show details
|
|
47 |
On Categorial Grammatical Inference and Logical Information Systems
|
|
|
|
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
|
|
48 |
Conceptual analysis of an argumentation: using argumentation schemes and the Toulmin model
|
|
|
|
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
|
|
49 |
Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs
|
|
|
|
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
|
|
50 |
Elpi: an extension language for Coq (Metaprogramming Coq in the Elpi λProlog dialect)
|
|
|
|
In: https://hal.inria.fr/hal-01637063 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
51 |
Sequential grammars with activation and blocking of rules
|
|
|
|
In: 8th International Conference on Machines, Computations, and Universality (MCU 2018) ; https://hal.archives-ouvertes.fr/hal-01825162 ; 8th International Conference on Machines, Computations, and Universality (MCU 2018), Jun 2018, Fontainebleau, France. pp.51--68, ⟨10.1007/978-3-319-92402-1_3⟩ (2018)
|
|
BASE
|
|
Show details
|
|
52 |
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
|
|
53 |
A Two-Level Approach to Generate Synthetic Argumentation Reports
|
|
|
|
In: ISSN: 1946-2166 ; EISSN: 1946-2174 ; Argument and Computation ; https://hal.archives-ouvertes.fr/hal-02191823 ; Argument and Computation, Taylor & Francis, 2018, 18 years of Computational Models of Natural Argument, 9 (2), pp.137-154. ⟨10.3233/AAC-180035⟩ ; https://content.iospress.com/articles/argument-and-computation/aac035 (2018)
|
|
Abstract:
International audience ; Given a controversial issue, a major challenge in argumentmining is to organize the arguments which have been minedto generate a synthesis that is readable, synthetic enough andrelevant for various types of users. Based on the GenerativeLexicon (GL) Qualia structure, which is a kind of lexicaland knowledge repository, that we have enhanced in di↵erentmanners and associated with inferences and language pat-terns, we show how to construct a synthesis that outlines thetypical elements found in arguments. We propose a two-levelapproach: a synthesis of the arguments that have been minedand navigation facilities that allow to access the argumentcontents in order to get more details.
|
|
Keyword:
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; Argument mining; Generative Lexicon Qualia Structure; Knowledge representation; Natural language processing
|
|
URL: https://doi.org/10.3233/AAC-180035 https://hal.archives-ouvertes.fr/hal-02191823 https://hal.archives-ouvertes.fr/hal-02191823/file/saintdizier_22553.pdf https://hal.archives-ouvertes.fr/hal-02191823/document
|
|
BASE
|
|
Hide details
|
|
54 |
Type-shifting: four categories
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01728738 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
55 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
56 |
Verification of High-Level Transformations with Inductive Refinement Types
|
|
|
|
In: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience ; https://hal.inria.fr/hal-01898058 ; GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩ (2018)
|
|
BASE
|
|
Show details
|
|
57 |
Measuring Linguistic Complexity: Introducing a New Categorial Metric
|
|
|
|
In: Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018) ; https://hal.archives-ouvertes.fr/hal-02146506 ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018), Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩ ; http://staff.math.su.se/rloukanova/LACompLing2018-web/ (2018)
|
|
BASE
|
|
Show details
|
|
58 |
L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique
|
|
|
|
In: ISSN: 0182-5887 ; Verbum (Presses Universitaires de Nancy) ; https://hal.archives-ouvertes.fr/hal-02093509 ; Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267 (2018)
|
|
BASE
|
|
Show details
|
|
59 |
Modular Software Fault Isolation as Abstract Interpretation
|
|
|
|
In: SAS 2018 - 25th International Static Analysis Symposium ; https://hal.inria.fr/hal-01894116 ; SAS 2018 - 25th International Static Analysis Symposium, Aug 2018, Freiburg, Germany. pp.166-186, ⟨10.1007/978-3-319-99725-4_12⟩ (2018)
|
|
BASE
|
|
Show details
|
|
60 |
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
|
|
|
|