eBook
Προβολή σε EDS

Formal XAI via Syntax-Guided Synthesis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Formal XAI via Syntax-Guided Synthesis
Συγγραφείς: Bjørner, KatrineAff8, Judson, SamuelAff9, Cano, FilipAff10, Goldman, DrewAff11, Shoemaker, NickAff9, Piskac, RuzicaAff9, Könighofer, BettinaAff10
Συνεισφορές: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff7, Yung, Moti, Editorial Board MemberAff6
Πηγή: 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
FullText Text:
  Availability: 0
Header DbId: edssjb
DbLabel: Springer Nature eBooks
An: edssjb.978.3.031.46002.9.7
RelevancyScore: 1014
AccessLevel: 2
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1013.60559082031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal XAI via Syntax-Guided Synthesis
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Bjørner%2C+Katrine%22">Bjørner, Katrine</searchLink><relatesTo>Aff8</relatesTo><br /><searchLink fieldCode="AR" term="%22Judson%2C+Samuel%22">Judson, Samuel</searchLink><relatesTo>Aff9</relatesTo><br /><searchLink fieldCode="AR" term="%22Cano%2C+Filip%22">Cano, Filip</searchLink><relatesTo>Aff10</relatesTo><br /><searchLink fieldCode="AR" term="%22Goldman%2C+Drew%22">Goldman, Drew</searchLink><relatesTo>Aff11</relatesTo><br /><searchLink fieldCode="AR" term="%22Shoemaker%2C+Nick%22">Shoemaker, Nick</searchLink><relatesTo>Aff9</relatesTo><br /><searchLink fieldCode="AR" term="%22Piskac%2C+Ruzica%22">Piskac, Ruzica</searchLink><relatesTo>Aff9</relatesTo><br /><searchLink fieldCode="AR" term="%22Könighofer%2C+Bettina%22">Könighofer, Bettina</searchLink><relatesTo>Aff10</relatesTo>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Goos, Gerhard, Founding Editor<relatesTo>Aff1</relatesTo><br />Hartmanis, Juris, Founding Editor<relatesTo>Aff2</relatesTo><br />Bertino, Elisa, Editorial Board Member<relatesTo>Aff3</relatesTo><br />Gao, Wen, Editorial Board Member<relatesTo>Aff4</relatesTo><br />Steffen, Bernhard, Editorial Board Member<relatesTo>Aff5, Aff7</relatesTo><br />Yung, Moti, Editorial Board Member<relatesTo>Aff6</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings</i>. 14380:119-137
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjb&AN=edssjb.978.3.031.46002.9.7
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-031-46002-9_7
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 119
    Titles:
      – TitleFull: Formal XAI via Syntax-Guided Synthesis
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bjørner, Katrine
      – PersonEntity:
          Name:
            NameFull: Judson, Samuel
      – PersonEntity:
          Name:
            NameFull: Cano, Filip
      – PersonEntity:
          Name:
            NameFull: Goldman, Drew
      – PersonEntity:
          Name:
            NameFull: Shoemaker, Nick
      – PersonEntity:
          Name:
            NameFull: Piskac, Ruzica
      – PersonEntity:
          Name:
            NameFull: Könighofer, Bettina
      – PersonEntity:
          Name:
            NameFull: Goos, Gerhard, Founding Editor
      – PersonEntity:
          Name:
            NameFull: Hartmanis, Juris, Founding Editor
      – PersonEntity:
          Name:
            NameFull: Bertino, Elisa, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Gao, Wen, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Steffen, Bernhard, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Yung, Moti, Editorial Board Member
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2024
          Identifiers:
            – Type: isbn-print
              Value: 9783031460012
            – Type: isbn-print
              Value: 9783031460029
          Numbering:
            – Type: volume
              Value: 14380
          Titles:
            – TitleFull: Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
              Type: main
ResultId 1