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)

Publikation: Beitrag zu Konferenzen › Wissenschaftliche Vortragsfolien › Beigetragen

Beitragende

Franz Baader - , Professur für Automatentheorie (Autor:in)
Patrick Koopmann - , Professur für Automatentheorie (Autor:in)
Francesco Kriegel - , Professur für Automatentheorie (Autor:in)
Adrian Nuradiansyah - , Professur für Automatentheorie (Autor:in)

Details

Originalsprache	Englisch
Publikationsstatus	Veröffentlicht - 11 Juli 2021
Peer-Review-Status	Nein

Konferenz

Titel	International Conference on Automated Deduction
Kurztitel	CADE-28
Veranstaltungsnummer	28
Dauer	11 - 16 Juli 2021
Bekanntheitsgrad	Internationale Veranstaltung
Ort
Stadt	Virtual Event
Land	USA/Vereinigte Staaten

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

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.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

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

Publikation: Beitrag zu Konferenzen › Poster › Beigetragen