◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Clermont Université

France

4 papers here
fields
  • astro-ph.IM1
  • cs.LO1
  • math.RT1
  • physics.ins-det1
ROR 03yf5zr20OpenAlex

affiliations via OpenAlex

works on
big data analysis 1computational algebra 1kazhdan-lusztig polynomials 1symmetric group 1topological data analysis 1

From the 1 of 4 papers with an AI index.

researchers with a paper here
  • H. Li4 profiles4
  • Y. Zhang3 profiles3
  • A. Gabrielli2 profiles2
  • A. Ghosh2 profiles2
  • B. Liu2 profiles2
  • B. Zhou2 profiles2
  • G. Mokgatitswane2 profiles2
  • J. Chen2 · h 63
  • J. Kroll2 profiles2
  • J. Zhang2 profiles2
  • K. Liu2 profiles2
  • L. Zhang2 profiles2
collaborating institutions
  • The University of SydneyAU3 papers
  • University of Clermont Auvergne3 papers
  • Centre National de la Recherche ScientifiqueFR2 papers
  • University of California, IrvineUS2 papers
  • A. Alikhanyan National LaboratoryAM1 paper
  • AGH University of KrakowPL1 paper
  • Agricultural University of GeorgiaGE1 paper
  • Aix-Marseille UniversitéFR1 paper
  • Al Ain UniversityAE1 paper
  • Alexandru Ioan Cuza UniversityRO1 paper
  • American Committee for the Weizmann Institute of ScienceUS1 paper
  • Ankara UniversityTR1 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…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.