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	International Conference on Automated Deduction
Abbreviated title	CADE-28
Conference number	28
Duration	11 - 16 July 2021
Degree of recognition	International event
Location
City	Virtual Event
Country	United States of America

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