Volker Haarslev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Pushing the boundaries of reasoning about qualified cardinality restrictions	2018-01-04	Paper
Intelligent tableau algorithm for DL reasoning Lecture Notes in Computer Science	2013-10-04	Paper
Automated reasoning in \(\mathcal{ALCQ}\) via SMT Lecture Notes in Computer Science	2011-07-29	Paper
Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) Journal of Applied Logic	2011-03-22	Paper
Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\). AI Communications	2010-06-17	Paper
A formal framework for description logics with uncertainty International Journal of Approximate Reasoning	2010-04-07	Paper
On the scalability of description logic instance retrieval Journal of Automated Reasoning	2009-11-25	Paper
scientific article; zbMATH DE number 1787157 (Why is no real title available?)	2002-08-21	Paper
scientific article; zbMATH DE number 1765711 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1765660 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1765662 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1612595 (Why is no real title available?)	2001-07-01	Paper
A description logic with concrete domains and a role-forming predicate operator Journal Of Logic And Computation	2000-07-24	Paper
scientific article; zbMATH DE number 1304454 (Why is no real title available?)	1999-06-17	Paper

Research outcomes over time

This page was built for person: Volker Haarslev