Machine learning and logic: a new frontier in artificial intelligence
Crossref DOI link: https://doi.org/10.1007/s10703-023-00430-1
Published Online: 2023-06-14
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ganesh, Vijay http://orcid.org/0000-0002-6029-2047
Seshia, Sanjit A.
Jha, Somesh
Text and Data Mining valid from 2022-06-01
Version of Record valid from 2022-06-01
Article History
Received: 17 October 2022
Accepted: 5 May 2023
First Online: 14 June 2023