@@ -11,7 +11,7 @@ @article{DBLP:conf/ideas/2025
1111 journal = { Lecture Notes in Computer Science (Springer)} ,
1212 number = { 15928} ,
1313 publisher = { Springer} ,
14- year = { 2025 } ,
14+ year = { 2026 } ,
1515abbr ={ IDEAS} ,
1616dimensions = { true} ,
1717 bibtex_show = { true} ,
@@ -44,7 +44,7 @@ @Inbook{chapter2025xai
4444and Appasani, Bhargav" ,
4545title =" Extracting Specifications Through Verified and Explainable AI: Interpretability, Interoperability, and Trade-Offs" ,
4646bookTitle =" Explainable Artificial Intelligence for Trustworthy Decisions in Smart Applications" ,
47- preview ={ ../GEVAI .png} ,
47+ preview ={ ../978-3-031-97007-8 .png} ,
4848year =" 2026" ,
4949publisher =" Springer Nature Switzerland" ,
5050address =" Cham" ,
@@ -173,16 +173,12 @@ @article{DBLP:journals/corr/abs-2505-23624
173173 Kirsty Scott and
174174 Silvia Del Din} ,
175175 title = { Towards Explainable Sequential Learning} ,
176- journal = { CoRR} ,
177- volume = { abs/2505.23624} ,
178- year = { 2025} ,
176+ journal = { Computer Science and Information Systems} ,
177+ volume = { 23} ,
178+ year = { 2026} ,
179+ number ={ 1} ,
179180 arxiv = { https://doi.org/10.48550/arXiv.2505.23624} ,
180- doi = { 10.48550/ARXIV.2505.23624} ,
181181 eprinttype = { arXiv} ,
182- eprint = { 2505.23624} ,
183- timestamp = { Sun, 29 Jun 2025 21:59:20 +0200} ,
184- biburl = { https://dblp.org/rec/journals/corr/abs-2505-23624.bib} ,
185- bibsource = { dblp computer science bibliography, https://dblp.org} ,
186182 dimensions = { true} ,
187183 bibtex_show = { true} ,
188184 preview ={ ../KnoBAB2.png}
0 commit comments