Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Report
%1 BBR2019
%A Baader, Franz
%A Bednarczyk, Bartosz
%A Rudolph, Sebastian
%D 2019
%K imported
%T Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
@techreport{BBR2019,
added-at = {2024-10-02T10:38:17.000+0200},
author = {Baader, Franz and Bednarczyk, Bartosz and Rudolph, Sebastian},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/230003cf81394d6c4e0019fd2915eb73e/scadsfct},
institution = {Computational Logic Group},
interhash = {59915a5a8a0e5ead270df6935e058dd0},
intrahash = {30003cf81394d6c4e0019fd2915eb73e},
keywords = {imported},
timestamp = {2024-10-02T10:38:17.000+0200},
title = {Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints},
year = 2019
}