- Centre National de la Recherche ScientifiqueFR1 paper
- Clermont UniversitéFR1 paper
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR1 paper
- Laboratoire MédiationsFR1 paper
- Sorbonne UniversitéFR1 paper
- Université Clermont AuvergneFR1 paper
- Université Paris CitéFR1 paper
- Université Paris-SaclayFR1 paper
- Université Paris Sciences et LettresFR1 paper
- University of Clermont Auvergne1 paper
- Uppsala UniversitySE1 paper
2 papers
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…
cond-mat.mtrl-sci2026
Optimizing spin-based terahertz emission from magnetic heterostructures
Francesco Foggetti, Francesco Cosco, Peter M. Oppeneer +4
Terahertz radiation pulses can be generated efficiently through femtosecond laser excitation of a ferromagnetic/nonmagnetic heterostructure, wherein an ultrafast laser-induced spin…