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	28th International Conference on Automated Deduction
Kurztitel	CADE-28
Veranstaltungsnummer	28
Dauer	11 - 16 Juli 2021
Webseite	https://www.cs.cmu.edu/~mheule/CADE28/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Online
Stadt	Pittsburgh
Land	USA/Vereinigte Staaten

Externe IDs

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

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