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

Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah

Skip to content Skip to footer

Research Portal of the TU Dresden

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 - 3 Nov 2021
Peer-reviewed	No

Conference

Title	18th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated title	KR 2021
Conference number	18
Duration	3 - 12 November 2021
Website	https://kr2021.kbsg.rwth-aachen.de/
Degree of recognition	International event
Location	online
City	Hanoi
Country	Viet Nam

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

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

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Jul 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer, Berlin [u. a.], p. 309-326 18 p. (Lecture Notes in Computer Science, Volume 12699).

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