@inproceedings{DBLP:conf/safecomp/CarnevaliL24,
    author = "Carnevali, Laura and Lippi, Marco",
    editor = "Ceccarelli, Andrea and Trapp, Mario and Bondavalli, Andrea and Schoitsch, Erwin and Gallina, Barbara and Bitsch, Friedemann",
    title = "Neuro-Symbolic Artificial Intelligence for Safety Engineering",
    booktitle = "Computer Safety, Reliability, and Security. {SAFECOMP} 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "14989",
    pages = "438--445",
    publisher = "Springer",
    year = "2024",
    url = "https://doi.org/10.1007/978-3-031-68738-9\\_35",
    doi = "10.1007/978-3-031-68738-9\\_35",
    timestamp = "Fri, 20 Sep 2024 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/safecomp/CarnevaliL24.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"oWPQws8xdouaGfMbx","bibbaseid":"carnevali-lippi-neurosymbolicartificialintelligenceforsafetyengineering-2024","author_short":["Carnevali, L.","Lippi, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Carnevali"],"firstnames":["Laura"],"suffixes":[]},{"propositions":[],"lastnames":["Lippi"],"firstnames":["Marco"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Ceccarelli"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Trapp"],"firstnames":["Mario"],"suffixes":[]},{"propositions":[],"lastnames":["Bondavalli"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Schoitsch"],"firstnames":["Erwin"],"suffixes":[]},{"propositions":[],"lastnames":["Gallina"],"firstnames":["Barbara"],"suffixes":[]},{"propositions":[],"lastnames":["Bitsch"],"firstnames":["Friedemann"],"suffixes":[]}],"title":"Neuro-Symbolic Artificial Intelligence for Safety Engineering","booktitle":"Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings","series":"Lecture Notes in Computer Science","volume":"14989","pages":"438–445","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-68738-9\\\\_35","doi":"10.1007/978-3-031-68738-9\\_35","timestamp":"Fri, 20 Sep 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/safecomp/CarnevaliL24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/safecomp/CarnevaliL24,\n author = \"Carnevali, Laura and Lippi, Marco\",\n editor = \"Ceccarelli, Andrea and Trapp, Mario and Bondavalli, Andrea and Schoitsch, Erwin and Gallina, Barbara and Bitsch, Friedemann\",\n title = \"Neuro-Symbolic Artificial Intelligence for Safety Engineering\",\n booktitle = \"Computer Safety, Reliability, and Security. {SAFECOMP} 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"14989\",\n pages = \"438--445\",\n publisher = \"Springer\",\n year = \"2024\",\n url = \"https://doi.org/10.1007/978-3-031-68738-9\\\\_35\",\n doi = \"10.1007/978-3-031-68738-9\\\\_35\",\n timestamp = \"Fri, 20 Sep 2024 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/safecomp/CarnevaliL24.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Carnevali, L.","Lippi, M."],"editor_short":["Ceccarelli, A.","Trapp, M.","Bondavalli, A.","Schoitsch, E.","Gallina, B.","Bitsch, F."],"key":"DBLP:conf/safecomp/CarnevaliL24","id":"DBLP:conf/safecomp/CarnevaliL24","bibbaseid":"carnevali-lippi-neurosymbolicartificialintelligenceforsafetyengineering-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-68738-9\\\\_35"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["Am74mndWeepaSMcba","PZg5PtcToSZkgSyYp","g7R8qBvQHnTH2cmxX"],"keywords":[],"search_terms":["neuro","symbolic","artificial","intelligence","safety","engineering","carnevali","lippi"],"title":"Neuro-Symbolic Artificial Intelligence for Safety Engineering","year":2024}