Thales (Portugal)

most citedCoating Breakdown Prediction for Ships and Inspection Planning

1 citations

researchers with a paper here

A. Grisard1 · h 0
A. Harouri1 · h 23
Antoine L'etoublon1 · h 0
A. Sheela1 · h 1
Brieg Le Corre1 · h 1
Bruno G'erard1 · h 1
C. Cornet1 · h 0
C. Greneche1 · h 0
Christophe Rey1 · h 10
F. Cosco1 · h 2
F. D. Grancey1 · h 8
Francesco Foggetti1 · h 2

collaborating institutions

Centre de Nanosciences et de NanotechnologiesFR1 paper
Centre National de la Recherche ScientifiqueFR1 paper
Clermont UniversitéFR1 paper
Fonctions Optiques pour les Technologies de l’informationFR1 paper
Foton Motors (China)CN1 paper
III V LabFR1 paper
Institut National des Sciences Appliquées de RennesFR1 paper
Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR1 paper
Laboratoire MédiationsFR1 paper
Leibniz Institute for High Performance MicroelectronicsDE1 paper
Queensland University of TechnologyAU1 paper
Sorbonne UniversitéFR1 paper

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Hybrid MKNF with Classical Negation in the Rule Component

Arun Raveendran Nair Sheela, Christophe Rey, Florence De Grancey

Hybrid MKNF knowledge bases under the well-founded semantics integrate Description Logics with Logic Programming. However, they do not support classical negation in the rule compon…