Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)

Research output: Contribution to conferencesPresentation slidesContributed

Contributors

Details

Original languageEnglish
Publication statusPublished - 11 Jul 2021
Peer-reviewedNo

Conference

Title28th International Conference on Automated Deduction
Abbreviated titleCADE-28
Conference number28
Duration11 - 16 July 2021
Website
Degree of recognitionInternational event
LocationOnline
CityPittsburgh
CountryUnited States of America

External IDs

ORCID /0000-0002-4049-221X/work/187992843
ORCID /0000-0002-9047-7624/work/187996929
ORCID /0000-0003-0219-0330/work/187997001

Keywords