output
20192026
most citedA logic-based relational learning approach to relation extraction: The OntoILPER system

13 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2025

Maths with Coq in L1, a pedagogical experiment

Marie Kerjean, Micaela Mayero, Pierre Rousselin

In France, the first year of study at university is usually abbreviated L1 (for premiere annee de Licence). At Sorbonne Paris Nord University, we have been teaching an 18 hour intr…

cs.LO2024★ 2 cited

Unifying Graded Linear Logic and Differential Operators

Flavien Breuvart, Marie Kerjean, Simon Mirwasser

Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various…