Formal XAI via Syntax-Guided Synthesis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Formal XAI via Syntax-Guided Synthesis
Συγγραφείς:	Bjørner, Katrine^Aff8, Judson, Samuel^Aff9, Cano, Filip^Aff10, Goldman, Drew^Aff11, Shoemaker, Nick^Aff9, Piskac, Ruzica^Aff9, Könighofer, Bettina^Aff10
Συνεισφορές:	Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff7}, Yung, Moti, Editorial Board Member^Aff6
Πηγή:	Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. 14380:119-137
Βάση Δεδομένων:	Springer Nature eBooks

Περιγραφή
ISBN:	9783031460012 9783031460029
DOI:	10.1007/978-3-031-46002-9_7