1 |
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
|
|
2 |
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
|
|
3 |
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
|
|
4 |
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)
|
|
BASE
|
|
Show details
|
|
5 |
Type-shifting: four categories
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01728738 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
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
|
|
8 |
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
|
|
9 |
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
|
|
10 |
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
|
|
11 |
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
|
|
12 |
Analyzing and Visualizing Translation Patterns of Wikidata Properties
|
|
|
|
In: Conference and Labs of the Evaluation Forum (CLEF) ; https://hal.archives-ouvertes.fr/hal-02273684 ; Conference and Labs of the Evaluation Forum (CLEF), Sep 2018, Avignon, France. pp.128-134, ⟨10.1007/978-3-319-98932-7_12⟩ (2018)
|
|
BASE
|
|
Show details
|
|
13 |
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
|
|
14 |
Software Tool Support for Modular Reasoning in Modal Logics of Actions
|
|
|
|
In: 9th International Conference on Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-01836507 ; 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
15 |
Game of Grounds
|
|
|
|
In: PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves" ; https://hal.archives-ouvertes.fr/hal-01804445 ; PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves", May 2018, Montpellier, France (2018)
|
|
BASE
|
|
Show details
|
|
16 |
Grounds in Ludics
|
|
|
|
In: FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics” ; https://hal.archives-ouvertes.fr/hal-01804443 ; FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics”, May 2018, Mussomeli, Italy (2018)
|
|
BASE
|
|
Show details
|
|
17 |
Introduction: inferences and proofs
|
|
|
|
In: ISSN: 0167-7411 ; EISSN: 1572-8749 ; Topoi ; https://hal.archives-ouvertes.fr/hal-01761751 ; Topoi, Springer Verlag, 2018 (2018)
|
|
BASE
|
|
Show details
|
|
18 |
Breton-français et numérique, projet LangNum-br-fr (phase conception)
|
|
|
|
In: Conférence Langues et numérique 2018 ; https://hal.inria.fr/hal-01959451 ; Conférence Langues et numérique 2018, Jul 2018, Paris, France (2018)
|
|
BASE
|
|
Show details
|
|
19 |
A partial calculus for Dag Prawitz's theory of grounds and a decidability issue
|
|
|
|
In: Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities ; https://hal.archives-ouvertes.fr/hal-01757823 ; Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities, 2018, 978-3-319-72577-2 (2018)
|
|
BASE
|
|
Show details
|
|
20 |
Investigating Argument Relatedness by Means of Frames
|
|
|
|
In: 16th ARGDIAP (Argumentation, Dialogue, Perssuiasion) conference: “Argumentation and Corpus Linguistics” - ARGDIAP 2018 ; https://hal.archives-ouvertes.fr/hal-03033967 ; 16th ARGDIAP (Argumentation, Dialogue, Perssuiasion) conference: “Argumentation and Corpus Linguistics” - ARGDIAP 2018, ArgDiaP association, a Polish nationwide initiative, Sep 2018, Varsovie, Poland. pp.(electronic medium) ; http://waw2018.argdiap.pl/argdiap-conference/ (2018)
|
|
BASE
|
|
Show details
|
|
|
|