bibtexkey :: BaKoKrNu-LTCS-22-01 :: scadsfct | PUMA

publications (hide)
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
10 months ago by @scadsfct
show all tags
nopdf
topic_knowledge
nopdftopic_knowledge
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
⟩
⟩⟩