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

Publikationen (verstecken)
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

1Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)
F. Baader, P. Koopmann, F. Kriegel, und A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
vor 10 Monaten von @scadsfct
alle anzeigen
nopdf
topic_knowledge
nopdftopic_knowledge
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
⟩
⟩⟩