JavaScript is required to use this site. Please enable JavaScript in your browser settings.

8. September 2021

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Platzhalterbild
Previous Entry Back to Overview Next Entry
funded by:
Gefördert vom Bundesministerium für Bildung und Forschung.
Gefördert vom Freistaat Sachsen.