Connection-Minimal Abduction in ℰℒ via Translation to FOL

Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach

Connection-Minimal Abduction in ℰℒ via Translation to FOL

Fajar Haifani
, Patrick Koopmann
, Sophie Tourret
, Christoph Weidenbach

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	DL 2022 Description Logics 2022
Subtitle of host publication	Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022)
Editors	O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier
Publisher	CEUR Workshop Proceedings
Number of pages	3
Publication status	Published - 2022
Externally published	Yes
Event	35th International Workshop on Description Logics, DL 2022 - Haifa, Israel Duration: 7 Aug 2022 → 10 Aug 2022

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS
Volume	3263
ISSN (Print)	1613-0073

Conference

Conference	35th International Workshop on Description Logics, DL 2022
Country/Territory	Israel
City	Haifa
Period	7/08/22 → 10/08/22

Funding

Acknowledgments: This work was supported by the Deutsche Forschungsgemeinschaft (DFG), Grant 389792660 within TRR 248.

Funders	Funder number
Deutsche Forschungsgemeinschaft	TRR 248, 389792660

Access to Document

https://ceur-ws.org/Vol-3263/abstract-12.pdf

Persistent URL (handle)

Persistent link

Cite this

Haifani, F., Koopmann, P., Tourret, S., & Weidenbach, C. (2022). Connection-Minimal Abduction in ℰℒ via Translation to FOL. In O. Arieli, M. Homola, J. C. Jung, & M.-L. Mugnier (Eds.), DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022) (CEUR Workshop Proceedings; Vol. 3263). CEUR Workshop Proceedings. https://ceur-ws.org/Vol-3263/abstract-12.pdf

Haifani, Fajar ; Koopmann, Patrick ; Tourret, Sophie et al. / Connection-Minimal Abduction in ℰℒ via Translation to FOL. DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). editor / O. Arieli ; M. Homola ; J.C. Jung ; M.-L. Mugnier. CEUR Workshop Proceedings, 2022. (CEUR Workshop Proceedings).

@inproceedings{d0021e8e54bf4331804596ddaf222899,

title = "Connection-Minimal Abduction in ℰℒ via Translation to FOL",

author = "Fajar Haifani and Patrick Koopmann and Sophie Tourret and Christoph Weidenbach",

year = "2022",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

editor = "O. Arieli and M. Homola and J.C. Jung and M.-L. Mugnier",

booktitle = "DL 2022 Description Logics 2022",

address = "Germany",

note = "35th International Workshop on Description Logics, DL 2022 ; Conference date: 07-08-2022 Through 10-08-2022",

}

Haifani, F, Koopmann, P, Tourret, S & Weidenbach, C 2022, Connection-Minimal Abduction in ℰℒ via Translation to FOL. in O Arieli, M Homola, JC Jung & M-L Mugnier (eds), DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). CEUR Workshop Proceedings, vol. 3263, CEUR Workshop Proceedings, 35th International Workshop on Description Logics, DL 2022, Haifa, Israel, 7/08/22. <https://ceur-ws.org/Vol-3263/abstract-12.pdf>

Connection-Minimal Abduction in ℰℒ via Translation to FOL. / Haifani, Fajar; Koopmann, Patrick; Tourret, Sophie et al.
DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). ed. / O. Arieli; M. Homola; J.C. Jung; M.-L. Mugnier. CEUR Workshop Proceedings, 2022. (CEUR Workshop Proceedings; Vol. 3263).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Connection-Minimal Abduction in ℰℒ via Translation to FOL

AU - Haifani, Fajar

AU - Koopmann, Patrick

AU - Tourret, Sophie

AU - Weidenbach, Christoph

PY - 2022

Y1 - 2022

UR - https://www.scopus.com/pages/publications/85142450829

UR - https://ceur-ws.org/Vol-3263/

UR - https://www.scopus.com/pages/publications/85142450829#tab=citedBy

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - DL 2022 Description Logics 2022

A2 - Arieli, O.

A2 - Homola, M.

A2 - Jung, J.C.

A2 - Mugnier, M.-L.

PB - CEUR Workshop Proceedings

T2 - 35th International Workshop on Description Logics, DL 2022

Y2 - 7 August 2022 through 10 August 2022

ER -

Haifani F, Koopmann P, Tourret S, Weidenbach C. Connection-Minimal Abduction in ℰℒ via Translation to FOL. In Arieli O, Homola M, Jung JC, Mugnier ML, editors, DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). CEUR Workshop Proceedings. 2022. (CEUR Workshop Proceedings). Epub 2022 Nov 3.

Connection-Minimal Abduction in ℰℒ via Translation to FOL

Publication series

Conference

Funding

Access to Document

Persistent URL (handle)

Other files and links

Cite this