Restricted Unification in the DL 𝓕𝓛₀ (Extended Abstract)

Research output: Contribution to book/Conference proceedings/Anthology/Report β€Ί Conference contribution β€Ί Contributed β€Ί peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 34th International Workshop on Description Logics (DL'21)
PublisherCEUR-WS.org
Publication statusPublished - 2021
Peer-reviewedYes

Workshop

TitleInternational Workshop on Description Logics 2021
Abbreviated titleDL 2021
Conference number34
Duration19 - 22 September 2021
Degree of recognitionInternational event
LocationComenius University
CityBratislava
CountrySlovakia

External IDs

ORCID /0000-0002-4049-221X/work/142247945

Keywords