Metric Temporal Description Logics with Interval-Rigid Names

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Details

Original languageEnglish
Title of host publicationProceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17)
Pages60-76
Number of pages17
Publication statusPublished - 2017
Peer-reviewedYes

External IDs

researchoutputwizard legacy.publication#76805
Scopus 85029597862
ORCID /0000-0002-4049-221X/work/142247896

Keywords