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

Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah

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

Research output: Contribution to conferences › Presentation slides › Contributed

Contributors

Franz Baader - , Chair of Automata Theory (Author)
Patrick Koopmann - , Chair of Automata Theory (Author)
Francesco Kriegel - , Chair of Automata Theory (Author)
Adrian Nuradiansyah - , Chair of Automata Theory (Author)

Details

Original language	English
Publication status	Published - 11 Jul 2021
Peer-reviewed	No

Conference

Title	28th International Conference on Automated Deduction
Abbreviated title	CADE-28
Conference number	28
Duration	11 - 16 July 2021
Website	https://www.cs.cmu.edu/~mheule/CADE28/
Degree of recognition	International event
Location	Online
City	Pittsburgh
Country	United 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

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

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021, Recent Published Research (RPR) track of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Virtual Event, November 3-12, 2021.

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

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

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021.

Research output: Contribution to conferences › Poster › Contributed