Similar Items: Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
- Unification in the Description Logic EL
- On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
- $mathcal{H}$-HIGNN Toolkit: A Software for Efficient and Scalable Simulation of Large-Scale Particulate Suspensions Using GNNs and $mathcal{H}$-Matrices
- Exact Unification and Admissibility
- Unification and Logarithmic Space