12 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR4 papers
- École des Neurosciences de ParisFR2 papers
- École Normale Supérieure - PSLFR2 papers
- Institut de Recherche pour le DéveloppementFR2 papers
- University of New CaledoniaNC2 papers
- Cadi Ayyad UniversityMA1 paper
- École Pratique des Hautes ÉtudesFR1 paper
- IfremerFR1 paper
- Institut de Systématique, Évolution, BiodiversitéFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR1 paper
- Laboratoire d’Océanographie de VillefrancheFR1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025★ 1 cited
Non-Termination of Logic Programs Using Patterns
Etienne Payet
In this paper, we consider an approach introduced in term rewriting for the automatic detection of non-looping non-termination from patterns of rules. We adapt it to logic programm…
cs.LO2002
A Generalization of the Lifting Lemma for Logic Programming
Etienne Payet, Fred Mesnard
Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic…