Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday
From MaRDI portal
Publication:2278575
DOI10.1007/978-3-030-22102-7zbMath1428.68036arXiv1908.10405OpenAlexW4288253302WikidataQ64955164 ScholiaQ64955164MaRDI QIDQ2278575
No author found.
Publication date: 5 December 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.10405
Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30)
Related Items (3)
Reasoning on with Defeasibility in ASP ⋮ Computing knowledge in equational extensions of subterm convergent theories ⋮ A posthumous contribution by Larry Wos: excerpts from an unpublished column
This page was built for publication: Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday
