A Framework for Reasoning about Dynamic Axioms in Description Logics

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020)
PublisherInternational Joint Conferences on Artificial Intelligence
Publication statusPublished - 1 Jul 2020
Peer-reviewedYes