Combining Proofs for Description Logic and Concrete Domain Reasoning
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Rules and Reasoning |
| Redakteure/-innen | Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu |
| Seiten | 54-69 |
| Seitenumfang | 16 |
| Publikationsstatus | Veröffentlicht - 2023 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science, Volume 14244 |
|---|---|
| ISSN | 0302-9743 |
Externe IDs
| Scopus | 85175964829 |
|---|---|
| ORCID | /0000-0001-9936-0943/work/151981022 |
| ORCID | /0000-0002-4049-221X/work/151982599 |