Restricted Unification in the DL FL0 (Extended Abstract)

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-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

Title34th International Workshop on Description Logics
Conference number
Duration19 - 22 September 2021
Degree of recognitionInternational event
Location
CityBratislava
CountrySlovakia

Keywords