We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.
The SAT-Tableau Calculus
Book title:
In Proceedings of the 21st International Workshop on Description Logics
Editor(s):
Franz Baader, Carsten Lutz, Boris Motik
Publisher:
CEUR Workshop Proceedings
Volume:
Vol-353
Contact person in charge.