@article{DBLP:journals/dagstuhl-reports/BelleBDNY25,
  author       = {Vaishak Belle and
                  Michael Benedikt and
                  Dana Drachsler{-}Cohen and
                  Daniel Neider and
                  Tom Yuviler},
  title        = {Logic and Neural Networks (Dagstuhl Seminar 25061)},
  journal      = {Dagstuhl Reports},
  volume       = {15},
  number       = {2},
  pages        = {1--20},
  year         = {2025},
  url          = {https://doi.org/10.4230/DagRep.15.2.1},
  doi          = {10.4230/DAGREP.15.2.1},
  timestamp    = {Fri, 17 Oct 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BelleBDNY25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Lj9agSpNi4bCuDaWW","bibbaseid":"belle-benedikt-drachslercohen-neider-yuviler-logicandneuralnetworksdagstuhlseminar25061-2025","author_short":["Belle, V.","Benedikt, M.","Drachsler-Cohen, D.","Neider, D.","Yuviler, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Benedikt"],"suffixes":[]},{"firstnames":["Dana"],"propositions":[],"lastnames":["Drachsler-Cohen"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Neider"],"suffixes":[]},{"firstnames":["Tom"],"propositions":[],"lastnames":["Yuviler"],"suffixes":[]}],"title":"Logic and Neural Networks (Dagstuhl Seminar 25061)","journal":"Dagstuhl Reports","volume":"15","number":"2","pages":"1–20","year":"2025","url":"https://doi.org/10.4230/DagRep.15.2.1","doi":"10.4230/DAGREP.15.2.1","timestamp":"Fri, 17 Oct 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/dagstuhl-reports/BelleBDNY25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/dagstuhl-reports/BelleBDNY25,\n author = {Vaishak Belle and\n Michael Benedikt and\n Dana Drachsler{-}Cohen and\n Daniel Neider and\n Tom Yuviler},\n title = {Logic and Neural Networks (Dagstuhl Seminar 25061)},\n journal = {Dagstuhl Reports},\n volume = {15},\n number = {2},\n pages = {1--20},\n year = {2025},\n url = {https://doi.org/10.4230/DagRep.15.2.1},\n doi = {10.4230/DAGREP.15.2.1},\n timestamp = {Fri, 17 Oct 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BelleBDNY25.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V.","Benedikt, M.","Drachsler-Cohen, D.","Neider, D.","Yuviler, T."],"key":"DBLP:journals/dagstuhl-reports/BelleBDNY25","id":"DBLP:journals/dagstuhl-reports/BelleBDNY25","bibbaseid":"belle-benedikt-drachslercohen-neider-yuviler-logicandneuralnetworksdagstuhlseminar25061-2025","role":"author","urls":{"Paper":"https://doi.org/10.4230/DagRep.15.2.1"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["logic","neural","networks","dagstuhl","seminar","25061","belle","benedikt","drachsler-cohen","neider","yuviler"],"title":"Logic and Neural Networks (Dagstuhl Seminar 25061)","year":2025}